aboutsummaryrefslogtreecommitdiffstats
path: root/techlibs/common/simlib.v
Commit message (Expand)AuthorAgeFilesLines
* Add bitwise `$bweqx` and `$bwmux` cellsJannis Harder2022-11-301-0/+37
* simlib: Use optional SIMLIB_GLOBAL_CLOCK to define a global clock signalJannis Harder2022-11-301-2/+8
* simlib: Silence iverilog warning for `$lut`Jannis Harder2022-11-301-1/+1
* simlib: Fix wide $bmux and avoid iverilog warningsJannis Harder2022-11-301-2/+2
* satgen, simlib: Consistent x-propagation for `$pmux` cellsJannis Harder2022-11-301-4/+11
* simlib: Simplify recently changed $mux modelJannis Harder2022-10-281-4/+2
* Consistent $mux undef handlingJannis Harder2022-10-241-4/+1
* Add the $anyinit cell and the formalff passJannis Harder2022-08-161-0/+17
* Add $bmux and $demux cells.Marcelina Kościelnicka2022-01-281-23/+49
* Add $aldff and $aldffe: flip-flops with async load.Marcelina Kościelnicka2021-10-021-0/+49
* Add v2 memory cells.Marcelina Kościelnicka2021-08-111-0/+169
* memory: Introduce $meminit_v2 cell, with EN input.Marcelina Kościelnicka2021-07-281-0/+24
* Fixing old e-mail addresses and deadnamesClaire Xenia Wolf2021-06-081-1/+1
* Fix some trivial typos.Tom Verbeure2021-01-031-5/+5
* Respect \A_SIGNED for $shiftXiretza2020-08-181-4/+12
* Add new builtin FF typesMarcelina Kościelnicka2020-06-231-0/+156
* Add flooring division operatorXiretza2020-05-281-0/+43
* Add flooring modulo operatorXiretza2020-05-281-0/+48
* Fix the truth table for $_SR_* cells.Marcelina Kościelnicka2020-04-151-1/+1
* Reformat so it shows up/looks nice when "help $alu" and "help $alu+"Eddie Hung2019-08-091-25/+34
* A bit more on where $lcu comes fromEddie Hung2019-08-091-0/+2
* Add more commentsEddie Hung2019-08-091-4/+18
* Add a few comments to document $alu and $lcuEddie Hung2019-08-081-9/+12
* Improve $specrule interfaceClifford Wolf2019-04-231-2/+2
* Improve $specrule interfaceClifford Wolf2019-04-231-3/+4
* Add $specrule cells for $setup/$hold/$skew specify rulesClifford Wolf2019-04-231-0/+28
* Rename T_{RISE,FALL}_AVG to T_{RISE,FALL}_TYP to better match verilog std nom...Clifford Wolf2019-04-231-70/+70
* Add $specify2 and $specify3 cells to simlibClifford Wolf2019-04-231-0/+147
* Add $allconst and $allseq cell typesClifford Wolf2018-02-231-0/+24
* Add $live and $fair cell types, add support for s_eventually keywordClifford Wolf2017-02-251-0/+16
* Add $cover cell type and SVA cover() supportClifford Wolf2017-02-041-0/+8
* Added $anyseq cell typeClifford Wolf2016-10-141-0/+12
* Added $global_clock verilog syntax support for creating $ff cellsClifford Wolf2016-10-141-2/+6
* Added $ff and $_FF_ cell typesClifford Wolf2016-10-121-0/+13
* Removed $aconst cell typeClifford Wolf2016-08-301-12/+0
* Removed $predict againClifford Wolf2016-08-281-8/+0
* Added $anyconst and $aconstClifford Wolf2016-07-271-0/+24
* Added $initstate cell type and vlog functionClifford Wolf2016-07-211-0/+17
* After reading the SV spec, using non-standard predict() instead of expect()Clifford Wolf2016-07-211-9/+1
* Added basic support for $expect cellsClifford Wolf2016-07-131-0/+16
* Improved support for $sop cellsClifford Wolf2016-06-171-3/+3
* Added $sop cell type and "abc -sop"Clifford Wolf2016-06-171-0/+28
* Added more cell help messagesClifford Wolf2016-03-291-0/+73
* Added read-enable to memory modelClifford Wolf2015-09-251-4/+5
* Added $tribuf and $_TBUF_ sim modelsClifford Wolf2015-08-161-0/+14
* Another block of spelling fixesLarry Doolittle2015-08-141-2/+2
* Added WORDS parameter to $meminitClifford Wolf2015-07-311-1/+2
* Fixed trailing whitespacesClifford Wolf2015-07-021-2/+2
* make all vector-size related integer params in $mem sim model signedClifford Wolf2015-04-051-6/+6
* Added $assume cell typeClifford Wolf2015-02-261-1/+18