Items related to Trace Theory for Automatic Hierarchical Verification...
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits (ACM Distinguished Dissertations) - Softcover
Synopsis
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 increasing complexity of VLSI circuits. Speed-independent circuits offer a way around such phenomena as clock skew, which can be a serious obstacle in the design of large systems. They can expedite circuit design by reducing design time and simplifying the overall process. A major challenge to the successful utilization of speed-independent circuits is correctness. The verification method described here insures that a design is correct and because it can be automated it is a significant advantage over manual verification. Dill proposes two distinct theories - prefix-closed trace structures, which can model and specify safety properties, and complete trace structures, which can also deal with liveness and fairness properties.
Trace Theory for Automatic Hierarchical Verification of Speed Independent Circuits is a 1988 ACM Distinguished Dissertation
"synopsis" may belong to another edition of this title.
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.
"About this title" may belong to another edition of this title.
- PublisherMIT Press
- Publication date2003
- ISBN 10 0262541572
- ISBN 13 9780262541572
- BindingPaperback
- LanguageEnglish
- Number of pages163
Search results for Trace Theory for Automatic Hierarchical Verification...
Stock Image
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits (ACM Distinguished Dissertations)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Feb2215580084751
Quantity: Over 20 available
Stock Image
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
Print on DemandSeller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9780262541572
Quantity: 15 available
Stock Image
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
Print on DemandSeller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9780262541572
Quantity: 15 available
Stock Image
Trace Theory For Automatic Hierarchical Verification Of Speed-IndependentCircuits
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 181. Seller Inventory # 2697024030
Quantity: 4 available
Stock Image
Trace Theory For Automatic Hierarchical Verification Of Speed-IndependentCircuits
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand pp. 181. Seller Inventory # 96454593
Quantity: 4 available
Stock Image
Trace Theory For Automatic Hierarchical Verification Of Speed-IndependentCircuits
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 181. Seller Inventory # 1897024020
Quantity: 4 available
Stock Image
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits (ACM Distinguished Dissertation)
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 180 pages. 10.80x8.30x0.50 inches. In Stock. Seller Inventory # x-0262541572
Quantity: 2 available
Seller Image
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
Print on DemandSeller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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. Seller Inventory # 9780262541572
Quantity: 1 available
Seller Image
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
Print on DemandSeller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. KlappentextSpeed-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. Seller Inventory # 543288732
Quantity: Over 20 available