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...
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 |
Ejemplares similares
-
Verification of systems and circuits using LOTOS, Petri Nets, and CCS /
por: Yoeli, Michael, 1917-
Publicado: (2008) -
Hardware design verification : simulation and formal method-based approaches /
por: Lam, William K. C., 1962-
Publicado: (2005) -
Principles of functional verification /
por: Meyer, Andreas (Andreas S.)
Publicado: (2003) -
Principles of functional verification /
por: Meyer, Andreas (Andreas S.)
Publicado: (2003) -
Comprehensive Functional Verification : the Complete Industry Cycle.
por: Wile, Bruce
Publicado: (2005)