| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 256 | logstatsplain |
| -rw-r--r-- | ACM-Reference-Format.bst | 89934 | logstatsplain |
| -rw-r--r-- | Makefile | 85 | logstatsplain |
| -rw-r--r-- | acmart.cls | 102087 | logstatsplain |
| -rw-r--r-- | algorithm.tex | 49709 | logstatsplain |
| -rw-r--r-- | appendix.tex | 6250 | logstatsplain |
| d--------- | archive | 247 | logstatsplain |
| -rw-r--r-- | conclusion.tex | 3477 | logstatsplain |
| d--------- | data | 349 | logstatsplain |
| d--------- | diagrams | 272 | logstatsplain |
| -rw-r--r-- | evaluation.tex | 20672 | logstatsplain |
| -rw-r--r-- | introduction.tex | 11806 | logstatsplain |
| -rw-r--r-- | limitations.tex | 9825 | logstatsplain |
| -rw-r--r-- | main.pdf | 703187 | logstatsplain |
| -rw-r--r-- | main.tex | 6547 | logstatsplain |
| d--------- | presentation | 380 | logstatsplain |
| -rw-r--r-- | proof.tex | 27351 | logstatsplain |
| -rw-r--r-- | references.bib | 39617 | logstatsplain |
| -rw-r--r-- | related.tex | 5832 | logstatsplain |
| d--------- | results | 630 | logstatsplain |
| d--------- | reviews | 73 | logstatsplain |
| -rw-r--r-- | submitted.txt | 75 | logstatsplain |
| -rw-r--r-- | sync.sh | 67 | logstatsplain |
| -rw-r--r-- | verilog.tex | 24723 | logstatsplain |
| -rw-r--r-- | verilog_notes.tex | 4045 | logstatsplain |
 |
index : oopsla21_fvhls | |
| Formal verification of high-level synthesis. |
| summaryrefslogtreecommitdiffstats |