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