Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits - Dill, David L.
25,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 1-2 Wochen
payback
13 °P sammeln
  • Broschiertes Buch

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.

Andere Kunden interessierten sich auch für
Produktbeschreibung
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.
Autorenporträt
David L. Dill received his doctorate from Carnegie Mellon University and is Assistant Professor in the Computer Science Department at Stanford University.