| Mode | Name | Size | |
|---|---|---|---|
| d--------- | csmith | 272 | logstatsplain |
| d--------- | cxxdemo | 303 | logstatsplain |
| d--------- | icestorm | 306 | logstatsplain |
| d--------- | quartus | 868 | logstatsplain |
| d--------- | smt2-bmc | 355 | logstatsplain |
| d--------- | smtbmc | 322 | logstatsplain |
| d--------- | torture | 555 | logstatsplain |
| d--------- | vivado | 824 | logstatsplain |
| d--------- | yosys-cmp | 233 | logstatsplain |
| d--------- | yosys | 247 | logstatsplain |
 |
index : picorv32 | |
| Fork of https://github.com/YosysHQ/picorv32. |
| aboutsummaryrefslogtreecommitdiffstats |