Improve Verific SVA import: negedge and $past
authorClifford Wolf <clifford@clifford.at>
Thu, 27 Jul 2017 09:40:07 +0000 (11:40 +0200)
committerClifford Wolf <clifford@clifford.at>
Thu, 27 Jul 2017 09:40:07 +0000 (11:40 +0200)
commit90d8329f642e710e8d4ce358cfb9543b85bcd822
tree0561b60c17c4fa15920923012b3ac78c7dfcc21b
parent147ff96ba372c9dda7e4e662d02760c797ca5b68
Improve Verific SVA import: negedge and $past
frontends/verific/verific.cc