| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | comparison.csv | 2670 | logstatsplain |
| -rw-r--r-- | comparison.numbers | 209098 | logstatsplain |
| -rw-r--r-- | coqup.csv | 1046 | logstatsplain |
| -rw-r--r-- | legup.csv | 1115 | logstatsplain |
| -rw-r--r-- | poly.csv | 2393 | logstatsplain |
 |
index : latte21_hlstpc | |
| High-level synthesis tools should be proven correct. |
| summaryrefslogtreecommitdiffstats |