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
..
.gitignore	opt_lut: new pass, to combine LUTs for tighter packing.	2018-12-05 16:30:37 +00:00
opt_expr_cmp.v	opt_expr: improve simplification of comparisons with large constants.	2019-01-02 15:45:28 +00:00
opt_expr_cmp.ys	opt_expr: simplify any unsigned comparisons with all-0 and all-1.	2019-01-02 02:45:49 +00:00
opt_ff.v	Fix WREDUCE on FF not fixing ARST_VALUE parameter.	2019-02-22 10:30:42 -08:00
opt_ff.ys	Fix WREDUCE on FF not fixing ARST_VALUE parameter.	2019-02-22 10:30:42 -08:00
opt_ff_sat.v	Optimizing DFFs whose initial value prevents their value from changing	2019-05-28 08:48:21 +02:00
opt_ff_sat.ys	Optimizing DFFs whose initial value prevents their value from changing	2019-05-28 08:48:21 +02:00
opt_lut.v	opt_lut: new pass, to combine LUTs for tighter packing.	2018-12-05 16:30:37 +00:00
opt_lut.ys	equiv_opt: pass -D EQUIV when techmapping.	2018-12-07 17:20:34 +00:00
opt_lut_elim.il	opt_lut: eliminate LUTs evaluating to constants or inputs.	2018-12-31 23:55:40 +00:00
opt_lut_elim.ys	opt_lut: eliminate LUTs evaluating to constants or inputs.	2018-12-31 23:55:40 +00:00
opt_lut_port.il	opt_lut: leave intact LUTs with cascade feeding module outputs.	2018-12-07 17:13:52 +00:00
opt_lut_port.ys	opt_lut: eliminate LUTs evaluating to constants or inputs.	2018-12-31 23:55:40 +00:00
run-test.sh	opt_lut: new pass, to combine LUTs for tighter packing.	2018-12-05 16:30:37 +00:00