aboutsummaryrefslogtreecommitdiffstats
path: root/tests
Commit message (Collapse)AuthorAgeFilesLines
...
| | * | | Add additional test cases for for-loopsClifford Wolf2019-05-011-0/+25
| | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | Merge pull request #871 from YosysHQ/verific_importClifford Wolf2019-05-061-0/+52
| |\ \ \ \ | | |_|/ / | |/| | | Improve verific -chparam and add hierarchy -chparam
| | * | | Add tests/various/chparam.shClifford Wolf2019-05-061-0/+52
| | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | iverilog with simcells.v as wellEddie Hung2019-05-031-1/+2
| | | | |
| * | | | Merge pull request #969 from YosysHQ/clifford/pmgenstuffClifford Wolf2019-05-031-0/+9
| |\ \ \ \ | | |/ / / | |/| | | Improve pmgen, Add "peepopt" pass with shift-mul pattern
| * | | | Merge pull request #976 from YosysHQ/clifford/fix974Clifford Wolf2019-05-031-0/+22
| |\ \ \ \ | | | | | | | | | | | | Fix width detection of memory access with bit slice
| | * | | | Add splitcmplxassign test case and silence splitcmplxassign warningClifford Wolf2019-05-011-0/+22
| | | |/ / | | |/| | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | Fix typo in tests/svinterfaces/runone.shClifford Wolf2019-05-031-2/+2
| | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | fail svinterfaces testcases on yosys error exitJakob Wenzel2019-05-021-2/+2
| | |_|/ | |/| |
* | | | Merge remote-tracking branch 'origin/clifford/pmgenstuff' into xc7muxEddie Hung2019-05-021-0/+9
|\ \ \ \ | | |_|/ | |/| |
| * | | Add peepopt_muldiv, fixes #930Clifford Wolf2019-04-301-0/+9
| | |/ | |/| | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | Merge remote-tracking branch 'origin/master' into xc7muxEddie Hung2019-05-022-0/+23
|\ \ \ | | |/ | |/|
| * | Fix #938 - Crash occurs in case when use write_firrtl commandJim Lawson2019-05-012-0/+23
| |/ | | | | | | | | | | Add missing memory initialization. Sanity-check memory parameters. Add Cell pointer to memory object (for error reporting).
* | Remove split_shiftx testsEddie Hung2019-04-262-139/+0
| |
* | Merge remote-tracking branch 'origin/eddie/split_shiftx' into xc7muxEddie Hung2019-04-252-0/+139
|\ \
| * | Add testEddie Hung2019-04-252-0/+139
| |/
* | Remove topo sort no-loop assertion, with testEddie Hung2019-04-243-1/+76
| |
* | Fix abc9 with (* keep *) wiresEddie Hung2019-04-231-0/+38
| |
* | Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-04-224-0/+110
|\|
| * Updaye pmux2shiftx testClifford Wolf2019-04-221-2/+2
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * Merge pull request #909 from zachjs/masterClifford Wolf2019-04-222-0/+48
| |\ | | | | | | support repeat loops with constant repeat counts outside of constant functions
| | * support repeat loops with constant repeat counts outside of constant functionsZachary Snow2019-04-092-0/+48
| | |
| * | Merge pull request #944 from YosysHQ/clifford/pmux2shiftxClifford Wolf2019-04-222-0/+62
| |\ \ | | | | | | | | Add pmux2shiftx command
| | * | Improve "pmux2shiftx"Clifford Wolf2019-04-201-1/+1
| | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | * | Improvements in "pmux2shiftx"Clifford Wolf2019-04-201-1/+1
| | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | * | Improvements in pmux2shiftxClifford Wolf2019-04-202-20/+30
| | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | * | Add test for pmux2shiftxClifford Wolf2019-04-202-0/+52
| | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | Merge remote-tracking branch 'origin/clifford/libwb' into xaigEddie Hung2019-04-212-2/+3
|\| | |
| * | | Fix testsClifford Wolf2019-04-212-2/+3
| |/ / | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-04-202-0/+8
|\| |
| * | Add tests/aiger/.gitignoreClifford Wolf2019-04-191-0/+2
| | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | Add retime testEddie Hung2019-04-051-0/+6
| |/
* | Select to find union of both sets on stackEddie Hung2019-04-191-1/+1
| |
* | Re-enable partsel.v testEddie Hung2019-04-161-1/+0
| |
* | Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-04-151-3/+2
|\ \
| * | Revert "Recognise default entry in case even if all cases covered (fix for ↵Eddie Hung2019-04-151-3/+2
| | | | | | | | | | | | #931)"
* | | Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-04-121-2/+3
|\| |
| * | Add default entry to testcaseEddie Hung2019-04-111-2/+3
| |/
* | Merge branch 'master' into xaigEddie Hung2019-04-0814-5/+737
|\|
| * Liberty file parser now accepts superfluous ;Niels Moseley2019-03-271-1/+1
| |
| * Liberty file parser now accepts superfluous ;Niels Moseley2019-03-273-2/+97
| |
| * Fix "verific -extnets" for more complex situationsClifford Wolf2019-03-261-0/+22
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * Updated the liberty parser to accept [A:B] ranges (AST has not been ↵Niels Moseley2019-03-246-0/+541
| | | | | | | | updated). Liberty parser now also accepts key : value pair lines that do not end in ';'.
| * Merge https://github.com/YosysHQ/yosys into read_aigerEddie Hung2019-03-1911-31/+175
| |\
| | * fix local name resolution in prefix constructsZachary Snow2019-03-181-0/+56
| | |
| | * Fix handling of task output ports in clocked always blocks, fixes #857Clifford Wolf2019-03-071-0/+19
| | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | * Ensure fid() calls make_id() for consistency; tests/simple/dff_init.v failsJim Lawson2019-03-041-0/+1
| | | | | | | | | | | | Mark dff_init.v as expected to fail since it uses "initial value".
| | * Hotfix for "make test"Clifford Wolf2019-02-281-1/+1
| | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | * Add "write_verilog -siminit"Clifford Wolf2019-02-281-1/+1
| | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | * Fix FIRRTL to Verilog process instance subfield assignment.Jim Lawson2019-02-253-3/+1
| | | | | | | | | | | | | | | | | | Don't emit subfield assignments: bits(x, y, z) <= ... - but instead, add them to the reverse-wire-map where they'll be treated at the end of the module. Enable tests which were disabled due to incorrect treatment of subfields. Assume the `$firrtl2verilog` variable contains any additional switches to control verilog generation (i.e. `--no-dedup -X mverilog`)