| Mode | Name | Size | |
|---|---|---|---|
| d--------- | csmith | 272 | logstatsplain |
| d--------- | cxxdemo | 303 | logstatsplain |
| d--------- | icestorm | 343 | logstatsplain |
| d--------- | presyn | 354 | logstatsplain |
| d--------- | quartus | 826 | logstatsplain |
| d--------- | romload | 345 | logstatsplain |
| d--------- | smtbmc | 793 | logstatsplain |
| d--------- | tomthumbtg | 220 | logstatsplain |
| d--------- | torture | 589 | logstatsplain |
| d--------- | vivado | 824 | logstatsplain |
| d--------- | yosys-cmp | 233 | logstatsplain |
| d--------- | yosys | 247 | logstatsplain |
 |
index : picorv32 | |
| Fork of https://github.com/YosysHQ/picorv32. |
| aboutsummaryrefslogtreecommitdiffstats |