Add "read_verilog -noassert -noassume -assert-assumes"
authorClifford Wolf <clifford@clifford.at>
Mon, 24 Sep 2018 18:51:16 +0000 (20:51 +0200)
committerJim Lawson <ucbjrl@berkeley.edu>
Mon, 8 Oct 2018 18:38:10 +0000 (11:38 -0700)
commit89ef6600bcc0a52c3ce2f22805fd877b7528e8d6
treeba05f2a1cc9f733be726ef65ccd639466ee297f0
parente8431d1508ff28bf8983d7f2f1859060c9d9fdcd
Add "read_verilog -noassert -noassume -assert-assumes"

Signed-off-by: Clifford Wolf <clifford@clifford.at>
frontends/verilog/verilog_frontend.cc
frontends/verilog/verilog_frontend.h
frontends/verilog/verilog_parser.y