The Resource Formal hardware verification : methods and systems in comparison, Thomas Kropf, ed
Formal hardware verification : methods and systems in comparison, Thomas Kropf, ed
Resource Information
The item Formal hardware verification : methods and systems in comparison, Thomas Kropf, ed represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 1 library branch.
Resource Information
The item Formal hardware verification : methods and systems in comparison, Thomas Kropf, ed represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 1 library branch.
- Summary
- 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
- Language
- eng
- Extent
- 1 online resource (xii, 367 pages)
- Contents
-
- 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
- Isbn
- 9783540695776
- Label
- Formal hardware verification : methods and systems in comparison
- Title
- Formal hardware verification
- Title remainder
- methods and systems in comparison
- Statement of responsibility
- Thomas Kropf, ed
- Subject
-
- Formal methods (Computer science)
- Formal methods (Computer science)
- Formal methods (Computer science)
- Integrated circuits -- Verification
- Integrated circuits -- Verification
- Integrated circuits -- Verification
- Integrated circuits -- Very large scale integration | Computer-aided design
- Integrated circuits -- Very large scale integration | Computer-aided design
- Integrated circuits -- Very large scale integration | Computer-aided design
- Language
- eng
- Summary
- 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
- Cataloging source
- SCPER
- Dewey number
- 621.39/5
- Illustrations
- illustrations
- Index
- no index present
- LC call number
- TK7874.75
- LC item number
- .F67 1997
- Literary form
- non fiction
- Nature of contents
-
- dictionaries
- bibliography
- http://library.link/vocab/relatedWorkOrContributorDate
- 1961-
- http://library.link/vocab/relatedWorkOrContributorName
- Kropf, Thomas
- Series statement
- Lecture notes in computer science,
- Series volume
- 1287
- http://library.link/vocab/subjectName
-
- Integrated circuits
- Integrated circuits
- Formal methods (Computer science)
- Formal methods (Computer science)
- Integrated circuits
- Integrated circuits
- Label
- Formal hardware verification : methods and systems in comparison, Thomas Kropf, ed
- Bibliography note
- Includes bibliographical references (pages 349-367)
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
- 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
- Control code
- 321316745
- Dimensions
- unknown
- Extent
- 1 online resource (xii, 367 pages)
- Form of item
- online
- Isbn
- 9783540695776
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other control number
- 10.1007/3-540-63475-4
- Other physical details
- illustrations.
- Sound
- unknown sound
- Specific material designation
- remote
- System control number
- (OCoLC)321316745
- Label
- Formal hardware verification : methods and systems in comparison, Thomas Kropf, ed
- Bibliography note
- Includes bibliographical references (pages 349-367)
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
- 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
- Control code
- 321316745
- Dimensions
- unknown
- Extent
- 1 online resource (xii, 367 pages)
- Form of item
- online
- Isbn
- 9783540695776
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other control number
- 10.1007/3-540-63475-4
- Other physical details
- illustrations.
- Sound
- unknown sound
- Specific material designation
- remote
- System control number
- (OCoLC)321316745
Subject
- Formal methods (Computer science)
- Formal methods (Computer science)
- Formal methods (Computer science)
- Integrated circuits -- Verification
- Integrated circuits -- Verification
- Integrated circuits -- Verification
- Integrated circuits -- Very large scale integration | Computer-aided design
- Integrated circuits -- Very large scale integration | Computer-aided design
- Integrated circuits -- Very large scale integration | Computer-aided design
Member of
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Formal-hardware-verification--methods-and/4Ukf51hF05I/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Formal-hardware-verification--methods-and/4Ukf51hF05I/">Formal hardware verification : methods and systems in comparison, Thomas Kropf, ed</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item Formal hardware verification : methods and systems in comparison, Thomas Kropf, ed
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Formal-hardware-verification--methods-and/4Ukf51hF05I/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Formal-hardware-verification--methods-and/4Ukf51hF05I/">Formal hardware verification : methods and systems in comparison, Thomas Kropf, ed</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
