.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Formal Methods in Computer-Aided Design
. Ed(S): Aagaard, Mark; O'Leary, John W.
€ 72.46
FREE Delivery in Ireland
Description for Formal Methods in Computer-Aided Design
Paperback. These papers are in topical sections on abstraction, symbolic simulation, model checking, microprocessor specification and verification, decision procedures, verification techniques and methodology, hardware description languages, and prototyping and synthesis. Editor(s): Aagaard, Mark; O'Leary, John W. Series: Lecture Notes in Computer Science. Num Pages: 420 pages, biography. BIC Classification: UGC. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 21. Weight in Grams: 586.
This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted to the use of mathematical methods for the analysis of digital hardware c- cuits and systems. The workreported in this bookdescribes the use of formal mathematics and associated tools to design and verify digital hardware systems. Functional veri?cation has become one of the principal costs in a modern computer design e?ort. FMCAD provides a venue for academic and industrial researchers and practitioners to share their ideas and experiences of using - screte mathematical modeling and veri?cation. Over the ... Read more
This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted to the use of mathematical methods for the analysis of digital hardware c- cuits and systems. The workreported in this bookdescribes the use of formal mathematics and associated tools to design and verify digital hardware systems. Functional veri?cation has become one of the principal costs in a modern computer design e?ort. FMCAD provides a venue for academic and industrial researchers and practitioners to share their ideas and experiences of using - screte mathematical modeling and veri?cation. Over the ... Read more
Product Details
Format
Paperback
Publication date
2002
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
420
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
408
Place of Publication
Berlin, Germany
ISBN
9783540001164
SKU
V9783540001164
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Formal Methods in Computer-Aided Design