Formal hardware verification : methods and systems in comparison
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...
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Livre numérique |
| Lingua: | Anglais |
| Pubblicazione: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serie: | Lecture notes in computer science
1287 |
| Soggetti: | |
| Accesso online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Formal hardware verification, methods and systems in comparison, Thomas Kropf, ed, 1997, New York, Springer, 1 vol. (XII-367 p.), Lecture notes in computer science, 3-540-63475-4 • Formal Hardware Verification, Texte imprimé, 9783662174937 |
Sommario:
- 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.