Conte aos seus amigos sobre este item:
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.
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 17 de março de 2003 |
| ISBN13 | 9780262541572 |
| Editoras | MIT Press Ltd |
| Páginas | 181 |
| Dimensões | 216 × 279 × 25 mm · 430 g |
| Idioma | Inglês |