Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Merge pull request #1661 from YosysHQ/eddie/abc9_required | Eddie Hung | 2020-02-05 | 3 | -77/+383 | |
|\ | | | | | abc9: add support for required times | |||||
| * | 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 | 3 | -79/+120 | |
| |\ | ||||||
| * | | abc9_ops: -write_box is empty, output a dummy box to prevent ABC error | Eddie Hung | 2020-01-15 | 2 | -2/+4 | |
| | | | ||||||
| * | | 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 Hung | 2020-01-14 | 1 | -9/+0 | |
| |\ \ | | | | | | | | | | | | | eddie/abc9_required | |||||
| * | | | 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 | 2 | -11/+23 | |
| | | | | ||||||
| * | | | 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 Hung | 2020-01-14 | 3 | -241/+258 | |
| |\ \ \ | | | | | | | | | | | | | | | | eddie/abc9_required | |||||
| * \ \ \ | Merge remote-tracking branch 'origin/eddie/abc9_refactor' into ↵ | Eddie Hung | 2020-01-12 | 3 | -131/+121 | |
| |\ \ \ \ | | | | | | | | | | | | | | | | | | | eddie/abc9_required | |||||
| * | | | | | log_debug() for abc9_{arrival,required} times | Eddie Hung | 2020-01-10 | 1 | -1/+7 | |
| | | | | | | ||||||
| * | | | | | abc9_ops -prep_times: generate flop boxes from abc9_required attr | Eddie Hung | 2020-01-10 | 1 | -17/+67 | |
| | | | | | | ||||||
| * | | | | | abc9_ops -prep_times: update comment | Eddie Hung | 2020-01-10 | 1 | -3/+4 | |
| | | | | | | ||||||
| * | | | | | Add abc9_ops -check, -prep_times, -write_box for required times | Eddie Hung | 2020-01-10 | 2 | -75/+251 | |
| | | | | | | ||||||
| * | | | | | abc9_exe: -box to not require -lut | Eddie Hung | 2020-01-09 | 1 | -9/+4 | |
| | | | | | | ||||||
* | | | | | | abc9: restore ability to use ABCEXTERNAL | Gabriel Somlo | 2020-01-30 | 1 | -0/+1 | |
| | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Gabriel Somlo <gsomlo@gmail.com> | |||||
* | | | | | | Merge pull request #1573 from YosysHQ/eddie/xilinx_tristate | N. Engelhardt | 2020-01-28 | 1 | -1/+5 | |
|\ \ \ \ \ \ | |_|_|_|_|/ |/| | | | | | synth_xilinx: error out if tristate without '-iopad' | |||||
| * | | | | | tribuf: set scratchpad boolean 'tribuf.added_something' | Eddie Hung | 2019-12-12 | 1 | -1/+5 | |
| | | | | | | ||||||
* | | | | | | 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: warning message if no modules selected | Eddie Hung | 2020-01-23 | 1 | -0/+6 | |
| | | | | | | ||||||
* | | | | | | 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 | |
| | | | | | | ||||||
* | | | | | | alumacc: undo accidental commit | Eddie Hung | 2020-01-22 | 1 | -14/+5 | |
| | | | | | | ||||||
* | | | | | | Merge remote-tracking branch 'origin/eddie/abc9_fixes' into eddie/abc9_refactor | Eddie Hung | 2020-01-22 | 2 | -4/+6 | |
|\ \ \ \ \ \ | ||||||
| * | | | | | | abc9: error out if flip-flop init is 1'b1 for '-dff' | Eddie Hung | 2020-01-22 | 1 | -0/+2 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | Due to ABC sequential synthesis restriction | |||||
| * | | | | | | abc9: fix scratchpad entry abc9.verify | Eddie Hung | 2020-01-22 | 1 | -4/+4 | |
| | | | | | | | ||||||
* | | | | | | | abc9: add some log_{push,pop}() as per @nakengelhardt | Eddie Hung | 2020-01-17 | 2 | -5/+19 | |
| |_|_|_|_|/ |/| | | | | | ||||||
* | | | | | | abc9_ops: -reintegrate to not trim box padding anymore | Eddie Hung | 2020-01-14 | 1 | -9/+0 | |
| |_|_|_|/ |/| | | | | ||||||
* | | | | | 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 | 2 | -104/+73 | |
| | | | | | ||||||
* | | | | | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor | Eddie Hung | 2020-01-14 | 1 | -3/+3 | |
|\| | | | | ||||||
| * | | | | read_aiger: make $and/$not/$lut the prefix not suffix | Eddie Hung | 2020-01-13 | 1 | -4/+4 | |
| | | | | | ||||||
* | | | | | abc9_ops: -break_scc -> -mark_scc using (* keep *), remove -unbreak_scc | Eddie Hung | 2020-01-13 | 2 | -46/+20 | |
| | | | | | ||||||
* | | | | | abc9_ops: ignore inouts of all cell outputs for topo ordering | Eddie Hung | 2020-01-13 | 1 | -2/+6 | |
| | | | | | ||||||
* | | | | | abc9: break SCC by setting (* keep *) on output wires | Eddie Hung | 2020-01-13 | 2 | -26/+5 | |
| | | | | | ||||||
* | | | | | abc9: add -run option | Eddie Hung | 2020-01-13 | 1 | -1/+14 | |
| | | | | | ||||||
* | | | | | abc9: respect (* keep *) on cells | Eddie Hung | 2020-01-13 | 1 | -0/+2 | |
| | | | | | ||||||
* | | | | | abc9: log which module is being operated on | Eddie Hung | 2020-01-13 | 2 | -5/+3 | |
| | | | | | ||||||
* | | | | | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor | Eddie Hung | 2020-01-13 | 2 | -70/+120 | |
|\| | | | | |_|_|/ |/| | | | ||||||
| * | | | MIssed this merge conflict | Eddie Hung | 2020-01-11 | 1 | -4/+0 | |
| | | | | ||||||
| * | | | Merge remote-tracking branch 'origin/master' into eddie/abc9_scratchpad | Eddie Hung | 2020-01-11 | 1 | -12/+4 | |
| |\ \ \ | ||||||
| * | | | | abc9: fix help message, found by @nakengelhardt | Eddie Hung | 2020-01-11 | 1 | -2/+2 | |
| | | | | | ||||||
| * | | | | Copy-pasta | Eddie Hung | 2020-01-10 | 1 | -1/+1 | |
| | | | | | ||||||
| * | | | | abc9: add abc9.verify and abc9.debug options | Eddie Hung | 2020-01-10 | 1 | -1/+13 | |
| | | | | |