6 commits

Author	SHA1	Message	Date
Clifford Wolf	2a681909df	Merge pull request #724 from whitequark/equiv_opt ... equiv_opt: new command, for verifying optimization passes	2018-12-16 15:54:26 +01: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	7ec740b7ad	opt_lut: leave intact LUTs with cascade feeding module outputs.	2018-12-07 17:13:52 +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