Improve SVA tests, add Makefile and scripts
authorClifford Wolf <clifford@clifford.at>
Thu, 27 Jul 2017 09:42:05 +0000 (11:42 +0200)
committerClifford Wolf <clifford@clifford.at>
Thu, 27 Jul 2017 09:42:05 +0000 (11:42 +0200)
commitb24f73775983eb7a30d50f608ccc8702e54c57c3
tree1ac774a5810f821740f6c721e348a34b8c9408ac
parent90d8329f642e710e8d4ce358cfb9543b85bcd822
Improve SVA tests, add Makefile and scripts
tests/sva/.gitignore [new file with mode: 0644]
tests/sva/Makefile [new file with mode: 0644]
tests/sva/basic00.sv
tests/sva/basic01.sv
tests/sva/basic02.sv
tests/sva/basic03.sv
tests/sva/basic04.sv
tests/sva/basic04.vhd
tests/sva/basic05.sv
tests/sva/basic05.vhd
tests/sva/runtest.sh [new file with mode: 0644]