Recomienda este artículo a tus amigos:
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits - ACM Distinguished Dissertation David L. Dill
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits - ACM Distinguished Dissertation
David L. Dill
Speed-independent circuits offer a potential solution to the timing problems of VLSI. In this book David Dill develops and implements a theory for practical automatic verification of these control circuits.
181 pages, Ill.
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 17 de marzo de 2003 |
| ISBN13 | 9780262541572 |
| Editores | MIT Press Ltd |
| Páginas | 181 |
| Dimensiones | 216 × 279 × 25 mm · 430 g |
| Lengua | Inglés |