Cargando…

Practical design verification /

Improve design efficiency and reduce costs with this practical guide to formal and simulation-based functional verification. Giving you a theoretical and practical understanding of the key issues involved, expert authors including Wayne Wolf and Dan Gajski explain both formal techniques (model check...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Harris, Ian G. (Editor ), Pradhan, Dhiraj K. (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cambridge, U.K. ; New York : Cambridge University Press, 2009.
Temas:
Acceso en línea:Texto completo