aboutsummaryrefslogtreecommitdiffstats
path: root/kernel/celltypes.h
Commit message (Collapse)AuthorAgeFilesLines
* celltypes: Fix EN port name for some FF types.Marcelina Kościelnicka2020-07-201-4/+4
|
* Add new builtin FF typesMarcelina Kościelnicka2020-06-231-0/+40
| | | | | | | | | | | | | | The new types include: - FFs with async reset and enable (`$adffe`, `$_DFFE_[NP][NP][01][NP]_`) - FFs with sync reset (`$sdff`, `$_SDFF_[NP][NP][01]_`) - FFs with sync reset and enable, reset priority (`$sdffs`, `$_SDFFE_[NP][NP][01][NP]_`) - FFs with sync reset and enable, enable priority (`$sdffce`, `$_SDFFCE_[NP][NP][01][NP]_`) - FFs with async reset, set, and enable (`$dffsre`, `$_DFFSRE_[NP][NP][NP][NP]_`) - latches with reset or set (`$adlatch`, `$_DLATCH_[NP][NP][01]_`) The new FF types are not actually used anywhere yet (this is left for future commits).
* Add flooring division operatorXiretza2020-05-281-1/+2
| | | | | | | | | | The $div and $mod cells use truncating division semantics (rounding towards 0), as defined by e.g. Verilog. Another rounding mode, flooring (rounding towards negative infinity), can be used in e.g. VHDL. The new $divfloor cell provides this flooring division. This commit also fixes the handling of $div in opt_expr, which was previously optimized as if it was $divfloor.
* Add flooring modulo operatorXiretza2020-05-281-1/+2
| | | | | | | | | | | The $div and $mod cells use truncating division semantics (rounding towards 0), as defined by e.g. Verilog. Another rounding mode, flooring (rounding towards negative infinity), can be used in e.g. VHDL. The new $modfloor cell provides this flooring modulo (also known as "remainder" in several languages, but this name is ambiguous). This commit also fixes the handling of $mod in opt_expr, which was previously optimized as if it was $modfloor.
* kernel: big fat patch to use more ID::*, otherwise ID(*)Eddie Hung2020-04-021-103/+74
|
* Use more ID::{A,B,Y,blackbox,whitebox}Eddie Hung2019-08-151-5/+5
|
* Use ID() in kernel/*, add simple ID:: hack (to be improved upon later)Clifford Wolf2019-08-111-122/+122
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Merge pull request #1258 from YosysHQ/eddie/cleanupClifford Wolf2019-08-101-6/+6
|\ | | | | Cleanup a few barnacles across codebase
| * RTLIL::S{0,1} -> State::S{0,1} for headersEddie Hung2019-08-071-6/+6
| |
* | Automatically prune init attributes in verific front-end, fixes #1237Clifford Wolf2019-08-071-5/+14
|/ | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add $_NMUX_, add "abc -g cmos", add proper cmos cell costsClifford Wolf2019-08-061-0/+1
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Rename satgen_algo.h -> algo.h, code cleanup and refactoringBogdan Vukobratovic2019-06-121-5/+4
|
* Add $specrule cells for $setup/$hold/$skew specify rulesClifford Wolf2019-04-231-0/+2
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add CellTypes support for $specify2 and $specify3Clifford Wolf2019-04-231-0/+3
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Fixes for OAI4 cell implementationDavid Shah2019-04-231-1/+1
| | | | | | Fixes #955 and the underlying issue in #954 Signed-off-by: David Shah <dave@ds0.me>
* Add fmcombine passClifford Wolf2019-03-151-15/+30
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Improve ConstEval error handling for non-eval cell typesClifford Wolf2018-11-291-7/+12
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Fix IdString M in setup_stdcells()Adrian Wheeldon2018-10-041-1/+1
|
* Add $allconst and $allseq cell typesClifford Wolf2018-02-231-0/+2
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Use quote includes for yosys.hKevin Kiningham2017-12-131-1/+1
|
* Add consteval support for $_ANDNOT_ and $_ORNOT_Clifford Wolf2017-08-221-0/+4
|
* Add $_ANDNOT_ and $_ORNOT_ gatesClifford Wolf2017-05-171-0/+2
|
* Add $live and $fair cell types, add support for s_eventually keywordClifford Wolf2017-02-251-0/+2
|
* Fix eval implementation of $_NOR_Clifford Wolf2017-02-161-1/+1
|
* Add $cover cell type and SVA cover() supportClifford Wolf2017-02-041-0/+1
|
* Added $anyseq cell typeClifford Wolf2016-10-141-0/+1
|
* Added $ff and $_FF_ cell typesClifford Wolf2016-10-121-0/+3
|
* Removed $aconst cell typeClifford Wolf2016-08-301-1/+0
|
* Removed $predict againClifford Wolf2016-08-281-1/+0
|
* Added $anyconst and $aconstClifford Wolf2016-07-271-0/+2
|
* Added $initstate cell type and vlog functionClifford Wolf2016-07-211-0/+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-0/+1
|
* Improved support for $sop cellsClifford Wolf2016-06-171-3/+15
|
* Added $sop cell type and "abc -sop"Clifford Wolf2016-06-171-1/+27
|
* Added read-enable to memory modelClifford Wolf2015-09-251-3/+3
|
* Added $tribuf and $_TBUF_ cell typesClifford Wolf2015-08-161-0/+3
|
* Fixed trailing whitespacesClifford Wolf2015-07-021-2/+2
|
* Added $_MUX4_, $_MUX8_, and $_MUX16_ cell typesClifford Wolf2015-04-051-2/+10
|
* Added $assume cell typeClifford Wolf2015-02-261-0/+1
|
* Added $meminit cell typeClifford Wolf2015-02-141-0/+1
|
* Added $equiv cell typeClifford Wolf2015-01-191-0/+1
|
* Added global yosys_celltypesClifford Wolf2014-12-291-40/+57
|
* Changed more code to dict<> and pool<>Clifford Wolf2014-12-281-6/+6
|
* Added functionality to dff2dffe passClifford Wolf2014-12-081-0/+1
|
* Added $_DFFE_??_ cell typesClifford Wolf2014-12-081-0/+4
|
* Renamed SIZE() to GetSize() because of name collision on Win32Clifford Wolf2014-10-101-6/+6
|
* Added $_BUF_ cell typeClifford Wolf2014-10-031-0/+3
|
* Added $lcu cell typeClifford Wolf2014-09-081-0/+1
|
* Added "$fa" cell typeClifford Wolf2014-09-081-0/+1
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-16 09:04:12 +0000