Matches in Harvard for { <http://id.lib.harvard.edu/aleph/007717443/catalog> ?p ?o. }
Showing items 1 to 29 of
29
with 100 items per page.
- catalog abstract "This state-of-the-art monograph presents a coherent survey of a variety of methods and systems for formal hardware verification. It emphasizes the presentation of approaches that have matured into tools and systems usable for the actual verification of nontrivial circuits. All in all, the book is a representative and well-structured survey on the success and future potential of formal methods in proving the correctness of circuits. The various chapters describe the respective approaches supplying theoretical foundations as well as taking into account the application viewpoint. By applying all methods and systems presented to the same set of IFIP WG10.5 hardware verification examples, a valuable and fair analysis of the strenghts and weaknesses of the various approaches is given.".
- catalog contributor b10669986.
- catalog created "c1997.".
- catalog date "1997".
- catalog date "c1997.".
- catalog dateCopyrighted "c1997.".
- catalog description "Includes bibliographical references (p. [349]-367).".
- catalog description "Symbolic trajectory evaluation / Scott Hazelhurst and Carl-Johan H. Seger -- Verification with abstract state machines using MDGs / E. Cerny [and others] -- Design verification using synchronized transitions / Jørgen Staunstrup -- Hardware verification using PVS / Mandayam Srivas, Harald Ruess, and David Cyrluk -- Verifying VHDL designs with COSPAN / Kathi Fisler and Robert P. Kurshan -- The C@S system / Klaus Schneider and Thomas Kropf -- Appendix : the common book examples / Thomas Kropf.".
- catalog description "This state-of-the-art monograph presents a coherent survey of a variety of methods and systems for formal hardware verification. It emphasizes the presentation of approaches that have matured into tools and systems usable for the actual verification of nontrivial circuits. All in all, the book is a representative and well-structured survey on the success and future potential of formal methods in proving the correctness of circuits. The various chapters describe the respective approaches supplying theoretical foundations as well as taking into account the application viewpoint. By applying all methods and systems presented to the same set of IFIP WG10.5 hardware verification examples, a valuable and fair analysis of the strenghts and weaknesses of the various approaches is given.".
- catalog extent "xii, 367 p. :".
- catalog identifier "3540634754 (Berlin : softcover : acid-free paper)".
- catalog isPartOf "Lecture notes in computer science, 0302-9743 ; 1287".
- catalog issued "1997".
- catalog issued "c1997.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog subject "621.39/5 21".
- catalog subject "Computer hardware.".
- catalog subject "Computer science.".
- catalog subject "Computer-aided design.".
- catalog subject "Formal methods (Computer science)".
- catalog subject "Integrated circuits Verification.".
- catalog subject "Integrated circuits Very large scale integration Computer-aided design.".
- catalog subject "Integrated circuits Very large scale integration Design and construction Data processing.".
- catalog subject "Logic design.".
- catalog subject "TK7874.75 .F67 1997".
- catalog tableOfContents "Symbolic trajectory evaluation / Scott Hazelhurst and Carl-Johan H. Seger -- Verification with abstract state machines using MDGs / E. Cerny [and others] -- Design verification using synchronized transitions / Jørgen Staunstrup -- Hardware verification using PVS / Mandayam Srivas, Harald Ruess, and David Cyrluk -- Verifying VHDL designs with COSPAN / Kathi Fisler and Robert P. Kurshan -- The C@S system / Klaus Schneider and Thomas Kropf -- Appendix : the common book examples / Thomas Kropf.".
- catalog title "Formal hardware verification : methods and systems in comparison / Thomas Kropf, ed.".
- catalog type "text".