aboutsummaryrefslogtreecommitdiffstats
path: root/tests
Commit message (Collapse)AuthorAgeFilesLines
* Remove PSL example from tests/sva/Clifford Wolf2017-10-202-35/+1
|
* Allow $size and $bits in verilog mode, actually check test caseClifford Wolf2017-09-292-0/+2
|
* $size() now works correctly for all cases!Udi Finkelstein2017-09-261-5/+11
| | | | It seems the issues was that AST_MULTIRANGE is converted into a multirange_dimensions[] array on the AST_MEMORY node directly.
* $size() seems to work now with or without the optional parameter.Udi Finkelstein2017-09-261-8/+18
| | | | Multidimensional arrays still don't work. I suspect the problem is that the array is flattened into a 1D array before $size() is evaluated.
* Added $bits() for memories as well.Udi Finkelstein2017-09-261-6/+5
|
* $size() now works with memories as well!Udi Finkelstein2017-09-261-2/+4
|
* Add $size() function. At the moment it works only on expressions, not on ↵Udi Finkelstein2017-09-261-0/+15
| | | | memories.
* Add simple VHDL+PSL exampleClifford Wolf2017-07-284-17/+64
|
* Improve Verific SVA importerClifford Wolf2017-07-271-7/+8
|
* Add counter.sv SVA testClifford Wolf2017-07-271-0/+29
|
* Improve SVA tests, add Makefile and scriptsClifford Wolf2017-07-2711-9/+110
|
* Add more SVA test cases for future Verific workClifford Wolf2017-07-225-1/+74
|
* Add some simple SVA test cases for future Verific workClifford Wolf2017-07-224-0/+45
|
* Squelch trailing whitespaceLarry Doolittle2017-04-121-1/+1
|
* Fixed typo in tests/simple/arraycells.vClifford Wolf2017-01-041-1/+1
|
* Build hotfix in tests/unit/MakefileClifford Wolf2016-12-111-1/+1
|
* Improved unit test structurerodrigosiqueira2016-12-101-11/+18
| | | | | | | | | Signed-off-by: rodrigosiqueira <rodrigosiqueiramelo@gmail.com> Signed-off-by: chaws <18oliveira.charles@gmail.com> * Merged run-all-unitest inside unit-test target * Fixed Makefile dependencies * Updated documentation about unit test
* Added required structure to implement unit testsrodrigosiqueira2016-12-043-0/+56
| | | | | | | | | | Added modifications inside the main Makefile to refers the unit test Makefile. Added separated Makefile only for compiling unit tests. Added simple example of unit test. Signed-off-by: Charles Oliveira <18oliveira.charles@gmail.com> Signed-off-by: Pablo Alejandro <pabloabur@usp.br> Signed-off-by: Rodrigo Siqueira <siqueira@ime.usp.br>
* Added support for hierarchical defparamsClifford Wolf2016-11-151-0/+23
|
* Added support for (single-clock) transparent memories to bram testsClifford Wolf2016-11-012-10/+23
|
* Fixed "make test" for git head of iverilogClifford Wolf2016-10-111-1/+1
|
* Merge branch 'master' of https://github.com/brouhaha/yosysClifford Wolf2016-09-2313-16/+161
|\
| * Add optional SEED=n command line option to Makefile, and -S n command line ↵Eric Smith2016-09-2213-16/+161
| | | | | | | | option to test scripts, for deterministic regression tests.
* | Added autotest.sh -IClifford Wolf2016-09-201-16/+19
|/
* Fix for modules with big interfaces.Kaj Tuomi2016-09-131-2/+2
|
* Fixed bug with memories that do not have a down-to-zero data widthClifford Wolf2016-08-221-0/+30
|
* Added another mem2reg test caseClifford Wolf2016-08-211-0/+11
|
* Another bugfix in mem2reg codeClifford Wolf2016-08-211-0/+22
|
* Added "test_autotb -seed" (and "autotest.sh -S")Clifford Wolf2016-08-061-2/+4
|
* Fixed mem assignment in left-hand-side concatenationClifford Wolf2016-07-081-0/+13
|
* Fixed autotest.sh handling of `timescaleClifford Wolf2016-07-021-14/+10
|
* Fixed init issue in mem2reg_test2 test caseClifford Wolf2016-06-171-2/+6
|
* Added opt_expr support for div/mod by power-of-twoClifford Wolf2016-05-291-0/+27
|
* Some fixes in tests/asicworld/*_tb.vClifford Wolf2016-05-204-50/+41
|
* Improvements and fixes in autotest.sh script and test_autotbClifford Wolf2016-05-201-6/+6
|
* Fix for Modelsim transcript line warp issue #164Kaj Tuomi2016-05-191-4/+4
|
* Bugfix and improvements in memory_shareClifford Wolf2016-04-211-0/+21
|
* Optionally use ${CC} when compiling test utils.Sergey Kvachonok2016-03-251-1/+1
| | | | Default to gcc when not set.
* Added tests/simple/graphtest.vClifford Wolf2015-11-301-0/+34
|
* More bugfixes in handling of parameters in tasks and functionsClifford Wolf2015-11-121-1/+12
|
* Fixed handling of parameters and localparams in functionsClifford Wolf2015-11-111-1/+30
|
* Bugfix in memory_dffClifford Wolf2015-10-311-0/+15
|
* Improvements in wreduceClifford Wolf2015-10-311-0/+9
|
* Added read-enable to memory modelClifford Wolf2015-09-251-1/+8
|
* Switched to Python 3Clifford Wolf2015-08-229-24/+9
|
* Another block of spelling fixesLarry Doolittle2015-08-148-10/+10
| | | | Smaller this time
* Spell check (by Larry Doolittle)Clifford Wolf2015-08-141-1/+1
|
* Fixed CRLF line endingsClifford Wolf2015-08-134-266/+266
|
* Some ASCII encoding fixes (comments and docs) by Larry DoolittleClifford Wolf2015-08-131-1/+1
|
* Fixed trailing whitespacesClifford Wolf2015-07-026-10/+10
|