| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | config_all.toml | 913 | logstatsplain |
| -rw-r--r-- | config_extra_large.toml | 913 | logstatsplain |
| -rw-r--r-- | config_large.toml | 913 | logstatsplain |
| -rw-r--r-- | config_large_yosys.toml | 658 | logstatsplain |
| -rw-r--r-- | config_medium.toml | 913 | logstatsplain |
| -rw-r--r-- | config_medium_rand.toml | 998 | logstatsplain |
| -rw-r--r-- | config_size_l.toml | 913 | logstatsplain |
| -rw-r--r-- | config_size_m.toml | 913 | logstatsplain |
| -rw-r--r-- | config_size_s.toml | 913 | logstatsplain |
| -rw-r--r-- | config_size_xl.toml | 913 | logstatsplain |
| -rw-r--r-- | config_small.toml | 913 | logstatsplain |
| -rw-r--r-- | config_tiny.toml | 913 | logstatsplain |
| -rw-r--r-- | config_yosys.toml | 658 | logstatsplain |
| -rw-r--r-- | instructions.md | 9453 | logstatsplain |
| -rw-r--r-- | instructions.org | 8291 | logstatsplain |
| -rw-r--r-- | quartus_all.toml | 676 | logstatsplain |
| -rw-r--r-- | reduction.org | 17557 | logstatsplain |
| -rw-r--r-- | test.csv | 4350 | logstatsplain |
| -rw-r--r-- | verismith_creduce.csv | 4350 | logstatsplain |
| -rw-r--r-- | vivado_all.toml | 1126 | logstatsplain |
| -rw-r--r-- | yosys_all.toml | 794 | logstatsplain |
 |
index : verismith | |
| Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog. |
| aboutsummaryrefslogtreecommitdiffstats |
path: root/experiments