Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | abc9: fix SCC issues (#2694) | Eddie Hung | 2021-03-29 | 1 | -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 suite | Zachary Snow | 2021-03-01 | 1 | -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 auto | Eddie Hung | 2020-05-14 | 1 | -1/+1 |
| | |||||
* | Update simple_abc9 tests | Eddie Hung | 2020-02-27 | 1 | -2/+2 |
| | |||||
* | simple_abc9 tests to discard whitebox before write for sim | Eddie Hung | 2020-01-23 | 1 | -1/+2 |
| | |||||
* | abc9 needs a clean afterwards | Eddie Hung | 2019-12-16 | 1 | -2/+4 |
| | |||||
* | Use `command -v` rather than `which` | Emily | 2019-09-03 | 1 | -1/+1 |
| | |||||
* | Nicer formatting | Eddie Hung | 2019-08-29 | 1 | -1/+7 |
| | |||||
* | Speed up "make test" and related cleanups | Clifford Wolf | 2019-08-17 | 1 | -1/+2 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | Remove topo sort no-loop assertion, with test | Eddie Hung | 2019-04-24 | 1 | -1/+1 |
| | |||||
* | Select to find union of both sets on stack | Eddie Hung | 2019-04-19 | 1 | -1/+1 |
| | |||||
* | Re-enable partsel.v test | Eddie Hung | 2019-04-16 | 1 | -1/+0 |
| | |||||
* | Working simple_abc9 tests | Eddie Hung | 2019-02-21 | 1 | -2/+2 |
| | |||||
* | simple_abc9 tests to now preserve memories | Eddie Hung | 2019-02-20 | 1 | -1/+1 |
| | |||||
* | Add tests/simple_abc9 | Eddie Hung | 2019-02-20 | 1 | -0/+23 |