aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite/synth/fsm03
ModeNameSize
-rw-r--r--assert1.psl101logstatsplain
-rw-r--r--assert2.psl109logstatsplain
-rw-r--r--assert3.psl118logstatsplain
-rw-r--r--assert4.psl258logstatsplain
-rw-r--r--assert5.psl169logstatsplain
-rw-r--r--ent.vhdl516logstatsplain
-rwxr-xr-xtestsuite.sh123logstatsplain