Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits Gilbert H Herdt For blacks and whites alike

For blacks and whites alike

Emma Stenström

This Atlas offers a driver's seat-perspective for a test-drive of the future

preparing their first articles for submission to professional journals

run to 7-Eleven

Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits Gilbert H Herdt For blacks and whites alikeAuthor 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