Filter by
Found 1 from your keywords: subject="Sequential machine th...
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Cir…
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 relat…
- Edition
- -
- ISBN/ISSN
- 9780262256025
- Collation
- 1 online resource (163 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography