Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
David L. Dill
Broschiertes Buch

Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits

Versandkostenfrei!
Versandfertig in 1-2 Wochen
24,99 €
inkl. MwSt.
PAYBACK Punkte
12 °P sammeln!
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. He describes a formal model of circuit operation, defines the proper relationship between an implementation and its specification, and constructs a computer program that can check this relationship. Asynchronous or speed-independent circuit design has gained renewed interest in the VLSI community because of the possibilities it provides for dealing with problems that arise with the increasi...