David L. Dill

Broschiertes Buch

Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits

Beschreibung

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.

Autor

David L. Dill received his doctorate from Carnegie Mellon University and is Assistant Professor in the Computer Science Department at Stanford University.

Produktdetails

• Verlag: MIT Press
• Seitenzahl: 182
• Erscheinungstermin: 17. März 2003
• Englisch
• Abmessung: 280mm x 216mm x 11mm
• Gewicht: 474g
• ISBN-13: 9780262541572
• ISBN-10: 0262541572
• Artikelnr.: 35421979