Generating Hardware Assertion Checkers : For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring /
| Autores principales: | , |
|---|---|
| Autor Corporativo: | |
| Formato: | eBook |
| Lenguaje: | English |
| Publicado: |
Dordrecht :
Springer Netherlands : Imprint: Springer,
2008.
|
| Edición: | 1st ed. 2008. |
| Materias: |
Tabla de Contenidos:
- Assertions and the Verification Landscape
- Basic Techniques Behind Assertion Checkers
- PSL and SVA Assertion Languages
- Automata for Assertion Checkers
- Construction of PSL Assertion Checkers
- Enhanced Features and Uses of PSL Checkers
- Evaluating and Verifying PSL Assertion Checkers
- Checkers for SystemVerilog Assertions
- Conclusions and Future Work.