| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Makefile | 623 | logstatsplain |
| d--------- | docker | 118 | logstatsplain |
| -rw-r--r-- | quartus_synth.tcl | 1278 | 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-bambu.sh | 594 | logstatsplain |
| -rw-r--r-- | synth-bambu.tcl | 4917 | logstatsplain |
| -rwxr-xr-x | synth.sh | 589 | logstatsplain |
| -rw-r--r-- | synth.tcl | 4906 | logstatsplain |
| -rw-r--r-- | synthesis-results.org | 1516 | logstatsplain |
| -rwxr-xr-x | synthesis-results.scm | 6303 | logstatsplain |
| -rw-r--r-- | verilator_main.cpp | 866 | logstatsplain |
 |
index : vericert | |
| Vericert is a formally verified high-level synthesis tool. |
| aboutsummaryrefslogtreecommitdiffstats |