yosys/passes/opt
Marcelina Kościelnicka 98c7804b89 opt_ffinv: Use ModIndex instead of ModWalker.
This avoids using out-of-data index information.
2022-05-17 02:52:21 +02:00
..
Makefile.inc Add opt_ffinv pass. 2022-05-13 23:02:30 +02:00
muxpack.cc
opt.cc opt_merge: Add `-keepdc` option required for formal verification 2022-04-01 21:03:20 +02:00
opt_clean.cc
opt_demorgan.cc
opt_dff.cc opt_dff: Fix behavior on $ff with D == Q. 2022-04-15 22:00:32 +02:00
opt_expr.cc
opt_ffinv.cc opt_ffinv: Use ModIndex instead of ModWalker. 2022-05-17 02:52:21 +02:00
opt_lut.cc
opt_lut_ins.cc
opt_mem.cc opt_mem: Remove constant-value bit lanes. 2022-05-07 23:13:16 +02:00
opt_mem_feedback.cc
opt_mem_priority.cc
opt_mem_widen.cc
opt_merge.cc opt_merge: Add `-keepdc` option required for formal verification 2022-04-01 21:03:20 +02:00
opt_muxtree.cc
opt_reduce.cc opt_reduce: Add $bmux and $demux optimization patterns. 2022-01-30 03:37:52 +01:00
opt_share.cc
pmux2shiftx.cc
rmports.cc
share.cc
wreduce.cc