aboutsummaryrefslogtreecommitdiffstats
path: root/tests/opt
Commit message (Expand)AuthorAgeFilesLines
...
| | * Reimplement opt_share to work on $alu and $pmuxBogdan Vukobratovic2019-07-2820-17/+295
| | * Implement opt_shareBogdan Vukobratovic2019-07-264-0/+53
| * | Revert "Merge pull request #1280 from YosysHQ/revert-1266-eddie/ice40_full_ad...Eddie Hung2019-08-128-28/+301
|/ /
* | Revert "Wrap SB_LUT+SB_CARRY into $__ICE40_CARRY_WRAPPER"David Shah2019-08-108-226/+28
* | Move tests/various/opt* into tests/opt/Eddie Hung2019-08-075-1/+225
* | Remove ice40_unlut call, simply do equiv_opt on synth_ice40Eddie Hung2019-08-071-3/+1
* | Remove tests/opt/opt_ff.{v,ys} as they don't seem to do anything but runEddie Hung2019-08-072-24/+0
|/
* Refactor "opt_rmdff -sat"Clifford Wolf2019-06-202-14/+12
* Optimizing DFFs whose initial value prevents their value from changingBogdan Vukobratovic2019-05-282-0/+19
* Fix WREDUCE on FF not fixing ARST_VALUE parameter.Keith Rothman2019-02-222-0/+24
* opt_expr: improve simplification of comparisons with large constants.whitequark2019-01-021-0/+18
* opt_expr: refactor simplification of unsigned X<onehot and X>=onehot. NFCI.whitequark2019-01-021-0/+5
* opt_expr: refactor simplification of signed X>=0 and X<0. NFCI.whitequark2019-01-021-8/+14
* opt_expr: simplify any unsigned comparisons with all-0 and all-1.whitequark2019-01-022-0/+15
* opt_lut: eliminate LUTs evaluating to constants or inputs.whitequark2018-12-313-0/+23
* Merge pull request #724 from whitequark/equiv_optClifford Wolf2018-12-162-15/+1
|\
| * equiv_opt: pass -D EQUIV when techmapping.whitequark2018-12-072-4/+1
| * equiv_opt: new command, for verifying optimization passes.whitequark2018-12-071-12/+1
* | opt_lut: leave intact LUTs with cascade feeding module outputs.whitequark2018-12-072-0/+20
|/
* opt_lut: add -dlogic, to avoid disturbing logic such as carry chains.whitequark2018-12-051-1/+1
* opt_lut: new pass, to combine LUTs for tighter packing.whitequark2018-12-055-0/+43