aboutsummaryrefslogtreecommitdiffstats
path: root/tests/sva
ModeNameSize
-rw-r--r--.gitignore95logstatsplain
-rw-r--r--Makefile385logstatsplain
-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--nested_clk_else.sv241logstatsplain
-rw-r--r--runtest.sh1162logstatsplain
-rw-r--r--sva_not.sv505logstatsplain
-rw-r--r--sva_range.sv256logstatsplain
-rw-r--r--sva_throughout.sv259logstatsplain
-rw-r--r--sva_value_change_changed.sv206logstatsplain
-rw-r--r--sva_value_change_changed_wide.sv331logstatsplain
-rw-r--r--sva_value_change_rose.sv245logstatsplain
-rw-r--r--sva_value_change_sim.sv2300logstatsplain
-rw-r--r--sva_value_change_sim.ys97logstatsplain