Majority-Inverter Graph: A New Paradigm for Logic Optimization

  title={Majority-Inverter Graph: A New Paradigm for Logic Optimization},
  author={Luca Gaetano Amar{\`u} and Pierre-Emmanuel Gaillardon and Giovanni De Micheli},
  journal={IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
In this paper, we propose a paradigm shift in representing and optimizing logic by using only majority (MAJ) and inversion (INV) functions as basic operations. We represent logic functions by majority-inverter graph (MIG): a directed acyclic graph consisting of three-input majority nodes and regular/complemented edges. We optimize MIGs via a new Boolean algebra, based exclusively on majority and inversion operations, that we formally axiomatize in this paper. As a complement to MIG algebraic… CONTINUE READING
Highly Cited
This paper has 31 citations. REVIEW CITATIONS