Articoli correlati a Symbolic Simulation Methods for Industrial Formal Verificati...

Symbolic Simulation Methods for Industrial Formal Verification - Rilegato

Jones, Robert B.

 
9781402071034: Symbolic Simulation Methods for Industrial Formal Verification
Rilegato
ISBN 10: 1402071035 ISBN 13: 9781402071034
Casa editrice: Kluwer Academic Pub, 2002

Sinossi

This volume contains two distinct, but related, approaches to the verification problem, both based on symbolic simulation. It describes new ideas that enable the use of formal methods, specifically symbolic simulation, in validating commercial hardware designs of remarkable complexity.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

List of Figures. List of Tables. Acknowledgments. Foreword. 1. Introduction. Part I: Self Consistency. 2. Self Consistency. 3. Self Consistency in Practice. Part II: Parametric Representations. 4. The Parametric Representation. 5. Using the Parametric Representation. Part III: Incremental Flushing. 6. Background on Processor Verification. 7. Incremental Flushing. 8. Conclusions. Appendices.

Product Description

Unusual book

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Kluwer Academic Pub
Data di pubblicazione
2002
Lingua
Inglese
ISBN 10 
1402071035
ISBN 13 
9781402071034
Rilegatura
Copertina rigida
Numero di pagine
176
Contatto del produttore
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Germania