aboutsummaryrefslogtreecommitdiffstats
path: root/tests
Commit message (Collapse)AuthorAgeFilesLines
...
* Added translation from read-feedback to en-signals in memory_shareClifford Wolf2014-07-181-0/+24
|
* Bugfix in tests/memories/run-test.shClifford Wolf2014-07-181-2/+2
|
* added tests/memoriesClifford Wolf2014-07-184-0/+132
|
* Also simulate unmapped memories in "make test"Clifford Wolf2014-07-171-1/+1
|
* Implemented dynamic bit-/part-select for memory writesClifford Wolf2014-07-171-1/+40
|
* Added support for bit/part select to mem2reg rewriterClifford Wolf2014-07-171-0/+21
|
* Added support for constant bit- or part-select for memory writesClifford Wolf2014-07-171-0/+20
|
* Changed tests/techmap/mem_simple_4x1_map for new $mem/$memwr WR_EN interfaceClifford Wolf2014-07-161-2/+13
|
* Added note to "make test": use git checkout of iverilogClifford Wolf2014-07-165-5/+15
|
* now ignore init attributes on non-register wires in sat commandClifford Wolf2014-07-052-0/+19
|
* fixed parsing of constant with comment between size and valueClifford Wolf2014-07-021-0/+7
|
* Fixed handling of mixed real/int ternary expressionsClifford Wolf2014-06-251-3/+6
|
* Little steps in realmath test benchClifford Wolf2014-06-212-2/+8
|
* Added test case for AstNode::MEM2REG_FL_CMPLX_LHSClifford Wolf2014-06-171-0/+12
|
* Improved handling of relational op of real valuesClifford Wolf2014-06-171-4/+8
|
* Little steps in realmath test benchClifford Wolf2014-06-162-0/+3
|
* Removed long running tests from tests/simple/realexpr.v (replaced by ↵Clifford Wolf2014-06-151-55/+0
| | | | tests/realmath)
* Added tests/realmath to "make test"Clifford Wolf2014-06-154-4/+5
|
* Improved realmath test benchClifford Wolf2014-06-152-5/+13
|
* improved realmath test benchClifford Wolf2014-06-141-1/+4
|
* progress in realmath test benchClifford Wolf2014-06-142-4/+45
|
* added first draft of real math testcase generatorClifford Wolf2014-06-141-0/+52
|
* Added support for math functionsClifford Wolf2014-06-141-0/+57
|
* Added realexpr.v test caseClifford Wolf2014-06-141-0/+13
|
* Added read_verilog -sv options, added support for bit, logic,Clifford Wolf2014-06-122-2/+2
| | | | allways_ff, always_comb, and always_latch
* added tests for new verilog featuresClifford Wolf2014-06-072-6/+37
|
* Added tests/simple/repwhile.vClifford Wolf2014-06-061-0/+20
|
* Progress in Verific bindingsClifford Wolf2014-03-173-2/+13
|
* Progress in Verific bindingsClifford Wolf2014-03-141-5/+9
|
* Fixed yosys path in tests/techmap/mem_simple_4x1_runtest.shClifford Wolf2014-03-111-1/+1
|
* Use "verilog -noattr" in tests/techmap/mem_simple_4x1 test (for old iverilog)Clifford Wolf2014-03-111-1/+1
|
* Use private namespace in mem_simple_4x1_mapClifford Wolf2014-02-211-4/+4
|
* Added tests/techmap/mem_simple_4x1Clifford Wolf2014-02-217-0/+214
|
* Added vcd2txt.pl and txt2tikztiming.py (tests/tools/...)Clifford Wolf2014-02-192-0/+170
|
* Added frontend (-f) option to autotest.shClifford Wolf2014-02-151-5/+8
|
* Updated ABC and some related changesClifford Wolf2014-02-131-2/+1
|
* Disabled "abc -dff" in "make test" for now (waiting for scorr bugfix in ABC)Clifford Wolf2014-02-121-1/+2
|
* Added test cases for expose -evert-dffClifford Wolf2014-02-082-0/+48
|
* Added splice commandClifford Wolf2014-02-072-0/+28
|
* Added counters sat test caseClifford Wolf2014-02-062-0/+45
|
* Removed old unused files from tests/Clifford Wolf2014-02-0514-2602/+0
|
* Added test cases for sat commandClifford Wolf2014-02-046-0/+126
|
* Added TRANSPARENT parameter to $memrd (and RD_TRANSPARENT to $mem)Clifford Wolf2014-02-031-0/+39
|
* Replaced isim with xsim in tests/tools/autotest.sh, removed xst supportClifford Wolf2014-02-031-50/+10
|
* Bugfix in name resolution with generate blocksClifford Wolf2014-01-301-0/+24
|
* Added correct handling of $memwr priorityClifford Wolf2014-01-031-0/+17
|
* Added autotest.sh -p optionClifford Wolf2014-01-021-3/+8
|
* Use "abc -dff" in "make test"Clifford Wolf2013-12-311-3/+2
|
* Fixed commented out techmap call in tests/tools/autotest.shClifford Wolf2013-12-311-1/+1
|
* Added proper === and !== support in constant expressionsClifford Wolf2013-12-271-0/+11
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-09 06:55:57 +0000