index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
tests
Commit message (
Expand
)
Author
Age
Files
Lines
*
Fix verific PRIM_SVA_AT handling in properties with PRIM_SVA_DISABLE_IFF
Clifford Wolf
2018-02-15
1
-0
/
+34
*
Remove PSL example from tests/sva/
Clifford Wolf
2017-10-20
2
-35
/
+1
*
Allow $size and $bits in verilog mode, actually check test case
Clifford Wolf
2017-09-29
2
-0
/
+2
*
$size() now works correctly for all cases!
Udi Finkelstein
2017-09-26
1
-5
/
+11
*
$size() seems to work now with or without the optional parameter.
Udi Finkelstein
2017-09-26
1
-8
/
+18
*
Added $bits() for memories as well.
Udi Finkelstein
2017-09-26
1
-6
/
+5
*
$size() now works with memories as well!
Udi Finkelstein
2017-09-26
1
-2
/
+4
*
Add $size() function. At the moment it works only on expressions, not on memo...
Udi Finkelstein
2017-09-26
1
-0
/
+15
*
Add simple VHDL+PSL example
Clifford Wolf
2017-07-28
4
-17
/
+64
*
Improve Verific SVA importer
Clifford Wolf
2017-07-27
1
-7
/
+8
*
Add counter.sv SVA test
Clifford Wolf
2017-07-27
1
-0
/
+29
*
Improve SVA tests, add Makefile and scripts
Clifford Wolf
2017-07-27
11
-9
/
+110
*
Add more SVA test cases for future Verific work
Clifford Wolf
2017-07-22
5
-1
/
+74
*
Add some simple SVA test cases for future Verific work
Clifford Wolf
2017-07-22
4
-0
/
+45
*
Squelch trailing whitespace
Larry Doolittle
2017-04-12
1
-1
/
+1
*
Fixed typo in tests/simple/arraycells.v
Clifford Wolf
2017-01-04
1
-1
/
+1
*
Build hotfix in tests/unit/Makefile
Clifford Wolf
2016-12-11
1
-1
/
+1
*
Improved unit test structure
rodrigosiqueira
2016-12-10
1
-11
/
+18
*
Added required structure to implement unit tests
rodrigosiqueira
2016-12-04
3
-0
/
+56
*
Added support for hierarchical defparams
Clifford Wolf
2016-11-15
1
-0
/
+23
*
Added support for (single-clock) transparent memories to bram tests
Clifford Wolf
2016-11-01
2
-10
/
+23
*
Fixed "make test" for git head of iverilog
Clifford Wolf
2016-10-11
1
-1
/
+1
*
Merge branch 'master' of https://github.com/brouhaha/yosys
Clifford Wolf
2016-09-23
13
-16
/
+161
|
\
|
*
Add optional SEED=n command line option to Makefile, and -S n command line op...
Eric Smith
2016-09-22
13
-16
/
+161
*
|
Added autotest.sh -I
Clifford Wolf
2016-09-20
1
-16
/
+19
|
/
*
Fix for modules with big interfaces.
Kaj Tuomi
2016-09-13
1
-2
/
+2
*
Fixed bug with memories that do not have a down-to-zero data width
Clifford Wolf
2016-08-22
1
-0
/
+30
*
Added another mem2reg test case
Clifford Wolf
2016-08-21
1
-0
/
+11
*
Another bugfix in mem2reg code
Clifford Wolf
2016-08-21
1
-0
/
+22
*
Added "test_autotb -seed" (and "autotest.sh -S")
Clifford Wolf
2016-08-06
1
-2
/
+4
*
Fixed mem assignment in left-hand-side concatenation
Clifford Wolf
2016-07-08
1
-0
/
+13
*
Fixed autotest.sh handling of `timescale
Clifford Wolf
2016-07-02
1
-14
/
+10
*
Fixed init issue in mem2reg_test2 test case
Clifford Wolf
2016-06-17
1
-2
/
+6
*
Added opt_expr support for div/mod by power-of-two
Clifford Wolf
2016-05-29
1
-0
/
+27
*
Some fixes in tests/asicworld/*_tb.v
Clifford Wolf
2016-05-20
4
-50
/
+41
*
Improvements and fixes in autotest.sh script and test_autotb
Clifford Wolf
2016-05-20
1
-6
/
+6
*
Fix for Modelsim transcript line warp issue #164
Kaj Tuomi
2016-05-19
1
-4
/
+4
*
Bugfix and improvements in memory_share
Clifford Wolf
2016-04-21
1
-0
/
+21
*
Optionally use ${CC} when compiling test utils.
Sergey Kvachonok
2016-03-25
1
-1
/
+1
*
Added tests/simple/graphtest.v
Clifford Wolf
2015-11-30
1
-0
/
+34
*
More bugfixes in handling of parameters in tasks and functions
Clifford Wolf
2015-11-12
1
-1
/
+12
*
Fixed handling of parameters and localparams in functions
Clifford Wolf
2015-11-11
1
-1
/
+30
*
Bugfix in memory_dff
Clifford Wolf
2015-10-31
1
-0
/
+15
*
Improvements in wreduce
Clifford Wolf
2015-10-31
1
-0
/
+9
*
Added read-enable to memory model
Clifford Wolf
2015-09-25
1
-1
/
+8
*
Switched to Python 3
Clifford Wolf
2015-08-22
9
-24
/
+9
*
Another block of spelling fixes
Larry Doolittle
2015-08-14
8
-10
/
+10
*
Spell check (by Larry Doolittle)
Clifford Wolf
2015-08-14
1
-1
/
+1
*
Fixed CRLF line endings
Clifford Wolf
2015-08-13
4
-266
/
+266
*
Some ASCII encoding fixes (comments and docs) by Larry Doolittle
Clifford Wolf
2015-08-13
1
-1
/
+1
[next]