| Mode | Name | Size | |
|---|
| -rw-r--r-- | .gitignore | 71 | logstatsplain |
| -rw-r--r-- | APPNOTE_010_Verilog_to_BLIF.tex | 17076 | logstatsplain |
| -rw-r--r-- | APPNOTE_011_Design_Investigation.tex | 46124 | logstatsplain |
| d--------- | APPNOTE_011_Design_Investigation | 1156 | logstatsplain |
| -rw-r--r-- | APPNOTE_012_Verilog_to_BTOR.tex | 12549 | logstatsplain |
| -rw-r--r-- | CHAPTER_Appnotes.tex | 1123 | logstatsplain |
| -rw-r--r-- | CHAPTER_Approach.tex | 6856 | logstatsplain |
| -rw-r--r-- | CHAPTER_Auxlibs.tex | 1319 | logstatsplain |
| -rw-r--r-- | CHAPTER_Auxprogs.tex | 817 | logstatsplain |
| -rw-r--r-- | CHAPTER_Basics.tex | 37565 | logstatsplain |
| -rw-r--r-- | CHAPTER_CellLib.tex | 20326 | logstatsplain |
| -rw-r--r-- | CHAPTER_Eval.tex | 13087 | logstatsplain |
| d--------- | CHAPTER_Eval | 281 | logstatsplain |
| -rw-r--r-- | CHAPTER_Intro.tex | 5054 | logstatsplain |
| -rw-r--r-- | CHAPTER_Optimize.tex | 13424 | logstatsplain |
| -rw-r--r-- | CHAPTER_Overview.tex | 26460 | logstatsplain |
| -rw-r--r-- | CHAPTER_Prog.tex | 1123 | logstatsplain |
| d--------- | CHAPTER_Prog | 147 | logstatsplain |
| -rw-r--r-- | CHAPTER_StateOfTheArt.tex | 13769 | logstatsplain |
| d--------- | CHAPTER_StateOfTheArt | 725 | logstatsplain |
| -rw-r--r-- | CHAPTER_Techmap.tex | 5225 | logstatsplain |
| -rw-r--r-- | CHAPTER_Verilog.tex | 36047 | logstatsplain |
| -rw-r--r-- | PRESENTATION_ExAdv.tex | 33858 | logstatsplain |
| d--------- | PRESENTATION_ExAdv | 1399 | logstatsplain |
| -rw-r--r-- | PRESENTATION_ExOth.tex | 6925 | logstatsplain |
| d--------- | PRESENTATION_ExOth | 309 | logstatsplain |
| -rw-r--r-- | PRESENTATION_ExSyn.tex | 18761 | logstatsplain |
| d--------- | PRESENTATION_ExSyn | 1033 | logstatsplain |
| -rw-r--r-- | PRESENTATION_Intro.tex | 32616 | logstatsplain |
| d--------- | PRESENTATION_Intro | 225 | logstatsplain |
| -rw-r--r-- | PRESENTATION_Prog.tex | 21331 | logstatsplain |
| d--------- | PRESENTATION_Prog | 192 | logstatsplain |
| -rwxr-xr-x | appnotes.sh | 478 | logstatsplain |
| -rwxr-xr-x | clean.sh | 140 | logstatsplain |
| -rw-r--r-- | command-reference-manual.tex | 180493 | logstatsplain |
| -rw-r--r-- | literature.bib | 6437 | logstatsplain |
| -rwxr-xr-x | manual.sh | 818 | logstatsplain |
| -rw-r--r-- | manual.tex | 6828 | logstatsplain |
| -rwxr-xr-x | presentation.sh | 808 | logstatsplain |
| -rw-r--r-- | presentation.tex | 4716 | logstatsplain |
| -rw-r--r-- | weblinks.bib | 3670 | logstatsplain |
