| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | legup_no_chain.csv | 1360 | logstatsplain |
| -rw-r--r-- | legup_no_opt.csv | 1345 | logstatsplain |
| -rw-r--r-- | legup_no_opt_no_chain.csv | 1377 | logstatsplain |
| -rw-r--r-- | legup_opt.csv | 1358 | logstatsplain |
| -rw-r--r-- | vericert.csv | 1351 | logstatsplain |
 |
index : oopsla21_fvhls | |
| Formal verification of high-level synthesis. |
| summaryrefslogtreecommitdiffstats |