aboutsummaryrefslogtreecommitdiffstats
path: root/tests/sat
ModeNameSize
-rw-r--r--.gitignore18logstatsplain
-rw-r--r--asserts.v382logstatsplain
-rw-r--r--asserts.ys110logstatsplain
-rw-r--r--asserts_seq.v1771logstatsplain
-rw-r--r--asserts_seq.ys555logstatsplain
-rw-r--r--clk2fflogic.ys3633logstatsplain
-rw-r--r--counters-repeat.v578logstatsplain
-rw-r--r--counters-repeat.ys257logstatsplain
-rw-r--r--counters.v515logstatsplain
-rw-r--r--counters.ys250logstatsplain
-rw-r--r--dff.ys889logstatsplain
-rw-r--r--expose_dff.v669logstatsplain
-rw-r--r--expose_dff.ys323logstatsplain
-rw-r--r--initval.v425logstatsplain
-rw-r--r--initval.ys265logstatsplain
-rwxr-xr-xrun-test.sh86logstatsplain
-rw-r--r--share.v464logstatsplain
-rw-r--r--share.ys474logstatsplain
-rw-r--r--sizebits.sv2753logstatsplain
-rw-r--r--sizebits.ys62logstatsplain
-rw-r--r--splice.v262logstatsplain
-rw-r--r--splice.ys237logstatsplain