opt_demorgan - Optimize reductions with DeMorgan equivalents#
- yosys> help opt_demorgan#
opt_demorgan [selection]
This pass pushes inverters through $reduce_* cells if this will reduce the overall gate count of the circuit
Back to top