Limits of using signatures for permutation independent Boolean comparison
From MaRDI portal
Publication:698098
DOI10.1023/A:1016091418702zbMath1019.68062MaRDI QIDQ698098
Sharad Malik, Paul Molitor, Janett Mohnke
Publication date: 18 September 2002
Published in: Formal Methods in System Design (Search for Journal in Brave)
high level design toolspermutation independent Boolean comparisonreduced orderedbinary decision diagramsynthesis and verification
Related Items
This page was built for publication: Limits of using signatures for permutation independent Boolean comparison