| .. |
|
APPNOTE_011_Design_Investigation
|
|
|
|
CHAPTER_Eval
|
|
|
|
CHAPTER_Prog
|
Use C++11 final/override keywords.
|
2020-06-18 23:34:52 +00:00 |
|
CHAPTER_StateOfTheArt
|
Spell check (by Larry Doolittle)
|
2015-08-14 10:56:05 +02:00 |
|
PRESENTATION_ExAdv
|
|
|
|
PRESENTATION_ExOth
|
Spell check (by Larry Doolittle)
|
2015-08-14 10:56:05 +02:00 |
|
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
|
Spell check (by Larry Doolittle)
|
2015-08-14 10:56:05 +02:00 |
|
APPNOTE_012_Verilog_to_BTOR.tex
|
Renamed opt_const to opt_expr
|
2016-03-31 08:46:56 +02:00 |
|
appnotes.sh
|
Appnote 012
|
2015-04-04 14:52:25 +02:00 |
|
CHAPTER_Appnotes.tex
|
Updated command reference in manual
|
2016-02-14 11:02:11 +01:00 |
|
CHAPTER_Approach.tex
|
Spell check (by Larry Doolittle)
|
2015-08-14 10:56:05 +02:00 |
|
CHAPTER_Auxlibs.tex
|
Spell check (by Larry Doolittle)
|
2015-08-14 10:56:05 +02:00 |
|
CHAPTER_Auxprogs.tex
|
Update CHANGELOG and manual for departure from upstream
|
2020-04-27 12:08:45 -07:00 |
|
CHAPTER_Basics.tex
|
Spell check (by Larry Doolittle)
|
2015-08-14 10:56:05 +02:00 |
|
CHAPTER_CellLib.tex
|
Add latches to the manual.
|
2020-06-26 23:27:14 +02:00 |
|
CHAPTER_Eval.tex
|
Spell check (by Larry Doolittle)
|
2015-08-14 10:56:05 +02:00 |
|
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
|
flatten: preserve original object names via hdlname attribute.
|
2020-06-08 20:19:41 +00:00 |
|
CHAPTER_Prog.tex
|
|
|
|
CHAPTER_StateOfTheArt.tex
|
Spell check (by Larry Doolittle)
|
2015-08-14 10:56:05 +02:00 |
|
CHAPTER_Techmap.tex
|
Spell check (by Larry Doolittle)
|
2015-08-14 10:56:05 +02: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
|
manual: Fix text in Abstract section
|
2019-12-11 08:22:08 -03:00 |
|
presentation.sh
|
|
|
|
presentation.tex
|
Spell check (by Larry Doolittle)
|
2015-08-14 10:56:05 +02:00 |
|
PRESENTATION_ExAdv.tex
|
Spell check (by Larry Doolittle)
|
2015-08-14 10:56:05 +02:00 |
|
PRESENTATION_ExOth.tex
|
Spell check (by Larry Doolittle)
|
2015-08-14 10:56:05 +02:00 |
|
PRESENTATION_ExSyn.tex
|
Renamed opt_share to opt_merge
|
2016-03-31 08:52:49 +02:00 |
|
PRESENTATION_Intro.tex
|
Another block of spelling fixes
|
2015-08-14 23:27:05 +02:00 |
|
PRESENTATION_Prog.tex
|
Add flooring division operator
|
2020-05-28 22:59:04 +02:00 |
|
weblinks.bib
|
|
|
