![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/tex.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/script.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| APPNOTE_010_Verilog_to_BLIF.tex | 2023-09-13 17:31 | 17K | |
| APPNOTE_011_Design_Investigation.tex | 2023-09-13 17:31 | 45K | |
| APPNOTE_011_Design_Investigation/ | 2023-09-13 17:31 | - | |
| APPNOTE_012_Verilog_to_BTOR.tex | 2023-09-13 17:31 | 12K | |
| CHAPTER_Appnotes.tex | 2023-09-13 17:31 | 1.1K | |
| CHAPTER_Approach.tex | 2023-09-13 17:31 | 6.7K | |
| CHAPTER_Auxlibs.tex | 2023-09-13 17:31 | 1.3K | |
| CHAPTER_Auxprogs.tex | 2023-09-13 17:31 | 888 | |
| CHAPTER_Basics.tex | 2023-09-13 17:31 | 37K | |
| CHAPTER_CellLib.tex | 2023-09-13 17:31 | 50K | |
| CHAPTER_Eval.tex | 2023-09-13 17:31 | 13K | |
| CHAPTER_Eval/ | 2023-09-13 17:31 | - | |
| CHAPTER_Intro.tex | 2023-09-13 17:31 | 4.9K | |
| CHAPTER_Optimize.tex | 2023-09-13 17:31 | 13K | |
| CHAPTER_Overview.tex | 2023-09-13 17:31 | 28K | |
| CHAPTER_Prog.tex | 2023-09-13 17:31 | 1.2K | |
| CHAPTER_Prog/ | 2023-09-13 17:31 | - | |
| CHAPTER_StateOfTheArt.tex | 2023-09-13 17:31 | 13K | |
| CHAPTER_StateOfTheArt/ | 2023-09-13 17:31 | - | |
| CHAPTER_Techmap.tex | 2023-09-13 17:31 | 5.1K | |
| CHAPTER_TextRtlil.tex | 2023-09-13 17:31 | 9.9K | |
| CHAPTER_Verilog.tex | 2023-09-13 17:31 | 35K | |
| PRESENTATION_ExAdv.tex | 2023-09-13 17:31 | 33K | |
| PRESENTATION_ExAdv/ | 2023-09-13 17:31 | - | |
| PRESENTATION_ExOth.tex | 2023-09-13 17:31 | 6.8K | |
| PRESENTATION_ExOth/ | 2023-09-13 17:31 | - | |
| PRESENTATION_ExSyn.tex | 2023-09-13 17:31 | 18K | |
| PRESENTATION_ExSyn/ | 2023-09-13 17:31 | - | |
| PRESENTATION_Intro.tex | 2023-09-13 17:31 | 32K | |
| PRESENTATION_Intro/ | 2023-09-13 17:31 | - | |
| PRESENTATION_Prog.tex | 2023-09-13 17:31 | 21K | |
| PRESENTATION_Prog/ | 2023-09-13 17:31 | - | |
| appnotes.sh | 2023-09-13 17:31 | 478 | |
| clean.sh | 2023-09-13 17:31 | 140 | |
| command-reference-manual.tex | 2023-09-13 17:31 | 285K | |
| literature.bib | 2023-09-13 17:31 | 6.3K | |
| manual.sh | 2023-09-13 17:31 | 818 | |
| manual.tex | 2023-09-13 17:31 | 6.8K | |
| presentation.sh | 2023-09-13 17:31 | 808 | |
| presentation.tex | 2023-09-13 17:31 | 4.6K | |
| weblinks.bib | 2023-09-13 17:31 | 3.6K | |