riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
yosys/manual
History
Jannis Harder c0063288d6 Add the $anyinit cell and the formalff pass 
These can be used to protect undefined flip-flop initialization values
from optimizations that are not sound for formal verification and can
help mapping all solver-provided values in witness traces for flows that
use different backends simultaneously.
 		2022-08-16 13:37:30 +02:00
..
APPNOTE_011_Design_Investigation suppressing semi-colon at the end of dot files 2014-12-05 18:17:00 +01:00
CHAPTER_Eval Fixed trailing whitespaces 2015-07-02 11:14:30 +02:00
CHAPTER_Prog Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
CHAPTER_StateOfTheArt Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
PRESENTATION_ExAdv Fixed trailing whitespaces 2015-07-02 11:14:30 +02:00
PRESENTATION_ExOth Spell check (by Larry Doolittle) 2015-08-14 10:56:05 +02:00
PRESENTATION_ExSyn Progress in presentation 2014-06-21 16:33:33 +02:00
PRESENTATION_Intro Fixed trailing whitespaces 2015-07-02 11:14:30 +02:00
PRESENTATION_Prog manual: Fix a custom pass example. 2022-01-27 23:27:45 +01:00
.gitignore presentation progress 2014-01-29 12:15:38 +01:00
APPNOTE_010_Verilog_to_BLIF.tex More deadname stuff 2021-06-09 12:33:41 +02:00
APPNOTE_011_Design_Investigation.tex More deadname stuff 2021-06-09 12:33:41 +02:00
APPNOTE_012_Verilog_to_BTOR.tex More deadname stuff 2021-06-09 12:33:41 +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 More deadname stuff 2021-06-09 12:33:41 +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 the $anyinit cell and the formalff pass 2022-08-16 13:37:30 +02:00
CHAPTER_Eval.tex Spell check (by Larry Doolittle) 2015-08-14 10:56:05 +02:00
CHAPTER_Intro.tex Fixed trailing whitespaces 2015-07-02 11:14:30 +02:00
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 Add support for memory writes in processes. 2021-03-08 20:16:29 +01:00
CHAPTER_Prog.tex split CodingReadme into multiple files 2021-03-22 19:16:25 +01:00
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_TextRtlil.tex manual: Fix cell-stmt order 2022-01-03 18:17:10 -07:00
CHAPTER_Verilog.tex verilog: Use proc memory writes in the frontend. 2021-03-08 20:16:29 +01:00
PRESENTATION_ExAdv.tex Use HTTPS for website links, gatecat email 2021-06-09 12:16:56 +02:00
PRESENTATION_ExOth.tex Use HTTPS for website links, gatecat email 2021-06-09 12:16:56 +02:00
PRESENTATION_ExSyn.tex Use HTTPS for website links, gatecat email 2021-06-09 12:16:56 +02:00
PRESENTATION_Intro.tex More deadname stuff 2021-06-09 12:33:41 +02:00
PRESENTATION_Prog.tex Use HTTPS for website links, gatecat email 2021-06-09 12:16:56 +02:00
appnotes.sh Appnote 012 2015-04-04 14:52:25 +02:00
clean.sh Use -E sed parameter instead of -r. 2017-02-04 18:26:01 -08:00
command-reference-manual.tex update manual to latest 2022-08-03 13:44:13 +02:00
literature.bib More deadname stuff 2021-06-09 12:33:41 +02:00
manual.sh Added first presentation slides 2014-01-27 17:08:19 +01:00
manual.tex More deadname stuff 2021-06-09 12:33:41 +02:00
presentation.sh Some fixes in presentation 2014-11-08 12:39:01 +01:00
presentation.tex More deadname stuff 2021-06-09 12:33:41 +02:00
weblinks.bib More deadname stuff 2021-06-09 12:33:41 +02:00