V. Stavridou. Cambridge Tracts in Theoretical Computer Science Cambridge University Press, (1993)
Abstract
The rapid growth in the VLSI market has meant that manufacturers are under pressure 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. 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 analyzes 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 book can be used by students and teachers for courses in hardware verification, by hardware designers seeking an introduction to formal methods, and by researchers interested in algebraic specification.
%0 Book
%1 citeulike:14176945
%A Stavridou, Victoria
%B Cambridge Tracts in Theoretical Computer Science
%D 1993
%I Cambridge University Press
%K 03b70-logic-in-computer-science 68-01-computer-science-instructional-exposition 68m99-computer-system-organization 68q60-specification-and-verification 68q70-algebraic-theory-of-languages-and-automata 68t15-artificial-intelligence-theorem-proving 78a55-optics-electromagnetic-theory-technical-applications 94c05-analytic-circuit-theory
%T Formal Methods in Circuit Design
%U http://www.worldcat.org/isbn/0521443369
%V 37
%X The rapid growth in the VLSI market has meant that manufacturers are under pressure 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. 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 analyzes 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 book can be used by students and teachers for courses in hardware verification, by hardware designers seeking an introduction to formal methods, and by researchers interested in algebraic specification.
%@ 0521443369
@book{citeulike:14176945,
abstract = {The rapid growth in the VLSI market has meant that manufacturers are under pressure 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. 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 analyzes 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 book can be used by students and teachers for courses in hardware verification, by hardware designers seeking an introduction to formal methods, and by researchers interested in algebraic specification.},
added-at = {2017-06-29T07:13:07.000+0200},
author = {Stavridou, Victoria},
biburl = {https://www.bibsonomy.org/bibtex/2dccedd8e9069762869367c7464b9ca39/gdmcbain},
citeulike-article-id = {14176945},
citeulike-linkout-0 = {http://www.worldcat.org/isbn/0521443369},
citeulike-linkout-1 = {http://books.google.com/books?vid=ISBN0521443369},
citeulike-linkout-2 = {http://www.amazon.com/gp/search?keywords=0521443369\&index=books\&linkCode=qs},
citeulike-linkout-3 = {http://www.librarything.com/isbn/0521443369},
citeulike-linkout-4 = {http://www.worldcat.org/oclc/30034774},
comment = {(private-note)Holdings: pers. (U. Syd. Chancellor's Committee's book fair, 2016-09-10, \$3)},
interhash = {0729203c74e32432d67fc97ba19b1197},
intrahash = {dccedd8e9069762869367c7464b9ca39},
isbn = {0521443369},
keywords = {03b70-logic-in-computer-science 68-01-computer-science-instructional-exposition 68m99-computer-system-organization 68q60-specification-and-verification 68q70-algebraic-theory-of-languages-and-automata 68t15-artificial-intelligence-theorem-proving 78a55-optics-electromagnetic-theory-technical-applications 94c05-analytic-circuit-theory},
posted-at = {2016-11-04 00:53:35},
priority = {2},
publisher = {Cambridge University Press},
series = {Cambridge Tracts in Theoretical Computer Science},
timestamp = {2022-06-22T01:39:00.000+0200},
title = {Formal Methods in Circuit Design},
url = {http://www.worldcat.org/isbn/0521443369},
volume = 37,
year = 1993
}