The rapid growth in the VLSI market has meant that manufacturers are under pressure rapidly to deliver increasingly complex, reliable and cost effective products; dependability is becoming more and more important as computers become an integral part of safety critical systems. So, formal techniques that have been used in software verification have migrated into the hardware domain, where for a variety of reasons, they have been in some respects more successful. This book analyses the factors behind this success and ...
Read More
The rapid growth in the VLSI market has meant that manufacturers are under pressure rapidly to deliver increasingly complex, reliable and cost effective products; dependability is becoming more and more important as computers become an integral part of safety critical systems. So, formal techniques that have been used in software verification have migrated into the hardware domain, where for a variety of reasons, they have been in some respects more successful. This book analyses the factors behind this success and formulates a set of criteria against which various approaches to hardware verification may be judged. This involves identifying the hardware requirements and the issues affecting the industrial use of formal methods. Dr Stavridou also provides an overall perspective of the field, supplies case studies of various formalisms and finally describes an algebraic approach to the specification and verification of synchronous digital systems. This unique account can be used for students and teachers for courses in hardware verification, hardware designers seeking an introduction to formal methods, and researchers interested in algebraic specification.
Read Less
Add this copy of Formal Methods in Circuit Design to cart. $30.75, very good condition, Sold by Marsarbooks rated 5.0 out of 5 stars, ships from Cambridge, UNITED KINGDOM, published 1993 by Cambridge University Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very Good. No dust jacket, as issued. Excellent as new condition. Has small mark on title page, otherwise perfect. Cambridge tracts in theoretical computer science; 37. Unknown printing. (hardback) xiii, 193 p. : ill. ; 26 cm. Includes bibliographical references (p. 171-190) and index.
Add this copy of Formal Methods in Circuit Design to cart. $100.36, new condition, Sold by Media Smart rated 4.0 out of 5 stars, ships from Hawthorne, CA, UNITED STATES, published 1993 by Cambridge University Press CUP.
