Majority-Inverter Graph: A New Paradigm for Logic Optimization