abc9: fix SCC issues (#2694)
authorEddie Hung <eddie@fpgeh.com>
Tue, 30 Mar 2021 05:01:57 +0000 (22:01 -0700)
committerGitHub <noreply@github.com>
Tue, 30 Mar 2021 05:01:57 +0000 (22:01 -0700)
commit55dc5a4e4f7335741d2155dc0183ed4e26e8ddf8
treeab4ab932ea29088baafcf3c71d6c5854403528d6
parent687f381b6985d9dda7e11535628e2fafff267af5
abc9: fix SCC issues (#2694)

* 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
CODEOWNERS
backends/aiger/xaiger.cc
passes/techmap/abc9.cc
passes/techmap/abc9_ops.cc
techlibs/common/abc9_model.v
techlibs/common/abc9_unmap.v
tests/simple_abc9/abc9.box [deleted file]
tests/simple_abc9/abc9.v
tests/simple_abc9/run-test.sh