Trace Theory for Automatic Hierarchical Verification of Speed - Independent Circuit

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.

About the author

David L. Dill received his doctorate from Carnegie Mellon University and is Assistant Professor in the Computer Science Department at Stanford University.

Summary

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.

Product details

• Authors: David L. Dill
• Publisher: The MIT Press
• Languages: English
• Product format: Paperback / Softback
• Released: 17.03.2003
• EAN: 9780262541572
• ISBN: 978-0-262-54157-2
• No. of pages: 181
• Series: ACM Distinguished Dissertation; Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits; ACM Distinguished Dissertation
• Subjects: Guides; Natural sciences, medicine, IT, technology > IT, data processing > General, dictionaries