projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3f00702) | patch
Fix handling of unclocked immediate assertions in Verific front-end
authorClifford Wolf <clifford@clifford.at>
Mon, 26 Mar 2018 11:04:10 +0000 (13:04 +0200)
committerClifford Wolf <clifford@clifford.at>
Mon, 26 Mar 2018 11:04:10 +0000 (13:04 +0200)
commit315d5e32bfb63a2b4be2dc5e729125c420b164a4
tree5c9d7e1dc45022a300a6796f6aea2f0273351722tree
parent3f0070247590458c5ed28c5a7abfc3b9d1ec138bcommit | diff
Fix handling of unclocked immediate assertions in Verific front-end

Signed-off-by: Clifford Wolf <clifford@clifford.at>
frontends/verific/verific.cc diff | blob | history
frontends/verific/verific.h diff | blob | history
frontends/verific/verificsva.cc diff | blob | history