7 commits

Author	SHA1	Message	Date
Eddie Hung	12c692f6ed	Revert "Merge pull request #1280 from YosysHQ/revert-1266-eddie/ice40_full_adder" ... This reverts commit c851dc1310, reversing changes made to f54bf1631f.	2019-08-12 12:06:45 -07:00
David Shah	f9020ce2b3	Revert "Wrap SB_LUT+SB_CARRY into $__ICE40_CARRY_WRAPPER"	2019-08-10 17:14:48 +01:00
Eddie Hung	d5e8c0e6d3	Remove ice40_unlut call, simply do equiv_opt on synth_ice40	2019-08-07 21:33:56 -07:00
whitequark	7ff5a9db2d	equiv_opt: pass -D EQUIV when techmapping. ... This allows avoiding techmap crashes e.g. because of large memories in white-box cell models.	2018-12-07 17:20:34 +00:00
whitequark	c38ea9ae65	equiv_opt: new command, for verifying optimization passes.	2018-12-07 17:20:34 +00:00
whitequark	45cb6200af	opt_lut: add -dlogic, to avoid disturbing logic such as carry chains.	2018-12-05 16:30:37 +00:00
whitequark	9e072ec21f	opt_lut: new pass, to combine LUTs for tighter packing.	2018-12-05 16:30:37 +00:00