Filter by
Found 1 from your keywords: subject="Switching circuits."
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…
- شامل کریں
- -
- آئی ایس بی این/آئی ایس ایس این
- 9780262256025
- Collation
- 1 online resource (163 pages) :illustrations.
- سلسلہ عنوان
- -
- حوالہ نمبر
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
زبان 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography