| Commit message (Expand) | Author | Age | Files | Lines |
| * | abc9_ops: update comment | Eddie Hung | 2020-05-21 | 1 | -1/+1 |
| * | abc9: use (* abc9_keep *) instead of (* abc9_scc *); apply to $_DFF_?_ | Eddie Hung | 2020-05-14 | 1 | -3/+3 |
| * | abc9_ops: -prep_hier to create unmap module that removes Q's (* init *) | Eddie Hung | 2020-05-14 | 1 | -4/+6 |
| * | abc9: preserve $_DFF_?_.Q's (* init *); rely on clean to remove it | Eddie Hung | 2020-05-14 | 1 | -17/+1 |
| * | Fix broken test when ignoring abc9_flop with init == 1'b1 | Eddie Hung | 2020-05-14 | 1 | -3/+0 |
| * | abc9_ops/xaiger: further reducing Module::derive() calls by ... | Eddie Hung | 2020-05-14 | 1 | -88/+84 |
| * | Cleanup; reduce Module::derive() calls | Eddie Hung | 2020-05-14 | 1 | -131/+140 |
| * | abc9_ops: update docs | Eddie Hung | 2020-05-14 | 1 | -11/+10 |
| * | abc9: rework submod -- since it won't move (* keep *) cells | Eddie Hung | 2020-05-14 | 1 | -31/+25 |
| * | abc9_ops: move assert | Eddie Hung | 2020-05-14 | 1 | -1/+1 |
| * | abc9_ops: fix bypass boxes using (* abc9_bypass *) | Eddie Hung | 2020-05-14 | 1 | -12/+9 |
| * | abc9_ops: -prep_delays to not insert delay box if input connection is const | Eddie Hung | 2020-05-14 | 1 | -0/+2 |
| * | abc9_ops: cleanup; -prep_dff -> -prep_dff_submod | Eddie Hung | 2020-05-14 | 1 | -19/+11 |
| * | abc9_ops: add -prep_bypass for auto bypass boxes; refactor | Eddie Hung | 2020-05-14 | 1 | -142/+476 |
| * | abc9_ops: -reintegrate to handle $_FF_; cleanup | Eddie Hung | 2020-05-14 | 1 | -22/+18 |
| * | abc9: restore selected_modules() | Eddie Hung | 2020-05-14 | 1 | -1/+1 |
| * | abc9: add flop boxes to basic $_DFF_P_ and $_DFF_N_ too | Eddie Hung | 2020-05-14 | 1 | -10/+16 |
| * | abc9_ops: -prep_dff_map to error if async flop found | Eddie Hung | 2020-05-14 | 1 | -5/+7 |
| * | abc9: generate $abc9_holes design instead of <name>$holes | Eddie Hung | 2020-05-14 | 1 | -8/+8 |
| * | abc9_ops: more robust | Eddie Hung | 2020-05-14 | 1 | -8/+14 |
| * | abc9: suppress warnings when no compatible + used flop boxes formed | Eddie Hung | 2020-05-14 | 1 | -12/+27 |
| * | abc9_ops: -prep_dff_map to check $_DFF_[NP]_.Q drives module output | Eddie Hung | 2020-05-14 | 1 | -1/+5 |
| * | abc9_ops: do away with '$abc9_cells' selection | Eddie Hung | 2020-05-14 | 1 | -39/+30 |
| * | abc9_ops: use new 'design -delete' and 'select -unset' | Eddie Hung | 2020-05-14 | 1 | -1/+2 |
| * | abc9_ops: -prep_dff_map to warn if no specify cells | Eddie Hung | 2020-05-14 | 1 | -7/+12 |
| * | abc9_ops: -prep_dff_map to cope with plain $_DFF_[NP]_ flops | Eddie Hung | 2020-05-14 | 1 | -12/+39 |
| * | abc9_ops: do not use (* abc9_init *) | Eddie Hung | 2020-05-14 | 1 | -16/+31 |
| * | abc9_ops: add 'dff' label for auto handling of (* abc9_flop *) boxes | Eddie Hung | 2020-05-14 | 1 | -243/+315 |
| * | abc9_ops: -reintegrate to be sensitive to start_offset too | Eddie Hung | 2020-05-02 | 1 | -3/+5 |
| * | abc9: -prep_lut to be more robust | Eddie Hung | 2020-04-20 | 1 | -16/+33 |
| * | abc9_ops: Add a check ensuring that connected port actually exists. | Marcelina KoĆcielnicka | 2020-04-15 | 1 | -0/+3 |
| * | kernel: big fat patch to use more ID::*, otherwise ID(*) | Eddie Hung | 2020-04-02 | 1 | -53/+53 |
| * | abc9: for sccs, create a new wire instead of using entirety of existing | Eddie Hung | 2020-03-06 | 1 | -7/+7 |
| * | abc9: (* keep *) wires to be PO only, not PI as well; fix scc handling | Eddie Hung | 2020-03-06 | 1 | -8/+5 |
| * | Fixes for older compilers | Eddie Hung | 2020-02-27 | 1 | -1/+1 |
| * | abc9_ops: suppress -prep_box warning for abc9_flop | Eddie Hung | 2020-02-27 | 1 | -1/+1 |
| * | Make TimingInfo::TimingInfo(SigBit) constructor explicit | Eddie Hung | 2020-02-27 | 1 | -3/+3 |
| * | TimingInfo: index by (port_name,offset) | Eddie Hung | 2020-02-27 | 1 | -3/+4 |
| * | Fix spacing | Eddie Hung | 2020-02-27 | 1 | -18/+18 |
| * | abc9_ops: still emit delay table even box has no timing | Eddie Hung | 2020-02-27 | 1 | -3/+1 |
| * | abc9_ops: demote lack of box timing info to warning | Eddie Hung | 2020-02-27 | 1 | -2/+4 |
| * | Get rid of (* abc9_{arrival,required} *) entirely | Eddie Hung | 2020-02-27 | 1 | -89/+15 |
| * | abc9_ops: use TimingInfo for -prep_{lut,box} too | Eddie Hung | 2020-02-27 | 1 | -24/+18 |
| * | abc9_ops: use TimingInfo for -prep_{lut,box} too | Eddie Hung | 2020-02-27 | 1 | -72/+53 |
| * | abc9_ops: add and use new TimingInfo struct | Eddie Hung | 2020-02-27 | 1 | -70/+41 |
| * | abc9_ops: ignore (* abc9_flop *) if not '-dff' | Eddie Hung | 2020-02-27 | 1 | -60/+60 |
| * | abc9_ops: sort LUT delays to be ascending | Eddie Hung | 2020-02-27 | 1 | -1/+4 |
| * | abc9_ops: output LUT area | Eddie Hung | 2020-02-27 | 1 | -6/+6 |
| * | abc9_ops: cope with T_LIMIT{,2}_{MIN,TYP,MAX} and auto-gen small LUTs | Eddie Hung | 2020-02-27 | 1 | -18/+33 |
| * | xilinx: improve specify functionality | Eddie Hung | 2020-02-27 | 1 | -19/+19 |