Category: Electricity

View Categories / Technology / Electricity

Sort

Showing 1-2 of 2

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...

The Mackenzie Pipeline (Volume 3)

By: Pearse, Peter H.

Price: $16.61

Publisher: McGill-Queen's University Press: 1974-01-15

Seller ID: M077109907XZ3

ISBN: 077109907X

Condition: Good

$0.00 (0 Items)

Category: Electricity

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

The Mackenzie Pipeline (Volume 3)