Add some simple SVA test cases for future Verific work
authorClifford Wolf <clifford@clifford.at>
Sat, 22 Jul 2017 10:31:08 +0000 (12:31 +0200)
committerClifford Wolf <clifford@clifford.at>
Sat, 22 Jul 2017 10:31:08 +0000 (12:31 +0200)
commit024ba310ecffa9dde47bbe66d82eab91d1f0c609
tree3288787070ef5ca48411fef6459b863aaac82eee
parent2785aaffeb66575128da1f68044dd317660e0f3b
Add some simple SVA test cases for future Verific work
tests/sva/basic00.sv [new file with mode: 0644]
tests/sva/basic01.sv [new file with mode: 0644]
tests/sva/basic02.sv [new file with mode: 0644]
tests/sva/basic03.sv [new file with mode: 0644]