Cargando…

Constraint-Based Verification

Constraint-Based Verifcation covers the emerging field in functional verification of electronic designs thats is now commonly referred to by this name. Topics are developed in the context of a wide range of dynamic and static verification approaches including stimulation, emulation and formal method...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Yuan, Jun (Autor), Pixley, Carl (Autor), Aziz, Adnan (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: New York, NY : Springer US : Imprint: Springer, 2006.
Edición:1st ed. 2006.
Temas:
Acceso en línea:Texto Completo