| Mode | Name | Size | |
|---|---|---|---|
| d--------- | icestorm | 306 | logstatsplain |
| d--------- | smt2-bmc | 321 | logstatsplain |
| d--------- | vivado | 824 | logstatsplain |
| d--------- | yosys | 121 | logstatsplain |
 |
index : picorv32 | |
| Fork of https://github.com/YosysHQ/picorv32. |
| aboutsummaryrefslogtreecommitdiffstats |