Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | | | | | | | | | | | | | | | | | | Add abc9_ops -prep_dff | Eddie Hung | 2019-12-30 | 3 | -39/+50 | |
| | | | | | | | | | | | | | | | | | | | ||||||
| * | | | | | | | | | | | | | | | | | | Restore count_outputs, move process check to abc | Eddie Hung | 2019-12-30 | 2 | -11/+13 | |
| | | | | | | | | | | | | | | | | | | | ||||||
| * | | | | | | | | | | | | | | | | | | Fix struct name | Eddie Hung | 2019-12-30 | 1 | -3/+3 | |
| | | | | | | | | | | | | | | | | | | | ||||||
| * | | | | | | | | | | | | | | | | | | Merge remote-tracking branch 'origin/xaig_dff' into eddie/abc9_refactor | Eddie Hung | 2019-12-30 | 18 | -751/+1411 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor | Eddie Hung | 2019-12-30 | 29 | -121/+196 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| * | | | | | | | | | | | | | | | | | | | | abc9_techmap -> _map; called from abc9 script pass along with abc9_ops | Eddie Hung | 2019-12-28 | 4 | -130/+406 | |
| | | | | | | | | | | | | | | | | | | | | | ||||||
| * | | | | | | | | | | | | | | | | | | | | Rename abc9.cc -> abc9_techmap.cc | Eddie Hung | 2019-12-28 | 2 | -5/+6 | |
| | | | | | | | | | | | | | | | | | | | | | ||||||
* | | | | | | | | | | | | | | | | | | | | | Merge pull request #1656 from YosysHQ/eddie/ice40_abc9_warnings | Eddie Hung | 2020-01-27 | 6 | -32/+26 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | ice40: reduce ABC9 internal fanout warnings with a param for CI->I3 | |||||
| * | | | | | | | | | | | | | | | | | | | | | ice40: reduce ABC9 internal fanout warnings with a param for CI->I3 | Eddie Hung | 2020-01-24 | 6 | -32/+26 | |
| | | | | | | | | | | | | | | | | | | | | | | ||||||
* | | | | | | | | | | | | | | | | | | | | | | Merge pull request #1658 from YosysHQ/clifford/smtbmcsolvernotfound | Claire Wolf | 2020-01-27 | 1 | -1/+5 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Improve yosys-smtbmc "solver not found" handling | |||||
| * | | | | | | | | | | | | | | | | | | | | | | Improve yosys-smtbmc "solver not found" handling | Claire Wolf | 2020-01-27 | 1 | -1/+5 | |
|/ / / / / / / / / / / / / / / / / / / / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Claire Wolf <clifford@clifford.at> | |||||
* | | | | | | | | | | | | | | | | | | | | | | Merge pull request #1613 from porglezomp-misc/version-flag-alias | Claire Wolf | 2020-01-27 | 1 | -0/+6 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Add --version and -version as aliases for -V | |||||
| * | | | | | | | | | | | | | | | | | | | | | | Add --version and -version as aliases for -V | Cassie Jones | 2020-01-05 | 1 | -0/+6 | |
| | |_|_|_|_|_|/ / / / / / / / / / / / / / / | |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The flag --version is commonly accepted by command line tools. The code for the version flags added here matches the pattern used for the help flag aliases, for consistency. Fixes #1612 | |||||
* | | | | | | | | | | | | | | | | | | | | | | ice40: add SB_SPRAM256KA arrival time | Eddie Hung | 2020-01-24 | 1 | -0/+1 | |
| | | | | | | | | | | | | | | | | | | | | | | ||||||
* | | | | | | | | | | | | | | | | | | | | | | simple_abc9 tests to discard whitebox before write for sim | Eddie Hung | 2020-01-23 | 2 | -2/+3 | |
| | | | | | | | | | | | | | | | | | | | | | | ||||||
* | | | | | | | | | | | | | | | | | | | | | | abc_box_id -> abc9_box_id in test | Eddie Hung | 2020-01-23 | 1 | -1/+1 | |
| | | | | | | | | | | | | | | | | | | | | | | ||||||
* | | | | | | | | | | | | | | | | | | | | | | Fix $__ABC9_ASYNC1 to output 1'b1 not 1'b0 | Eddie Hung | 2020-01-23 | 1 | -1/+1 | |
| |/ / / / / / / / / / / / / / / / / / / / |/| | | | | | | | | | | | | | | | | | | | | ||||||
* | | | | | | | | | | | | | | | | | | | | | Merge pull request #1652 from YosysHQ/eddie/abc9_fixes | Eddie Hung | 2020-01-22 | 1 | -4/+6 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|/ / |/| | | | | | | | | | | | | | | | | | | / | | |_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|/ | |/| | | | | | | | | | | | | | | | | | | Eddie/abc9 fixes | |||||
| * | | | | | | | | | | | | | | | | | | | 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 | |
|/ / / / / / / / / / / / / / / / / / / | ||||||
* | | | | | | | | | | | | | | | | | | | 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. | |||||
| * | | | | | | | | | | | | | | | | | | | fsm_detect: Add a cache to avoid excessive CPU usage for big mux networks. | Marcin Kościelnicki | 2020-01-14 | 1 | -9/+17 | |
| | |_|_|_|_|_|_|_|_|_|_|_|_|_|_|/ / / | |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Fixes #1634. | |||||
* | | | | | | | | | | | | | | | | | | | Merge pull request #1629 from YosysHQ/mwk/edif-z | Claire Wolf | 2020-01-21 | 1 | -0/+2 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | edif: Just ignore connections to 'z | |||||
| * | | | | | | | | | | | | | | | | | | | edif: Just ignore connections to 'z | Marcin Kościelnicki | 2020-01-13 | 1 | -0/+2 | |
| | |_|_|_|_|_|_|_|_|_|_|_|_|_|/ / / / | |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Connecting a const 'z to a net should be equivalent to not connecting it at all, so let's just ignore such connections on output. | |||||
* | | | | | | | | | | | | | | | | | | | Merge pull request #1621 from YosysHQ/clifford/fminit | Claire Wolf | 2020-01-20 | 2 | -0/+198 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Add fminit pass | |||||
| * | | | | | | | | | | | | | | | | | | | Add fminit pass | Clifford Wolf | 2020-01-09 | 2 | -0/+198 | |
| | |_|_|_|_|_|_|_|_|_|_|_|_|/ / / / / | |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | | | | | | | | | | | | | | | | | | | Merge pull request #1643 from YosysHQ/eddie/cleanup_arith_map | Eddie Hung | 2020-01-18 | 2 | -125/+88 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Cleanup +/xilinx/arith_map.v | |||||
| * | | | | | | | | | | | | | | | | | | | 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 | |||||
| * | | | | | | | | | | | | | | | | | | | 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 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |_|/ / / / / / / / / / / / / / / / / |/| | | | | | | | | | | | | | | | | | | {ice40,xilinx}_dsp: improve robustess | |||||
| * | | | | | | | | | | | | | | | | | | 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 | |
|/ / / / / / / / / / / / / / / / / / | ||||||
* | | | | | | | | | | | | | | | | | | Merge pull request #1639 from YosysHQ/eddie/fix_read_xaiger | Eddie Hung | 2020-01-15 | 2 | -2/+14 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | read_aiger: $lut prefix in front | |||||
| * | | | | | | | | | | | | | | | | | | 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 | |||||
| * | | | | | | | | | | | | | | | | | synth_xilinx: fix default W value for non-xc7 | Eddie Hung | 2020-01-14 | 1 | -1/+1 | |
| | |_|_|_|_|_|_|_|_|_|_|_|_|_|_|/ | |/| | | | | | | | | | | | | | | | ||||||
* | | | | | | | | | | | | | | | | | Merge pull request #1635 from YosysHQ/eddie/print_stats | Eddie Hung | 2020-01-14 | 1 | -25/+13 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |_|_|_|_|/ / / / / / / / / / / / |/| | | | | | | | | | | | | | | | | print_stats footer to return peak memory, option for including children | |||||
| * | | | | | | | | | | | | | | | | As before, only display MEM if Linux or FreeBSD | Eddie Hung | 2020-01-14 | 1 | -3/+7 | |
| | | | | | | | | | | | | | | | | | ||||||
| * | | | | | | | | | | | | | | | | print_stats footer to return peak memory, option for including children | Eddie Hung | 2020-01-14 | 1 | -28/+12 | |
| |/ / / / / / / / / / / / / / / | ||||||
* | | | | | | | | | | | | | | | | Merge pull request #1633 from YosysHQ/eddie/fix_autoname | Eddie Hung | 2020-01-14 | 2 | -1/+20 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | autoname: do not rename ports |