| Commit message (Expand) | Author | Age | Files | Lines |
... | |
* | 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 |
* | xilinx: use specify blocks in place of abc9_{arrival,required} | Eddie Hung | 2020-02-27 | 1 | -158/+264 |
* | Auto-generate .box/.lut files from specify blocks | Eddie Hung | 2020-02-27 | 1 | -40/+117 |
* | abc9_ops: assert on $specify2 properties | Eddie Hung | 2020-02-27 | 1 | -0/+3 |
* | abc9_ops: -prep_box, to be called once | Eddie Hung | 2020-02-27 | 1 | -44/+42 |
* | abc9_ops: -prep_lut and -write_lut to auto-generate LUT library | Eddie Hung | 2020-02-27 | 1 | -3/+82 |
* | Closes #1714. Fix make failure when NDEBUG=1. | Alberto Gonzalez | 2020-02-22 | 1 | -2/+0 |
* | Revert "abc9: fix abc9_arrival for flops" | Eddie Hung | 2020-02-14 | 1 | -31/+2 |
* | abc9: fix abc9_arrival for flops | Eddie Hung | 2020-02-13 | 1 | -2/+31 |
* | abc9: deprecate abc9_ff.init wire for (* abc9_init *) attr | Eddie Hung | 2020-02-13 | 1 | -13/+2 |
* | abc9_ops: -reintegrate to use derived_type for box_ports | Eddie Hung | 2020-02-05 | 1 | -1/+1 |
* | abc9_ops: -check for negative arrival/required times | Eddie Hung | 2020-01-27 | 1 | -4/+22 |
* | Merge branch 'eddie/abc9_refactor' into eddie/abc9_required | Eddie Hung | 2020-01-27 | 1 | -75/+105 |
|\ |
|
| * | abc9_ops: add comments | Eddie Hung | 2020-01-27 | 1 | -1/+13 |
| * | abc9: -reintegrate recover type from existing cell, check against boxid | Eddie Hung | 2020-01-23 | 1 | -30/+19 |
| * | abc9_ops: -prep_xaiger to skip (* keep *) cells | Eddie Hung | 2020-01-23 | 1 | -0/+2 |
| * | abc9_ops -prep_dff: insert async s/r mux in holes when replacing $_DFF_* | Eddie Hung | 2020-01-23 | 1 | -31/+37 |
| * | Merge remote-tracking branch 'origin/eddie/abc9_fixes' into eddie/abc9_refactor | Eddie Hung | 2020-01-22 | 1 | -0/+2 |
* | | abc9_ops: -write_box is empty, output a dummy box to prevent ABC error | Eddie Hung | 2020-01-15 | 1 | -0/+3 |
* | | abc9_ops: cope with (* abc9_flop *) in place of (* abc9_box_id *) | Eddie Hung | 2020-01-14 | 1 | -2/+2 |
* | | abc9_ops: -check to check abc9_{arrival,required} | Eddie Hung | 2020-01-14 | 1 | -3/+30 |
* | | abc9_ops: implement a requireds_cache | Eddie Hung | 2020-01-14 | 1 | -26/+34 |
* | | abc9_ops: generate flop box ids, add abc9_required to FD* cells | Eddie Hung | 2020-01-14 | 1 | -65/+56 |
* | | Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_req... | Eddie Hung | 2020-01-14 | 1 | -9/+0 |
|\| |
|
| * | abc9_ops: -reintegrate to not trim box padding anymore | Eddie Hung | 2020-01-14 | 1 | -9/+0 |
* | | abc9_ops: fix -reintegrate handling of $__ABC9_DELAY | Eddie Hung | 2020-01-14 | 1 | -2/+3 |
* | | abc9_ops: -prep_times -> -prep_delays; add doc | Eddie Hung | 2020-01-14 | 1 | -8/+20 |
* | | abc9_ops: cleanup | Eddie Hung | 2020-01-14 | 1 | -14/+5 |
* | | abc9_ops: discard $__ABC9_DELAY boxes | Eddie Hung | 2020-01-14 | 1 | -7/+2 |
* | | Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_req... | Eddie Hung | 2020-01-14 | 1 | -167/+121 |
|\| |
|
| * | abc9_ops/write_xaiger: update doc | Eddie Hung | 2020-01-14 | 1 | -0/+13 |
| * | abc9_ops: -prep_holes -> -prep_xaiger, move padding to write_xaiger | Eddie Hung | 2020-01-14 | 1 | -102/+71 |
| * | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor | Eddie Hung | 2020-01-14 | 1 | -3/+3 |
| * | abc9_ops: -break_scc -> -mark_scc using (* keep *), remove -unbreak_scc | Eddie Hung | 2020-01-13 | 1 | -41/+18 |