aboutsummaryrefslogtreecommitdiffstats
path: root/passes/techmap/abc9.cc
Commit message (Collapse)AuthorAgeFilesLines
* abc9: make re-entrant (#2993)Eddie Hung2021-09-091-1/+6
| | | | | | | | | * Add testcase * Cleanup some state at end of abc9 * Re-assign abc9_box_id from scratch * Suppress delete unless prep_bypass did something
* Fixing old e-mail addresses and deadnamesClaire Xenia Wolf2021-06-081-1/+1
| | | | | | | | s/((Claire|Xen|Xenia|Clifford)\s+)+(Wolf|Xen)\s+<(claire|clifford)@(symbioticeda.com|clifford.at|yosyshq.com)>/Claire Xenia Wolf <claire@yosyshq.com>/gi; s/((Nina|Nak|N\.)\s+)+Engelhardt\s+<nak@(symbioticeda.com|yosyshq.com)>/N. Engelhardt <nak@yosyshq.com>/gi; s/((David)\s+)+Shah\s+<(dave|david)@(symbioticeda.com|yosyshq.com|ds0.me)>/David Shah <dave@ds0.me>/gi; s/((Miodrag)\s+)+Milanovic\s+<(miodrag|micko)@(symbioticeda.com|yosyshq.com)>/Miodrag Milanovic <micko@yosyshq.com>/gi; s,https?://www.clifford.at/yosys/,http://yosyshq.net/yosys/,g;
* abc9: fix SCC issues (#2694)Eddie Hung2021-03-291-6/+11
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * 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
* scc: Add -specify option to find loops in boxesDan Ravensloft2021-01-261-1/+1
|
* Replace opt_rmdff with opt_dff.Marcelina Kościelnicka2020-08-071-1/+1
|
* abc9: only techmap (* abc9_flop *) modulesEddie Hung2020-07-041-1/+1
|
* abc9: techmap from user design to allow abc9_flop modules to be composedEddie Hung2020-07-041-1/+1
| | | | from other primitives
* Use C++11 final/override keywords.whitequark2020-06-181-5/+5
|
* abc9: update to =_$abc9_flops pattern which includes whiteboxesEddie Hung2020-05-141-3/+3
|
* abc9: only do +/abc9_map if `DFFEddie Hung2020-05-141-1/+4
|
* abc9: rework submod -- since it won't move (* keep *) cellsEddie Hung2020-05-141-3/+4
|
* abc9: put 'aigmap' backEddie Hung2020-05-141-0/+1
|
* abc9_ops: tidy up, suppress error if no boxes/holesEddie Hung2020-05-141-18/+18
|
* abc9_ops: cleanup; -prep_dff -> -prep_dff_submodEddie Hung2020-05-141-3/+3
|
* abc9_ops: add -prep_bypass for auto bypass boxes; refactorEddie Hung2020-05-141-31/+33
| | | | | Eliminate need for abc9_{,un}map.v in xilinx -prep_dff_{hier,unmap} -> -prep_hier
* abc9: add flop boxes to basic $_DFF_P_ and $_DFF_N_ tooEddie Hung2020-05-141-9/+10
|
* abc9: remove redundant wbflipEddie Hung2020-05-141-1/+0
|
* abc9: generate $abc9_holes design instead of <name>$holesEddie Hung2020-05-141-7/+11
|
* abc9: suppress warnings when no compatible + used flop boxes formedEddie Hung2020-05-141-25/+36
|
* abc9: cleanupEddie Hung2020-05-141-7/+11
|
* abc9_ops: do away with '$abc9_cells' selectionEddie Hung2020-05-141-1/+0
|
* abc9_ops: use new 'design -delete' and 'select -unset'Eddie Hung2020-05-141-15/+5
|
* abc9: cleanupEddie Hung2020-05-141-4/+1
|
* abc9_ops: add 'dff' label for auto handling of (* abc9_flop *) boxesEddie Hung2020-05-141-14/+75
|
* abc9: fix behaviour and help for -box optionEddie Hung2020-05-141-3/+7
|
* Support custom PROGRAM_PREFIXMiodrag Milanovic2020-04-101-2/+2
|
* kernel: big fat patch to use more ID::*, otherwise ID(*)Eddie Hung2020-04-021-1/+1
|
* Add ScriptPass::run_nocheck and use for abc9David Shah2020-03-091-7/+7
| | | | Signed-off-by: David Shah <dave@ds0.me>
* abc9_ops: ignore (* abc9_flop *) if not '-dff'Eddie Hung2020-02-271-4/+4
|
* abc9_ops: -prep_box, to be called onceEddie Hung2020-02-271-6/+7
|
* abc9_ops: -prep_lut and -write_lut to auto-generate LUT libraryEddie Hung2020-02-271-3/+33
|
* Merge branch 'eddie/abc9_refactor' into eddie/abc9_requiredEddie Hung2020-01-271-0/+11
|\
| * abc9: warning message if no modules selectedEddie Hung2020-01-231-0/+6
| |
| * abc9: add some log_{push,pop}() as per @nakengelhardtEddie Hung2020-01-171-0/+5
| |
* | abc9_ops: -prep_times -> -prep_delays; add docEddie Hung2020-01-141-3/+3
| |
* | Merge remote-tracking branch 'origin/eddie/abc9_refactor' into ↵Eddie Hung2020-01-141-16/+82
|\| | | | | | | eddie/abc9_required
| * abc9_ops: -prep_holes -> -prep_xaiger, move padding to write_xaigerEddie Hung2020-01-141-2/+2
| |
| * abc9_ops: -break_scc -> -mark_scc using (* keep *), remove -unbreak_sccEddie Hung2020-01-131-5/+2
| |
| * abc9: break SCC by setting (* keep *) on output wiresEddie Hung2020-01-131-1/+1
| |
| * abc9: add -run optionEddie Hung2020-01-131-1/+14
| |
| * abc9: log which module is being operated onEddie Hung2020-01-131-1/+3
| |
| * Merge remote-tracking branch 'origin/master' into eddie/abc9_refactorEddie Hung2020-01-131-8/+62
| |\
| | * MIssed this merge conflictEddie Hung2020-01-111-4/+0
| | |
| | * Merge remote-tracking branch 'origin/master' into eddie/abc9_scratchpadEddie Hung2020-01-111-12/+4
| | |\
| | * | abc9: fix help message, found by @nakengelhardtEddie Hung2020-01-111-2/+2
| | | |
| | * | Copy-pastaEddie Hung2020-01-101-1/+1
| | | |
| | * | abc9: add abc9.verify and abc9.debug optionsEddie Hung2020-01-101-1/+13
| | | |
| | * | abc9: fix typosEddie Hung2020-01-101-4/+4
| | | |
| | * | Tune abc9.script.flowEddie Hung2020-01-091-6/+14
| | | |
| | * | Add '-v' to &if for abc9.script.default.fastEddie Hung2020-01-091-1/+1
| | | |
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-08 22:30:35 +0000