aboutsummaryrefslogtreecommitdiffstats
path: root/tests/simple_abc9
Commit message (Collapse)AuthorAgeFilesLines
* abc9: fix SCC issues (#2694)Eddie Hung2021-03-293-12/+27
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * xilinx: add SCC test for DSP48E1 * xilinx: Gate DSP48E1 being a whitebox behind ALLOW_WHITEBOX_DSP48E1 Have a test that checks it works through ABC9 when enabled * abc9 to break SCCs using $__ABC9_SCC_BREAKER module * Add test * abc9_ops: remove refs to (* abc9_keep *) on wires * abc9_ops: do not bypass cells in an SCC * Add myself to CODEOWNERS for abc9* * Fix compile * abc9_ops: run -prep_hier before scc * Fix tests * Remove bug reference pending fix * abc9: fix for -prep_hier -dff * xaiger: restore PI handling * abc9_ops: -prep_xaiger sigmap * abc9_ops: -mark_scc -> -break_scc * abc9: eliminate hard-coded abc9.box from tests Also tidy up * Address review
* Set aside extraneous tests in simple_abc9 test suiteZachary Snow2021-03-012-0/+19
| | | | | | | New test cases on one branch may be automatically copied from simple/ to simple_abc9/, causing failures when switching to another branch. This updates the simple_abc9 script to set aside extraneous tests in a non-destructive way.
* abc9: test to use box file instead of autoEddie Hung2020-05-143-2/+5
|
* Update simple_abc9 testsEddie Hung2020-02-273-5/+8
|
* simple_abc9 tests to discard whitebox before write for simEddie Hung2020-01-232-2/+3
|
* Test for (* keep *)-ed abc9_box_idEddie Hung2020-01-231-0/+16
|
* abc_box_id -> abc9_box_id in testEddie Hung2020-01-231-1/+1
|
* abc9 needs a clean afterwardsEddie Hung2019-12-161-2/+4
|
* Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-12-061-5/+11
|\
| * abc9: Fix breaking of SCCsDavid Shah2019-12-011-0/+6
| | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
* | Merge remote-tracking branch 'origin/eddie/write_xaiger_improve' into xaig_dffEddie Hung2019-11-271-9/+0
|\|
| * Remove notesEddie Hung2019-11-261-9/+0
| |
* | Merge branch 'xaig_dff' of github.com:YosysHQ/yosys into xaig_dffEddie Hung2019-11-231-7/+7
|\ \
| * \ Merge remote-tracking branch 'origin/xaig_dff' into eddie/xaig_dff_adffEddie Hung2019-11-211-2/+7
| |\ \
* | | | Add testcase for signal used as part input part outputEddie Hung2019-11-221-0/+5
| | | |
* | | | Missing endmoduleEddie Hung2019-11-221-0/+1
| | | |
* | | | Merge branch 'eddie/xaig_dff_adff' into xaig_dffEddie Hung2019-11-211-3/+14
|\| | |
| * | | Add two testsEddie Hung2019-11-191-0/+12
| | |/ | |/|
* | | Add testEddie Hung2019-11-211-1/+6
| |/ |/|
* | Add multi clock testEddie Hung2019-11-201-0/+5
|/
* Use `command -v` rather than `which`Emily2019-09-031-1/+1
|
* Nicer formattingEddie Hung2019-08-291-1/+7
|
* Add *.sv to tests/simple_abc9/.gitignoreClifford Wolf2019-08-191-0/+1
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Speed up "make test" and related cleanupsClifford Wolf2019-08-171-1/+2
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add tests/simple_abc9/.gitignoreClifford Wolf2019-07-091-0/+3
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Fix issue with part of PI being 1'bxEddie Hung2019-06-201-0/+5
|
* Add a couple more testsEddie Hung2019-06-121-0/+12
|
* Rename to #23Eddie Hung2019-05-291-3/+3
|
* Add abc_test024Eddie Hung2019-05-291-6/+19
|
* Add abc9_test022Eddie Hung2019-05-281-0/+22
|
* Remove topo sort no-loop assertion, with testEddie Hung2019-04-243-1/+76
|
* Fix abc9 with (* keep *) wiresEddie Hung2019-04-231-0/+38
|
* Select to find union of both sets on stackEddie Hung2019-04-191-1/+1
|
* Re-enable partsel.v testEddie Hung2019-04-161-1/+0
|
* Uncomment out more testsEddie Hung2019-02-261-25/+39
|
* Enable two inout testsEddie Hung2019-02-261-16/+14
|
* Add broken testcasesEddie Hung2019-02-251-0/+46
|
* Working simple_abc9 testsEddie Hung2019-02-211-2/+2
|
* Add abc9.v testcase to simple_abc9Eddie Hung2019-02-211-4/+46
|
* simple_abc9 tests to now preserve memoriesEddie Hung2019-02-201-1/+1
|
* Move tests/techmap/abc9 to simple_abc9Eddie Hung2019-02-201-0/+6
|
* Add tests/simple_abc9Eddie Hung2019-02-201-0/+23