| Commit message (Expand) | Author | Age | Files | Lines |
* | read_aiger: set abc9_box_seq attr | Eddie Hung | 2020-01-24 | 1 | -0/+1 |
* | abc9: -reintegrate recover type from existing cell, check against boxid | Eddie Hung | 2020-01-23 | 1 | -30/+19 |
* | simple_abc9 tests to discard whitebox before write for sim | Eddie Hung | 2020-01-23 | 2 | -2/+3 |
* | abc9: warning message if no modules selected | Eddie Hung | 2020-01-23 | 1 | -0/+6 |
* | Test for (* keep *)-ed abc9_box_id | Eddie Hung | 2020-01-23 | 1 | -0/+16 |
* | abc9_ops: -prep_xaiger to skip (* keep *) cells | Eddie Hung | 2020-01-23 | 1 | -0/+2 |
* | abc_box_id -> abc9_box_id in test | Eddie Hung | 2020-01-23 | 1 | -1/+1 |
* | 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 |
* | Fix $__ABC9_ASYNC1 to output 1'b1 not 1'b0 | Eddie Hung | 2020-01-22 | 1 | -1/+1 |
* | read_aiger: also parse abc9_mergeability | Eddie Hung | 2020-01-22 | 2 | -2/+6 |
* | 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 |
| * | abc9: fix scratchpad entry abc9.verify | Eddie Hung | 2020-01-22 | 1 | -4/+4 |
* | | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor | Eddie Hung | 2020-01-21 | 16 | -156/+365 |
|\| |
|
| * | Merge pull request #1637 from YosysHQ/mwk/fix-1634 | Claire Wolf | 2020-01-21 | 1 | -9/+17 |
| |\ |
|
| | * | fsm_detect: Add a cache to avoid excessive CPU usage for big mux networks. | Marcin Kościelnicki | 2020-01-14 | 1 | -9/+17 |
| * | | Merge pull request #1629 from YosysHQ/mwk/edif-z | Claire Wolf | 2020-01-21 | 1 | -0/+2 |
| |\ \ |
|
| | * | | edif: Just ignore connections to 'z | Marcin Kościelnicki | 2020-01-13 | 1 | -0/+2 |
| * | | | Merge pull request #1621 from YosysHQ/clifford/fminit | Claire Wolf | 2020-01-20 | 2 | -0/+198 |
| |\ \ \ |
|
| | * | | | Add fminit pass | Clifford Wolf | 2020-01-09 | 2 | -0/+198 |
| * | | | | Merge pull request #1643 from YosysHQ/eddie/cleanup_arith_map | Eddie Hung | 2020-01-18 | 2 | -125/+88 |
| |\ \ \ \ |
|
| | * | | | | Deprecate `_CLB_CARRY from +/xilinx/arith_map.v since #1623 | Eddie Hung | 2020-01-17 | 2 | -119/+82 |
| | * | | | | +/xilinx/arith_map.v fix $lcu rule | Eddie Hung | 2020-01-17 | 1 | -6/+6 |
| * | | | | | Merge pull request #1602 from niklasnisbeth/ice40-init-vals-warning | David Shah | 2020-01-18 | 1 | -2/+8 |
| |\ \ \ \ \ |
|
| | * | | | | | ice40: Demote conflicting FF init values to a warning | Niklas Nisbeth | 2019-12-31 | 1 | -2/+8 |
| * | | | | | | Merge pull request #1645 from YosysHQ/eddie/fix1644 | Eddie Hung | 2020-01-17 | 9 | -20/+52 |
| |\ \ \ \ \ \
| | |_|/ / / /
| |/| | | | | |
|
| | * | | | | | xilinx_dsp: another typo; move xilinx specific test | Eddie Hung | 2020-01-17 | 2 | -1/+1 |
| | * | | | | | ice40_dsp: fix typo | Eddie Hung | 2020-01-17 | 2 | -2/+13 |
| | * | | | | | Consistency | Eddie Hung | 2020-01-17 | 2 | -4/+6 |
| | * | | | | | xilinx_dsp: add parameter defaults | Eddie Hung | 2020-01-17 | 1 | -7/+7 |
| | * | | | | | Add #1644 testcase | Eddie Hung | 2020-01-17 | 2 | -0/+2 |
| | * | | | | | synth_ice40: call wreduce before mul2dsp | Eddie Hung | 2020-01-17 | 1 | -1/+2 |
| | * | | | | | ice40_dsp: add test | Eddie Hung | 2020-01-17 | 1 | -0/+11 |
| | * | | | | | ice40_dsp: add default values for parameters | Eddie Hung | 2020-01-17 | 2 | -11/+11 |
| | * | | | | | ice40_dsp: tolerant of fanout-less outputs, as well as all-zero inputs | Eddie Hung | 2020-01-17 | 1 | -0/+5 |
| |/ / / / / |
|
* | | | | | | read_aiger: discard LUT inputs with nodeID == 0; not < 2 | Eddie Hung | 2020-01-21 | 1 | -1/+1 |
* | | | | | | read_aiger: ignore constant inputs on LUTs | Eddie Hung | 2020-01-21 | 1 | -3/+7 |
* | | | | | | write_xaiger: fix for (* keep *) on flop output | Eddie Hung | 2020-01-21 | 2 | -3/+18 |
* | | | | | | abc9: add some log_{push,pop}() as per @nakengelhardt | Eddie Hung | 2020-01-17 | 2 | -5/+19 |
* | | | | | | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor | Eddie Hung | 2020-01-15 | 3 | -3/+16 |
|\| | | | | |
|
| * | | | | | Merge pull request #1639 from YosysHQ/eddie/fix_read_xaiger | Eddie Hung | 2020-01-15 | 2 | -2/+14 |
| |\ \ \ \ \ |
|
| | * | | | | | abc9: aAdd test to check $_NOT_s are absorbed | Eddie Hung | 2020-01-15 | 1 | -0/+12 |
| | * | | | | | read_aiger: $lut prefix in front | Eddie Hung | 2020-01-15 | 1 | -2/+2 |
| * | | | | | | Merge pull request #1636 from YosysHQ/eddie/fix_synth_xilinx_W | Miodrag Milanović | 2020-01-15 | 1 | -1/+1 |
| |\ \ \ \ \ \
| | |/ / / / /
| |/| | | | | |
|
| | * | | | | | synth_xilinx: fix default W value for non-xc7 | Eddie Hung | 2020-01-14 | 1 | -1/+1 |
* | | | | | | | write_xaiger: skip abc9_flop only if abc_box_seq present | Eddie Hung | 2020-01-15 | 1 | -1/+2 |
* | | | | | | | write_xaiger: do not export flop inputs as POs | Eddie Hung | 2020-01-14 | 1 | -2/+6 |
* | | | | | | | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor | Eddie Hung | 2020-01-14 | 1 | -25/+13 |
|\| | | | | | |
|
| * | | | | | | Merge pull request #1635 from YosysHQ/eddie/print_stats | Eddie Hung | 2020-01-14 | 1 | -25/+13 |
| |\ \ \ \ \ \
| | |_|_|_|_|/
| |/| | | | | |
|