Logic Optimization of Majority-Inverter Graphs

Majority-inverter graphs (MIGs) are a multi-level logic representation of Boolean functions with remarkable algebraic and Boolean properties that enable efficient logic optimizations beyond the capabilities of conventional logic representations. In this paper, we survey two state-of-the-art logic optimization methods for MIGs: cut rewriting and cut resubstitution. Both algorithms are generic and can be applied to arbitrary graph-based logic representations. We describe them in a unified framework and show experimental results for MIG size optimization using the EPFL combinational benchmark suite.


Published in:
MBMV 2019. 22. Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen"
Presented at:
22. Workshop MBMV 2019, Kaiserslautern, Germany, April 8-9, 2019
Year:
Apr 08 2019
Publisher:
VDE Verlag
ISBN:
978-3-8007-4946-1
Additional link:
Laboratories:




 Record created 2019-09-27, last modified 2019-10-02

Fulltext:
Download fulltext
PDF

Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)