Add proper SVA seq.triggered support
authorClifford Wolf <clifford@clifford.at>
Sun, 4 Mar 2018 18:29:26 +0000 (19:29 +0100)
committerClifford Wolf <clifford@clifford.at>
Sun, 4 Mar 2018 18:29:26 +0000 (19:29 +0100)
commit480e8e676a41559138a690759e90cec2ae60bc28
tree97afd030b90a7e1545e40afb32b2fffe49eb9384
parent27dd500d31c07991d5a6f01c95f5519d7225c427
Add proper SVA seq.triggered support

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