aboutsummaryrefslogtreecommitdiffstats
path: root/tests/sva
ModeNameSize
-rw-r--r--.gitignore88logstatsplain
-rw-r--r--Makefile350logstatsplain
-rw-r--r--basic00.sv489logstatsplain
-rw-r--r--basic01.sv386logstatsplain
-rw-r--r--basic02.sv506logstatsplain
-rw-r--r--basic03.sv398logstatsplain
-rw-r--r--basic04.sv329logstatsplain
-rw-r--r--basic04.vhd471logstatsplain
-rw-r--r--basic05.sv413logstatsplain
-rw-r--r--basic05.vhd473logstatsplain
-rw-r--r--counter.sv770logstatsplain
-rw-r--r--extnets.sv289logstatsplain
-rw-r--r--runtest.sh1120logstatsplain
-rw-r--r--sva_not.sv505logstatsplain
-rw-r--r--sva_range.sv256logstatsplain
-rw-r--r--sva_throughout.sv259logstatsplain