Add Verific OPER_SVA_STABLE support
authorClifford Wolf <clifford@clifford.at>
Sat, 9 Dec 2017 23:59:44 +0000 (00:59 +0100)
committerClifford Wolf <clifford@clifford.at>
Sat, 9 Dec 2017 23:59:44 +0000 (00:59 +0100)
commite4a4c0e10c39edeffcae19f2635feea4ea0300df
treeb22bb422d108e20f28fbe3319cb5efef6b169feb
parent27916105a9f0d9fd27758257af3bf5d6300b26ca
Add Verific OPER_SVA_STABLE support
frontends/verific/verific.cc