Symbolic Minimization of Multilevel Logic and the Input Encoding Problem

Sharad Malik, Luciano Lavagno, Robert K. Brayton, Alberto Sangiovanni-Vincentelli

Research output: Contribution to journalArticlepeer-review

17 Scopus citations

Fingerprint

Dive into the research topics of 'Symbolic Minimization of Multilevel Logic and the Input Encoding Problem'. Together they form a unique fingerprint.

Keyphrases

Engineering