| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Makefile | 623 | logstatsplain |
| d--------- | docker | 118 | logstatsplain |
| -rw-r--r-- | quartus_synth.tcl | 1280 | logstatsplain |
| -rwxr-xr-x | run-legup.sh | 516 | logstatsplain |
| -rwxr-xr-x | run-vericert.sh | 1259 | logstatsplain |
| -rw-r--r-- | script.R | 955 | logstatsplain |
| -rw-r--r-- | statistics.py | 1946 | logstatsplain |
| -rwxr-xr-x | syn-remote.sh | 901 | logstatsplain |
| -rwxr-xr-x | synth-ssh.sh | 818 | logstatsplain |
| -rwxr-xr-x | synth.sh | 622 | logstatsplain |
| -rw-r--r-- | synth.tcl | 4905 | logstatsplain |
| -rw-r--r-- | synthesis-results.org | 1535 | logstatsplain |
| -rwxr-xr-x | synthesis-results.scm | 6324 | logstatsplain |
| -rw-r--r-- | verilator_main.cpp | 866 | logstatsplain |
 |
index : vericert | |
| Vericert is a formally verified high-level synthesis tool. |
| aboutsummaryrefslogtreecommitdiffstats |