Add support for $assert/$assume/$cover to write_verilog
authorClifford Wolf <clifford@clifford.at>
Mon, 22 Apr 2019 07:35:14 +0000 (09:35 +0200)
committerClifford Wolf <clifford@clifford.at>
Tue, 23 Apr 2019 19:36:59 +0000 (21:36 +0200)
commit0bf9d0087c43f9db3d56cb2bed17268def21eb67
treed9186950668b1bbf196a9d0b38ba0aa7954ae505
parentaec2475a9d7a2a903d5015840a3320ce2cedf5cd
Add support for $assert/$assume/$cover to write_verilog

Signed-off-by: Clifford Wolf <clifford@clifford.at>
backends/verilog/verilog_backend.cc