aboutsummaryrefslogtreecommitdiffstats
path: root/manual
Commit message (Collapse)AuthorAgeFilesLines
* Add $_NMUX_, add "abc -g cmos", add proper cmos cell costsClifford Wolf2019-08-061-1/+1
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* manual: explain the purpose of `sync always`.whitequark2019-07-021-2/+3
|
* Explain exact semantics of switch and case rules in the manual.whitequark2019-06-191-0/+12
|
* Add $specrule cells for $setup/$hold/$skew specify rulesClifford Wolf2019-04-231-1/+1
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add CellTypes support for $specify2 and $specify3Clifford Wolf2019-04-231-0/+4
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* manual: document some gates.whitequark2019-01-141-9/+11
|
* manual: explain $tribuf cell.whitequark2019-01-141-0/+10
|
* Fix typo in manualClifford Wolf2019-01-071-1/+1
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* manual: make description of $meminit ports match reality.whitequark2018-12-211-3/+15
|
* manual: fix typos.whitequark2018-12-201-2/+2
|
* manual: document $meminit cell and memory_* passes.whitequark2018-12-202-8/+23
|
* Update command reference manualClifford Wolf2018-10-161-140/+1200
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Fixed typo in "verilog_write" help messageacw12512018-09-181-2/+2
|
* Consistent use of 'override' for virtual methods in derived classes.Henner Zeller2018-07-202-4/+4
| | | | | | | | | o Not all derived methods were marked 'override', but it is a great feature of C++11 that we should make use of. o While at it: touched header files got a -*- c++ -*- for emacs to provide support for that language. o use YS_OVERRIDE for all override keywords (though we should probably use the plain keyword going forward now that C++11 is established)
* Add $allconst and $allseq cell typesClifford Wolf2018-02-231-1/+2
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add $_ANDNOT_ and $_ORNOT_ gatesClifford Wolf2017-05-171-1/+2
|
* Add $live and $fair cell types, add support for s_eventually keywordClifford Wolf2017-02-251-1/+1
|
* Use -E sed parameter instead of -r.Piotr Esden-Tempski2017-02-041-1/+1
| | | | | BSD sed equivalent to -r parameter is -E and it is also supported in GNU sed thus using -E results in support on both platforms.
* Add $cover cell type and SVA cover() supportClifford Wolf2017-02-041-1/+1
|
* Updated command reference in manualClifford Wolf2016-11-021-100/+568
|
* Added $anyseq cell typeClifford Wolf2016-10-141-1/+1
|
* Added $ff and $_FF_ cell typesClifford Wolf2016-10-121-0/+4
|
* Removed $aconst cell typeClifford Wolf2016-08-301-1/+1
|
* Removed $predict againClifford Wolf2016-08-281-1/+1
|
* Added $anyconst and $aconstClifford Wolf2016-07-271-1/+1
|
* Added $initstate cell type and vlog functionClifford Wolf2016-07-211-1/+1
|
* After reading the SV spec, using non-standard predict() instead of expect()Clifford Wolf2016-07-211-1/+1
|
* Added basic support for $expect cellsClifford Wolf2016-07-131-1/+1
|
* Added warning about adding fsm_encoding attributes to wires to manualClifford Wolf2016-07-081-0/+4
|
* Added $sop cell type and "abc -sop"Clifford Wolf2016-06-171-0/+4
|
* Minor presentation fixesClifford Wolf2016-05-141-1/+1
|
* Added "yosys -D" featureClifford Wolf2016-04-213-3/+3
|
* Fix a few typos in the manualWladimir J. van der Laan2016-04-031-3/+3
|
* Renamed opt_share to opt_mergeClifford Wolf2016-03-313-7/+7
|
* Renamed opt_const to opt_exprClifford Wolf2016-03-314-14/+14
|
* user-facing spelling fixesSebastian Kuzminsky2016-02-281-3/+3
| | | | | "speciefied" -> "specified" "unkown" -> "unknown"
* Updated command reference in manualClifford Wolf2016-02-142-15/+363
|
* Remove nonportable "-r" option from xargsMicah Elizabeth Scott2015-12-151-1/+1
| | | | On Linux, this avoids an empty "rm -f" call when there's nothing to clean. But it isn't portable, and it causes the build to fail on Mac OS. It doesn't seem to be harmful to remove this option entirely, and it's a step toward fixing the Mac build.
* Added read-enable to memory modelClifford Wolf2015-09-251-2/+6
|
* Another block of spelling fixesLarry Doolittle2015-08-142-5/+5
| | | | Smaller this time
* Re-created command-reference-manual.tex, copied some doc fixes to online helpClifford Wolf2015-08-141-36/+652
|
* Spell check (by Larry Doolittle)Clifford Wolf2015-08-1425-140/+140
|
* More ASCII encoding fixesClifford Wolf2015-08-131-1/+1
|
* Fixed CRLF line endingsClifford Wolf2015-08-132-297/+297
|
* Some ASCII encoding fixes (comments and docs) by Larry DoolittleClifford Wolf2015-08-131-3/+3
|
* Fixed trailing whitespacesClifford Wolf2015-07-0222-179/+179
|
* appnote 012 fixClifford Wolf2015-04-041-2/+2
|
* Appnote 012Clifford Wolf2015-04-042-115/+115
|
* Merge branch 'master' of https://github.com/cliffordwolf/yosysAhmed Irfan2015-04-0337-194/+1757
|\
| * Added blif reference to appnote 010Clifford Wolf2015-03-221-1/+5
| |