aboutsummaryrefslogtreecommitdiffstats
path: root/passes/techmap/abc9_ops.cc
Commit message (Collapse)AuthorAgeFilesLines
* abc9: make re-entrant (#2993)Eddie Hung2021-09-091-8/+3
| | | | | | | | | * Add testcase * Cleanup some state at end of abc9 * Re-assign abc9_box_id from scratch * Suppress delete unless prep_bypass did something
* abc9: holes module to instantiate cells with NEW_ID (#2992)Eddie Hung2021-09-091-1/+1
| | | | | * Add testcase * holes module to instantiate cells with NEW_ID
* abc9: replace cell type/parameters if derived type already processed (#2991)Eddie Hung2021-09-091-6/+22
| | | | | | | | | | | * Add close bracket * Add testcase * Replace cell type/param if in unmap_design * Improve abc9_box error message too * Update comment as per review
* 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;
* kernel/rtlil: Extract some helpers for checking memory cell types.Marcelina Kościelnicka2021-05-221-16/+1
| | | | | | There will soon be more (versioned) memory cells, so handle passes that only care if a cell is memory-related by a simple helper call instead of a hardcoded list.
* abc9: uniquify blackboxes like whiteboxes (#2695)Eddie Hung2021-03-291-10/+6
| | | | | | | | | * abc9_ops: uniquify blackboxes too * abc9_ops: update comment * abc9_ops: allow bypass for param-less blackboxes * Add tests
* abc9: fix SCC issues (#2694)Eddie Hung2021-03-291-22/+41
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * 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
* Replace assert in abc9_ops with more useful error messageDan Ravensloft2021-03-071-1/+9
|
* Remove YS_ATTRIBUTE(unused) where present just for log_assert()/log_debug().whitequark2020-06-191-2/+2
|
* Use C++11 final/override keywords.whitequark2020-06-181-2/+2
|
* Merge pull request #2077 from YosysHQ/eddie/abc9_dff_improveEddie Hung2020-06-041-19/+60
|\ | | | | abc9: -dff improvements
| * abc9_ops: fix commentEddie Hung2020-05-301-1/+1
| |
| * abc9_ops: update messaging (credit to @Xiretza for spotting)Eddie Hung2020-05-301-4/+4
| |
| * abc9_ops: optimise to not derive unless attribute existsEddie Hung2020-05-291-4/+8
| |
| * abc9_ops: -reintegrate use SigMap to remove (* init *) from $_DFF_[NP]_Eddie Hung2020-05-291-5/+22
| |
| * abc9_ops: -reintegrate to preserve flop namesEddie Hung2020-05-251-5/+25
| |
* | abc9_ops: -prep_xaiger exclude (* abc9_keep *) wires from toposortEddie Hung2020-05-251-2/+4
|/
* abc9_ops: update commentEddie Hung2020-05-211-1/+1
|
* abc9: use (* abc9_keep *) instead of (* abc9_scc *); apply to $_DFF_?_Eddie Hung2020-05-141-3/+3
| | | | instead of moving them to $__ prefix
* abc9_ops: -prep_hier to create unmap module that removes Q's (* init *)Eddie Hung2020-05-141-4/+6
|
* abc9: preserve $_DFF_?_.Q's (* init *); rely on clean to remove itEddie Hung2020-05-141-17/+1
|
* Fix broken test when ignoring abc9_flop with init == 1'b1Eddie Hung2020-05-141-3/+0
|
* abc9_ops/xaiger: further reducing Module::derive() calls by ...Eddie Hung2020-05-141-88/+84
| | | | replacing _all_ (* abc9_box *) instantiations with their derived types
* Cleanup; reduce Module::derive() callsEddie Hung2020-05-141-131/+140
|
* abc9_ops: update docsEddie Hung2020-05-141-11/+10
|
* abc9: rework submod -- since it won't move (* keep *) cellsEddie Hung2020-05-141-31/+25
|
* abc9_ops: move assertEddie Hung2020-05-141-1/+1
|
* abc9_ops: fix bypass boxes using (* abc9_bypass *)Eddie Hung2020-05-141-12/+9
|
* abc9_ops: -prep_delays to not insert delay box if input connection is constEddie Hung2020-05-141-0/+2
|
* abc9_ops: cleanup; -prep_dff -> -prep_dff_submodEddie Hung2020-05-141-19/+11
|
* abc9_ops: add -prep_bypass for auto bypass boxes; refactorEddie Hung2020-05-141-142/+476
| | | | | Eliminate need for abc9_{,un}map.v in xilinx -prep_dff_{hier,unmap} -> -prep_hier
* abc9_ops: -reintegrate to handle $_FF_; cleanupEddie Hung2020-05-141-22/+18
|
* abc9: restore selected_modules()Eddie Hung2020-05-141-1/+1
|
* abc9: add flop boxes to basic $_DFF_P_ and $_DFF_N_ tooEddie Hung2020-05-141-10/+16
|
* abc9_ops: -prep_dff_map to error if async flop foundEddie Hung2020-05-141-5/+7
|
* abc9: generate $abc9_holes design instead of <name>$holesEddie Hung2020-05-141-8/+8
|
* abc9_ops: more robustEddie Hung2020-05-141-8/+14
|
* abc9: suppress warnings when no compatible + used flop boxes formedEddie Hung2020-05-141-12/+27
|
* abc9_ops: -prep_dff_map to check $_DFF_[NP]_.Q drives module outputEddie Hung2020-05-141-1/+5
|
* abc9_ops: do away with '$abc9_cells' selectionEddie Hung2020-05-141-39/+30
|
* abc9_ops: use new 'design -delete' and 'select -unset'Eddie Hung2020-05-141-1/+2
|
* abc9_ops: -prep_dff_map to warn if no specify cellsEddie Hung2020-05-141-7/+12
|
* abc9_ops: -prep_dff_map to cope with plain $_DFF_[NP]_ flopsEddie Hung2020-05-141-12/+39
|
* abc9_ops: do not use (* abc9_init *)Eddie Hung2020-05-141-16/+31
|
* abc9_ops: add 'dff' label for auto handling of (* abc9_flop *) boxesEddie Hung2020-05-141-243/+315
|
* abc9_ops: -reintegrate to be sensitive to start_offset tooEddie Hung2020-05-021-3/+5
|
* abc9: -prep_lut to be more robustEddie Hung2020-04-201-16/+33
|
* abc9_ops: Add a check ensuring that connected port actually exists.Marcelina Kościelnicka2020-04-151-0/+3
|
* kernel: big fat patch to use more ID::*, otherwise ID(*)Eddie Hung2020-04-021-53/+53
|
* abc9: for sccs, create a new wire instead of using entirety of existingEddie Hung2020-03-061-7/+7
|
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-06 03:18:58 +0000