Equivalence checking of digital circuitsde Paul MolitorMateriasDigital electronicsTestingEdiciones (1)Equivalence Checking of Digital Circuits (2004)Springer · inglés · ISBN 9781402077258Más obras de Paul MolitorDatenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer SchaltungenEinführung in den VLSI-EntwurfEquivalence checking of digital circuits
