aboutsummaryrefslogtreecommitdiffstats
path: root/manual
ModeNameSize
-rw-r--r--.gitignore71logstatsplain
-rw-r--r--APPNOTE_010_Verilog_to_BLIF.tex17076logstatsplain
-rw-r--r--APPNOTE_011_Design_Investigation.tex46129logstatsplain
d---------APPNOTE_011_Design_Investigation1156logstatsplain
-rw-r--r--APPNOTE_012_Verilog_to_BTOR.tex12554logstatsplain
-rw-r--r--CHAPTER_Appnotes.tex1123logstatsplain
-rw-r--r--CHAPTER_Approach.tex6856logstatsplain
-rw-r--r--CHAPTER_Auxlibs.tex1307logstatsplain
-rw-r--r--CHAPTER_Auxprogs.tex888logstatsplain
-rw-r--r--CHAPTER_Basics.tex37565logstatsplain
-rw-r--r--CHAPTER_CellLib.tex50961logstatsplain
-rw-r--r--CHAPTER_Eval.tex13087logstatsplain
d---------CHAPTER_Eval281logstatsplain
-rw-r--r--CHAPTER_Intro.tex5054logstatsplain
-rw-r--r--CHAPTER_Optimize.tex13424logstatsplain
-rw-r--r--CHAPTER_Overview.tex28678logstatsplain
-rw-r--r--CHAPTER_Prog.tex1244logstatsplain
d---------CHAPTER_Prog147logstatsplain
-rw-r--r--CHAPTER_StateOfTheArt.tex13769logstatsplain
d---------CHAPTER_StateOfTheArt725logstatsplain
-rw-r--r--CHAPTER_Techmap.tex5225logstatsplain
-rw-r--r--CHAPTER_TextRtlil.tex10132logstatsplain
-rw-r--r--CHAPTER_Verilog.tex36298logstatsplain
-rw-r--r--PRESENTATION_ExAdv.tex33855logstatsplain
d---------PRESENTATION_ExAdv1399logstatsplain
-rw-r--r--PRESENTATION_ExOth.tex6922logstatsplain
d---------PRESENTATION_ExOth309logstatsplain
-rw-r--r--PRESENTATION_ExSyn.tex18758logstatsplain
d---------PRESENTATION_ExSyn1033logstatsplain
-rw-r--r--PRESENTATION_Intro.tex32588logstatsplain
d---------PRESENTATION_Intro225logstatsplain
-rw-r--r--PRESENTATION_Prog.tex21328logstatsplain
d---------PRESENTATION_Prog192logstatsplain
-rwxr-xr-xappnotes.sh478logstatsplain
-rwxr-xr-xclean.sh140logstatsplain
-rw-r--r--command-reference-manual.tex307365logstatsplain
-rw-r--r--literature.bib6413logstatsplain
-rwxr-xr-xmanual.sh818logstatsplain
-rw-r--r--manual.tex6918logstatsplain
-rwxr-xr-xpresentation.sh808logstatsplain
-rw-r--r--presentation.tex4721logstatsplain
-rw-r--r--weblinks.bib3667logstatsplain