Add support for SVA labels in read_verilog
authorClifford Wolf <clifford@clifford.at>
Thu, 7 Mar 2019 19:17:32 +0000 (11:17 -0800)
committerClifford Wolf <clifford@clifford.at>
Thu, 7 Mar 2019 19:17:32 +0000 (11:17 -0800)
commit22ff60850e68b5e98d4693a9a06ec688dac6d5ee
tree682039772eac2e8bdb137ec5722cbdae0dc626a3
parentcda37830b060fd46834d8eb7af1171a1ffaee8ca
Add support for SVA labels in read_verilog

Signed-off-by: Clifford Wolf <clifford@clifford.at>
frontends/ast/genrtlil.cc
frontends/ast/simplify.cc
frontends/verilog/verilog_parser.y