aboutsummaryrefslogtreecommitdiffstats
path: root/techlibs/common/abc9_model.v
Commit message (Collapse)AuthorAgeFilesLines
* abc9: fix SCC issues (#2694)Eddie Hung2021-03-291-0/+4
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * 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
* abc9_ops/xaiger: further reducing Module::derive() calls by ...Eddie Hung2020-05-141-4/+2
| | | | replacing _all_ (* abc9_box *) instantiations with their derived types
* Cleanup; reduce Module::derive() callsEddie Hung2020-05-141-3/+3
|
* abc9: add flop boxes to basic $_DFF_P_ and $_DFF_N_ tooEddie Hung2020-05-141-0/+20
|
* abc9_ops: add 'dff' label for auto handling of (* abc9_flop *) boxesEddie Hung2020-05-141-3/+0
|
* Create +/abc9_model.v for $__ABC9_{DELAY,FF_}Eddie Hung2020-02-271-0/+10
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-07 04:26:46 +0000