
Equivalence checking of digital circuits
fundamentals, principles, methods
Edición de la obra Equivalence checking of digital circuits
| Autor | Paul Molitor |
|---|---|
| Editorial | Kluwer Academic Publishers |
| Fecha de publicación | 2004 |
| Lugar | Boston |
| Idioma | inglés |
| Páginas | 262 |
| Formato | [electronic resource] : |
| ISBN-13 | 9781402026034 |
| ISBN-10 | 140202603X |
| OCLC | 56498616 |
| Número de Cutter |