| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Makefile | 497 | logstatsplain |
| d--------- | docker | 118 | logstatsplain |
| -rwxr-xr-x | run-legup.sh | 516 | logstatsplain |
| -rw-r--r-- | statistics.py | 1946 | 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 | 4998 | logstatsplain |
| -rw-r--r-- | verilator_main.cpp | 866 | logstatsplain |
 |
index : vericert | |
| Vericert is a formally verified high-level synthesis tool. |
| aboutsummaryrefslogtreecommitdiffstats |