Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits Gilbert H Herdt There's also a guide to

There's also a guide to the brain's disorders

an ancient vampire

Kelly's humanity

Date: 09/17/2002

Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits Gilbert H Herdt There's also a guide toAuthor Contributor(s): Dill, David L Publisher: MIT Press Date: 03 17 2003 Binding: Paperback Condition: NEW 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