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

Celý popis

Uloženo v:
Podrobná bibliografie
Další autoři: Bergeron, Janick (autor) (autor)
Médium: Kniha
Jazyk:angličtina
Vydáno: Nueva York, EUA : Springer, 2006, c2006
Témata:
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Právě probíhá údržba systému

Právě probíhá údržba knihovního systému.

V současné době nejsou dostupné informace o dostupnosti. Omlouváme se Vám za nepříjemnosti. Neváhejte nás kontaktovat a my se pokusíme zjistit požadované informace jinou cestou:

biblioteca@iteso.mx