Items related to Formal Methods in Circuit Design (Cambridge Tracts...
Formal Methods in Circuit Design (Cambridge Tracts in Theoretical Computer Science, Series Number 37) - Hardcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
Review
"...can be read casually by hardware engineers interested in getting an introduction to hardware verification, and understanding the issues influencing its transition to practice. It is also useful as a supplementary text for an undergraduate or a graduate course in hardware verification." M.K. Srivas, The Computer Journal
Book Description
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.
"About this title" may belong to another edition of this title.
Search results for Formal Methods in Circuit Design (Cambridge Tracts...
Seller Image
Formal Methods in Circuit Design (Cambridge Tracts in Theoretical Computer Science, Series Number 37)
Published by
Cambridge University Press, 1993
ISBN 10: 0521443369
ISBN 13: 9780521443364
Used
Hardcover
Seller: -OnTimeBooks-, Phoenix, AZ, U.S.A.
Seller rating 5 out of 5 stars
Condition: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail. Seller Inventory # OTV.0521443369.G