Equivalence checking of digital circuits
de Paul Molitor
Materias
Ediciones (2)
- Equivalence Checking of Digital Circuits (2010)
Springer · ISBN 9781441954237
- Equivalence checking of digital circuits (2004)
Kluwer Academic Publishers · inglés · ISBN 9781402026034
