| Mode | Name | Size | |
|---|
| -rw-r--r-- | .gitignore | 71 | logstatsplain |
| -rw-r--r-- | APPNOTE_010_Verilog_to_BLIF.tex | 17075 | logstatsplain |
| -rw-r--r-- | APPNOTE_011_Design_Investigation.tex | 46203 | logstatsplain |
| d--------- | APPNOTE_011_Design_Investigation | 1156 | logstatsplain |
| -rw-r--r-- | APPNOTE_012_Verilog_to_BTOR.tex | 12563 | logstatsplain |
| -rw-r--r-- | CHAPTER_Appnotes.tex | 914 | logstatsplain |
| -rw-r--r-- | CHAPTER_Approach.tex | 6857 | logstatsplain |
| -rw-r--r-- | CHAPTER_Auxlibs.tex | 1317 | logstatsplain |
| -rw-r--r-- | CHAPTER_Auxprogs.tex | 816 | logstatsplain |
| -rw-r--r-- | CHAPTER_Basics.tex | 37570 | logstatsplain |
| -rw-r--r-- | CHAPTER_CellLib.tex | 18388 | logstatsplain |
| -rw-r--r-- | CHAPTER_Eval.tex | 13084 | logstatsplain |
| d--------- | CHAPTER_Eval | 281 | logstatsplain |
| -rw-r--r-- | CHAPTER_Intro.tex | 5057 | logstatsplain |
| -rw-r--r-- | CHAPTER_Optimize.tex | 13273 | logstatsplain |
| -rw-r--r-- | CHAPTER_Overview.tex | 26378 | logstatsplain |
| -rw-r--r-- | CHAPTER_Prog.tex | 1123 | logstatsplain |
| d--------- | CHAPTER_Prog | 147 | logstatsplain |
| -rw-r--r-- | CHAPTER_StateOfTheArt.tex | 13770 | logstatsplain |
| d--------- | CHAPTER_StateOfTheArt | 725 | logstatsplain |
| -rw-r--r-- | CHAPTER_Techmap.tex | 5228 | logstatsplain |
| -rw-r--r-- | CHAPTER_Verilog.tex | 36052 | logstatsplain |
| -rw-r--r-- | PRESENTATION_ExAdv.tex | 33866 | logstatsplain |
| d--------- | PRESENTATION_ExAdv | 1399 | logstatsplain |
| -rw-r--r-- | PRESENTATION_ExOth.tex | 6929 | logstatsplain |
| d--------- | PRESENTATION_ExOth | 309 | logstatsplain |
| -rw-r--r-- | PRESENTATION_ExSyn.tex | 18700 | logstatsplain |
| d--------- | PRESENTATION_ExSyn | 1033 | logstatsplain |
| -rw-r--r-- | PRESENTATION_Intro.tex | 32614 | logstatsplain |
| d--------- | PRESENTATION_Intro | 225 | logstatsplain |
| -rw-r--r-- | PRESENTATION_Prog.tex | 21323 | logstatsplain |
| d--------- | PRESENTATION_Prog | 192 | logstatsplain |
| -rwxr-xr-x | appnotes.sh | 478 | logstatsplain |
| -rwxr-xr-x | clean.sh | 143 | logstatsplain |
| -rw-r--r-- | command-reference-manual.tex | 103392 | logstatsplain |
| -rw-r--r-- | literature.bib | 6600 | logstatsplain |
| -rwxr-xr-x | manual.sh | 818 | logstatsplain |
| -rw-r--r-- | manual.tex | 6829 | logstatsplain |
| -rwxr-xr-x | presentation.sh | 808 | logstatsplain |
| -rw-r--r-- | presentation.tex | 4718 | logstatsplain |
| -rw-r--r-- | weblinks.bib | 3804 | logstatsplain |
