aboutsummaryrefslogtreecommitdiffstats
path: root/tests/sva/basic01.sv
Commit message (Collapse)AuthorAgeFilesLines
* Squelch a little more trailing whitespaceLarry Doolittle2018-12-291-1/+1
|
* Improve SVA tests, add Makefile and scriptsClifford Wolf2017-07-271-0/+4
|
* Add some simple SVA test cases for future Verific workClifford Wolf2017-07-221-0/+12