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)
Формат:
Язык:английский
Опубликовано: Nueva York, EUA : Springer, 2006, c2006
Предметы:
Метки: Добавить метку
Нет меток, Требуется 1-ая метка записи!

Схожие документы: Verification Methodology Manual for SystemVerilog /