aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/verific
ModeNameSize
-rw-r--r--Makefile.inc562logstatsplain
-rw-r--r--README1242logstatsplain
-rw-r--r--example.sby192logstatsplain
-rw-r--r--example.sv272logstatsplain
-rw-r--r--verific.cc85608logstatsplain
-rw-r--r--verific.h4269logstatsplain
-rw-r--r--verificsva.cc49563logstatsplain