aboutsummaryrefslogtreecommitdiffstats
path: root/manual
ModeNameSize
-rw-r--r--.gitignore71logstatsplain
-rw-r--r--APPNOTE_010_Verilog_to_BLIF.tex17075logstatsplain
-rw-r--r--APPNOTE_011_Design_Investigation.tex46203logstatsplain
d---------APPNOTE_011_Design_Investigation1156logstatsplain
-rw-r--r--APPNOTE_012_Verilog_to_BTOR.tex12563logstatsplain
-rw-r--r--CHAPTER_Appnotes.tex914logstatsplain
-rw-r--r--CHAPTER_Approach.tex6857logstatsplain
-rw-r--r--CHAPTER_Auxlibs.tex1317logstatsplain
-rw-r--r--CHAPTER_Auxprogs.tex816logstatsplain
-rw-r--r--CHAPTER_Basics.tex37570logstatsplain
-rw-r--r--CHAPTER_CellLib.tex18388logstatsplain
-rw-r--r--CHAPTER_Eval.tex13084logstatsplain
d---------CHAPTER_Eval281logstatsplain
-rw-r--r--CHAPTER_Intro.tex5057logstatsplain
-rw-r--r--CHAPTER_Optimize.tex13273logstatsplain
-rw-r--r--CHAPTER_Overview.tex26378logstatsplain
-rw-r--r--CHAPTER_Prog.tex1123logstatsplain
d---------CHAPTER_Prog147logstatsplain
-rw-r--r--CHAPTER_StateOfTheArt.tex13770logstatsplain
d---------CHAPTER_StateOfTheArt725logstatsplain
-rw-r--r--CHAPTER_Techmap.tex5228logstatsplain
-rw-r--r--CHAPTER_Verilog.tex36052logstatsplain
-rw-r--r--PRESENTATION_ExAdv.tex33866logstatsplain
d---------PRESENTATION_ExAdv1399logstatsplain
-rw-r--r--PRESENTATION_ExOth.tex6929logstatsplain
d---------PRESENTATION_ExOth309logstatsplain
-rw-r--r--PRESENTATION_ExSyn.tex18700logstatsplain
d---------PRESENTATION_ExSyn1033logstatsplain
-rw-r--r--PRESENTATION_Intro.tex32614logstatsplain
d---------PRESENTATION_Intro225logstatsplain
-rw-r--r--PRESENTATION_Prog.tex21323logstatsplain
d---------PRESENTATION_Prog192logstatsplain
-rwxr-xr-xappnotes.sh478logstatsplain
-rwxr-xr-xclean.sh143logstatsplain
-rw-r--r--command-reference-manual.tex103392logstatsplain
-rw-r--r--literature.bib6600logstatsplain
-rwxr-xr-xmanual.sh818logstatsplain
-rw-r--r--manual.tex6829logstatsplain
-rwxr-xr-xpresentation.sh808logstatsplain
-rw-r--r--presentation.tex4718logstatsplain
-rw-r--r--weblinks.bib3804logstatsplain