| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | benchmark-list-master | 592 | logstatsplain |
| d--------- | data-mining | 40 | logstatsplain |
| d--------- | include | 34 | logstatsplain |
| d--------- | linear-algebra | 99 | logstatsplain |
| d--------- | medley | 82 | logstatsplain |
| -rw-r--r-- | poly.csv | 2089 | logstatsplain |
| -rw-r--r-- | script.R | 955 | logstatsplain |
| -rwxr-xr-x | setup-syn-vericert.sh | 544 | logstatsplain |
| -rwxr-xr-x | setup-syn-vivado.sh | 589 | logstatsplain |
| d--------- | stencils | 224 | logstatsplain |
| -rwxr-xr-x | syn-quartus.sh | 901 | logstatsplain |
| -rw-r--r-- | syn-quartus.tcl | 1280 | logstatsplain |
| -rwxr-xr-x | syn-vivado.sh | 1223 | logstatsplain |
| -rw-r--r-- | syn-vivado.tcl | 251 | logstatsplain |
 |
index : vericert | |
| Vericert is a formally verified high-level synthesis tool. |
| aboutsummaryrefslogtreecommitdiffstats |