Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits - ACM Distinguished Dissertation - David L. Dill - Books - MIT Press Ltd - 9780262541572 - March 17, 2003
In case cover and title do not match, the title is correct

Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits - ACM Distinguished Dissertation

David L. Dill

Price
元 260
excl. VAT

Ordered from remote warehouse

Expected delivery Aug 11 - 21

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits - ACM Distinguished Dissertation

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.

181 pages, Ill.

Media Books     Paperback Book   (Book with soft cover and glued back)
Released March 17, 2003
ISBN13 9780262541572
Publishers MIT Press Ltd
Pages 181
Dimensions 216 × 279 × 25 mm   ·   430 g
Language English  

See all of David L. Dill ( e.g. Paperback Book )