Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits

by David L. Dill

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... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 0262541572
• ISBN13: 9780262541572
• Release Date: March 2003
• Publisher: MIT Press
• Length: 163 Pages
• Weight: 0.95 lbs.
• Dimensions: 0.6" x 8.3" x 10.8"
• Age Range: 18 years and up
• Grade Range: Postsecondary and higher