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...

Fuld beskrivelse

Guardado en:
Bibliografiske detaljer
Andre forfattere: Bergeron, Janick (autor) (autor)
Format: Bog
Sprog:engelsk
Udgivet: Nueva York, EUA : Springer, 2006, c2006
Fag:
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
Beskrivelse
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