aboutsummaryrefslogtreecommitdiffstats
path: root/tests/opt/opt_lut.ys
Commit message (Collapse)AuthorAgeFilesLines
* Revert "Merge pull request #1280 from ↵Eddie Hung2019-08-121-3/+1
| | | | | | | YosysHQ/revert-1266-eddie/ice40_full_adder" This reverts commit c851dc13108021834533094a8a3236da6d9e0161, reversing changes made to f54bf1631ff37a83733c162e6ebd188c1d5ea18f.
* Revert "Wrap SB_LUT+SB_CARRY into $__ICE40_CARRY_WRAPPER"David Shah2019-08-101-1/+3
|
* Remove ice40_unlut call, simply do equiv_opt on synth_ice40Eddie Hung2019-08-071-3/+1
|
* equiv_opt: pass -D EQUIV when techmapping.whitequark2018-12-071-1/+1
| | | | | This allows avoiding techmap crashes e.g. because of large memories in white-box cell models.
* equiv_opt: new command, for verifying optimization passes.whitequark2018-12-071-12/+1
|
* 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-051-0/+15