Various XMG optimization algorithms
Header: mockturtle/algorithms/xmg_optimization.hpp
-
inline xmg_network mockturtle::xmg_dont_cares_optimization(xmg_network const &xmg)
Optimizes some MAJ gates using satisfiability don’t cares.
The function is based on
xag_dont_cares_optimization
inxag_optimization.hpp
.If a MAJ gate is satisfiability don’t care for assignments 000 and 111, it can be replaced by an XNOR gate.