2 Commits

Author	SHA1	Message	Date
Clifford Wolf	2454ad99bf	Refactor "opt_rmdff -sat" ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2019-06-20 13:44:21 +02:00
Bogdan Vukobratovic	9a468f81c4	Optimizing DFFs whose initial value prevents their value from changing ... This is a proof of concept implementation that invokes SAT solver via Pass::call method.	2019-05-28 08:48:21 +02:00