Thomas Kropf: Formal Hardware Verification

Cover: 9783540634751 | Formal Hardware Verification | Methods and Systems in Comparison | xii

Rückseite: 9783540634751 | Formal Hardware Verification | Methods and Systems in Comparison | xii

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

50,25 €

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 4-7 Werktage

Kategorien:

Beschreibung

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.

Zusammenfassung

This book presents various approaches to formal hardware verification with an emphasis on approaches that could be turned into actual verification systems.

The theoretical foundations of the various methods and systems are provided and their applicational power is examined by application to a common set of circuits.

Inhaltsverzeichnis

Symbolic trajectory evaluation.- Automated verification with abstract state machines using multiway decision graphs.- Design verification using Synchronized Transitions.- Hardware verification using PVS.- Verifying VHDL designs with COSPAN.- The C@S system: Combining proof strategies for system verification.- Appendix: The common book examples.

Details

Medium:	Taschenbuch
Inhalt:	xii 376 S.
ISBN-13:	9783540634751
ISBN-10:	3540634754
Sprache:	Englisch
Einband:	Kartoniert / Broschiert
Autor:	Kropf, Thomas
Redaktion:	Kropf, Thomas
Herausgeber:	Thomas Kropf
Hersteller:	Springer Springer-Verlag GmbH
Verantwortliche Person für die EU:	Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße:	235 x 155 x 21 mm
Von/Mit:	Thomas Kropf
Erscheinungsdatum:	27.08.1997
Gewicht:	0,587 kg