index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
techlibs
/
common
/
simlib.v
Commit message (
Expand
)
Author
Age
Files
Lines
*
Reformat so it shows up/looks nice when "help $alu" and "help $alu+"
Eddie Hung
2019-08-09
1
-25
/
+34
*
A bit more on where $lcu comes from
Eddie Hung
2019-08-09
1
-0
/
+2
*
Add more comments
Eddie Hung
2019-08-09
1
-4
/
+18
*
Add a few comments to document $alu and $lcu
Eddie Hung
2019-08-08
1
-9
/
+12
*
Improve $specrule interface
Clifford Wolf
2019-04-23
1
-2
/
+2
*
Improve $specrule interface
Clifford Wolf
2019-04-23
1
-3
/
+4
*
Add $specrule cells for $setup/$hold/$skew specify rules
Clifford Wolf
2019-04-23
1
-0
/
+28
*
Rename T_{RISE,FALL}_AVG to T_{RISE,FALL}_TYP to better match verilog std nom...
Clifford Wolf
2019-04-23
1
-70
/
+70
*
Add $specify2 and $specify3 cells to simlib
Clifford Wolf
2019-04-23
1
-0
/
+147
*
Add $allconst and $allseq cell types
Clifford Wolf
2018-02-23
1
-0
/
+24
*
Add $live and $fair cell types, add support for s_eventually keyword
Clifford Wolf
2017-02-25
1
-0
/
+16
*
Add $cover cell type and SVA cover() support
Clifford Wolf
2017-02-04
1
-0
/
+8
*
Added $anyseq cell type
Clifford Wolf
2016-10-14
1
-0
/
+12
*
Added $global_clock verilog syntax support for creating $ff cells
Clifford Wolf
2016-10-14
1
-2
/
+6
*
Added $ff and $_FF_ cell types
Clifford Wolf
2016-10-12
1
-0
/
+13
*
Removed $aconst cell type
Clifford Wolf
2016-08-30
1
-12
/
+0
*
Removed $predict again
Clifford Wolf
2016-08-28
1
-8
/
+0
*
Added $anyconst and $aconst
Clifford Wolf
2016-07-27
1
-0
/
+24
*
Added $initstate cell type and vlog function
Clifford Wolf
2016-07-21
1
-0
/
+17
*
After reading the SV spec, using non-standard predict() instead of expect()
Clifford Wolf
2016-07-21
1
-9
/
+1
*
Added basic support for $expect cells
Clifford Wolf
2016-07-13
1
-0
/
+16
*
Improved support for $sop cells
Clifford Wolf
2016-06-17
1
-3
/
+3
*
Added $sop cell type and "abc -sop"
Clifford Wolf
2016-06-17
1
-0
/
+28
*
Added more cell help messages
Clifford Wolf
2016-03-29
1
-0
/
+73
*
Added read-enable to memory model
Clifford Wolf
2015-09-25
1
-4
/
+5
*
Added $tribuf and $_TBUF_ sim models
Clifford Wolf
2015-08-16
1
-0
/
+14
*
Another block of spelling fixes
Larry Doolittle
2015-08-14
1
-2
/
+2
*
Added WORDS parameter to $meminit
Clifford Wolf
2015-07-31
1
-1
/
+2
*
Fixed trailing whitespaces
Clifford Wolf
2015-07-02
1
-2
/
+2
*
make all vector-size related integer params in $mem sim model signed
Clifford Wolf
2015-04-05
1
-6
/
+6
*
Added $assume cell type
Clifford Wolf
2015-02-26
1
-1
/
+18
*
Smaller default parameters in $mem simlib model
Clifford Wolf
2015-02-15
1
-2
/
+2
*
Added $meminit support to "memory" command
Clifford Wolf
2015-02-14
1
-3
/
+15
*
Added $meminit cell type
Clifford Wolf
2015-02-14
1
-0
/
+22
*
Some test related fixes
Clifford Wolf
2015-02-12
1
-4
/
+4
*
Added $equiv cell type
Clifford Wolf
2015-01-19
1
-1
/
+23
*
Progress in memory_bram
Clifford Wolf
2015-01-03
1
-0
/
+3
*
Added proper clkpol support to memory_bram
Clifford Wolf
2015-01-02
1
-1
/
+1
*
New $mem simlib model
Clifford Wolf
2015-01-02
1
-95
/
+36
*
Fixed simlib entries for $memrd and $memwr
Clifford Wolf
2014-12-30
1
-0
/
+2
*
Added $dffe cell type
Clifford Wolf
2014-12-08
1
-0
/
+19
*
Fixed $macc simlib model for zero-config
Clifford Wolf
2014-09-16
1
-1
/
+1
*
Fixed simlib $macc model for xilinx xsim
Clifford Wolf
2014-09-08
1
-1
/
+15
*
Simplified $fa undef model
Clifford Wolf
2014-09-08
1
-1
/
+1
*
Fixes and cleanups for blackbox.v
Clifford Wolf
2014-09-08
1
-68
/
+70
*
Added $lcu cell type
Clifford Wolf
2014-09-08
1
-0
/
+23
*
Added "$fa" cell type
Clifford Wolf
2014-09-08
1
-0
/
+16
*
Various bug fixes (related to $macc model testing)
Clifford Wolf
2014-09-06
1
-1
/
+1
*
Added $macc SAT model
Clifford Wolf
2014-09-06
1
-3
/
+3
*
Added $macc simlib model (also use as techmap rule for now)
Clifford Wolf
2014-09-06
1
-0
/
+86
[next]