Verification Methodology Manual for SystemVerilog /
Contenido: 1) Introducción; 2) Verificación de la planificación; 3) Aseveraciones; 4) Ensayo de pruebas de infraestructura; 5) Estímulo y respuesta; 6) Verificación de la orientación de cobertura; 7) Aseveraciones de las herramientas formales; 8) Verificación de nivel-sistema; 9) Verificación del pr...
Guardado en:
| Andre forfattere: | |
|---|---|
| Format: | Bog |
| Sprog: | engelsk |
| Udgivet: |
Nueva York, EUA :
Springer,
2006, c2006
|
| Fag: | |
| Tags: |
Ingen Tags, Vær først til at tagge denne postø!
|
| Summary: | Contenido: 1) Introducción; 2) Verificación de la planificación; 3) Aseveraciones; 4) Ensayo de pruebas de infraestructura; 5) Estímulo y respuesta; 6) Verificación de la orientación de cobertura; 7) Aseveraciones de las herramientas formales; 8) Verificación de nivel-sistema; 9) Verificación del proceso de integración. Apéndices. |
|---|---|
| Fysisk beskrivelse: | XVII, 503 p. |
| ISSN: | 9780387255385 0387255389 |