aboutsummaryrefslogtreecommitdiffstats
path: root/tests/sat
ModeNameSize
-rw-r--r--.gitignore6logstatsplain
-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--counters.v515logstatsplain
-rw-r--r--counters.ys250logstatsplain
-rw-r--r--expose_dff.v669logstatsplain
-rw-r--r--expose_dff.ys323logstatsplain
-rw-r--r--initval.v307logstatsplain
-rw-r--r--initval.ys62logstatsplain
-rwxr-xr-xrun-test.sh96logstatsplain
-rw-r--r--share.v464logstatsplain
-rw-r--r--share.ys474logstatsplain
-rw-r--r--sizebits.sv797logstatsplain
-rw-r--r--sizebits.ys62logstatsplain
-rw-r--r--splice.v262logstatsplain
-rw-r--r--splice.ys237logstatsplain