Εξώφυλλο
Κώδικας QR

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

Πλήρης περιγραφή

Αποθηκεύτηκε σε:
Άλλοι συγγραφείς: Bergeron, Janick (autor) (autor)
Μορφή: Βιβλίο
Γλώσσα:Αγγλικά
Έκδοση: Nueva York, EUA : Springer, 2006, c2006
Θέματα:
VERILOG (Lenguaje de Descripción del Soporte Físico) - > Tema Principal
Circuitos Integrados - > Prueba y Medición - > Tema Principal
Ingeniería Computacional
Ingeniería Electrónica
Ετικέτες: Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
Περίληψη: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.
Φυσική περιγραφή:XVII, 503 p.
ISSN:9780387255385
0387255389

Παρόμοια τεκμήρια