Bearbmagovva
QR-koda

Introduction to Formal Hardware Verification /

Contenido: 1) Introducción; 2) Funciones booleanas; 3) Aproximación basada en maquinas de estado finito; 4) Lógica preposicional temporal; 5) Lógica de orden superior. Apéndices.

Furkejuvvon:
Váldodahkki: Kropf, Thomas (autor)
Materiálatiipa: Girji
Giella:eaŋgalasgiella
Almmustuhtton: Berlín, Alemania : Springer 1999, c1999
Fáttát:
VLSI - > Diseño y Construcción - > Tema Principal
Circuitos Integrados - > Prueba y Medición - > Tema Principal
Circuitos Integrados - > Simulación por Computadora
Diseño Lógico
Ingeniería Computacional
Ingeniería Electrónica
Fáddágilkorat: Lasit fáddágilkoriid
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!
Lasit vuosttaš kommeantta. Visot kommeanttat leat almmolaččat.!
Čálihuva vuohččan sisa

Geahča maid