| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Makefile | 423 | logstatsplain |
| d--------- | docker | 118 | logstatsplain |
| -rw-r--r-- | run-legup.sh | 516 | logstatsplain |
| -rwxr-xr-x | run-vivado.sh | 178 | logstatsplain |
| -rw-r--r-- | statistics.py | 1946 | logstatsplain |
| -rwxr-xr-x | synth-ssh.sh | 806 | logstatsplain |
| -rwxr-xr-x | synth-ssh0.sh | 806 | logstatsplain |
| -rwxr-xr-x | synth.sh | 621 | logstatsplain |
| -rw-r--r-- | synth.tcl | 4905 | logstatsplain |
| -rw-r--r-- | synthesis-results.org | 1535 | logstatsplain |
| -rwxr-xr-x | synthesis-results.scm | 4285 | logstatsplain |
| -rw-r--r-- | verilator_main.cpp | 866 | logstatsplain |
 |
index : vericert | |
| Vericert is a formally verified high-level synthesis tool. |
| aboutsummaryrefslogtreecommitdiffstats |