aboutsummaryrefslogtreecommitdiffstats
path: root/tests/simple_abc9/run-test.sh
Commit message (Collapse)AuthorAgeFilesLines
* abc9: fix SCC issues (#2694)Eddie Hung2021-03-291-4/+8
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * 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-011-0/+18
| | | | | | | 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-141-1/+1
|
* Update simple_abc9 testsEddie Hung2020-02-271-2/+2
|
* simple_abc9 tests to discard whitebox before write for simEddie Hung2020-01-231-1/+2
|
* abc9 needs a clean afterwardsEddie Hung2019-12-161-2/+4
|
* Use `command -v` rather than `which`Emily2019-09-031-1/+1
|
* Nicer formattingEddie Hung2019-08-291-1/+7
|
* Speed up "make test" and related cleanupsClifford Wolf2019-08-171-1/+2
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Remove topo sort no-loop assertion, with testEddie Hung2019-04-241-1/+1
|
* Select to find union of both sets on stackEddie Hung2019-04-191-1/+1
|
* Re-enable partsel.v testEddie Hung2019-04-161-1/+0
|
* Working simple_abc9 testsEddie Hung2019-02-211-2/+2
|
* simple_abc9 tests to now preserve memoriesEddie Hung2019-02-201-1/+1
|
* Add tests/simple_abc9Eddie Hung2019-02-201-0/+23