Robert Baruch 2bb3fc654a Further juggles the wording of "character".		2020-11-25 12:02:35 -08:00
..
APPNOTE_011_Design_Investigation
CHAPTER_Eval
CHAPTER_Prog	Use C++11 final/override keywords.	2020-06-18 23:34:52 +00:00
CHAPTER_StateOfTheArt
PRESENTATION_ExAdv
PRESENTATION_ExOth
PRESENTATION_ExSyn
PRESENTATION_Intro
PRESENTATION_Prog	Use C++11 final/override keywords.	2020-06-18 23:34:52 +00:00
.gitignore
APPNOTE_010_Verilog_to_BLIF.tex
APPNOTE_011_Design_Investigation.tex
APPNOTE_012_Verilog_to_BTOR.tex
appnotes.sh
CHAPTER_Appnotes.tex
CHAPTER_Approach.tex
CHAPTER_Auxlibs.tex
CHAPTER_Auxprogs.tex	Update CHANGELOG and manual for departure from upstream	2020-04-27 12:08:45 -07:00
CHAPTER_Basics.tex
CHAPTER_CellLib.tex	Add latches to the manual.	2020-06-26 23:27:14 +02:00
CHAPTER_Eval.tex
CHAPTER_Intro.tex
CHAPTER_Optimize.tex	Added warning about adding fsm_encoding attributes to wires to manual	2016-07-08 18:31:31 +02:00
CHAPTER_Overview.tex	Adds appendix on RTLIL text format	2020-11-22 12:56:29 -08:00
CHAPTER_Prog.tex
CHAPTER_StateOfTheArt.tex
CHAPTER_Techmap.tex
CHAPTER_TextRtlil.tex	Further juggles the wording of "character".	2020-11-25 12:02:35 -08:00
CHAPTER_Verilog.tex	Fixed some missing "verilog_" in documentation	2019-12-13 10:17:05 -03:00
clean.sh	Use -E sed parameter instead of -r.	2017-02-04 18:26:01 -08:00
command-reference-manual.tex	Get rid of dffsr2dff.	2020-04-15 16:22:37 +02:00
literature.bib
manual.sh
manual.tex	Adds appendix on RTLIL text format	2020-11-22 12:56:29 -08:00
presentation.sh
presentation.tex
PRESENTATION_ExAdv.tex
PRESENTATION_ExOth.tex
PRESENTATION_ExSyn.tex
PRESENTATION_Intro.tex	Replace "ILANG" with "RTLIL" everywhere.	2020-08-26 17:29:32 +00:00
PRESENTATION_Prog.tex	Replace "ILANG" with "RTLIL" everywhere.	2020-08-26 17:29:32 +00:00
weblinks.bib