Category: Electricity

View Categories / Technology / Electricity

Sort

Showing 1-3 of 3

Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits (ACM Distinguished Dissertation)

By: Dill, David L.

Price: $2.95

Publisher: The MIT Press: 1989-09-07

Seller ID: M0262041014Z3

ISBN: 0262041014

Condition: Good

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 increasin...
View More...