Add counter.sv SVA test
authorClifford Wolf <clifford@clifford.at>
Thu, 27 Jul 2017 10:37:16 +0000 (12:37 +0200)
committerClifford Wolf <clifford@clifford.at>
Thu, 27 Jul 2017 10:37:16 +0000 (12:37 +0200)
commit877ff1f75ecca4a1d9eece8243f1cde658c14c40
treed4f82cdceda0eefa6ee790da004fc8aa7144b1cf
parent2336d5508b29b607044f86676db98584b2b04f71
Add counter.sv SVA test
tests/sva/counter.sv [new file with mode: 0644]