aboutsummaryrefslogtreecommitdiffstats
path: root/tests/sva/counter.sv
Commit message (Expand)AuthorAgeFilesLines
* Improve Verific SVA importerClifford Wolf2017-07-271-7/+8
* Add counter.sv SVA testClifford Wolf2017-07-271-0/+29