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:
Integrated circuits > Verification.
Circuits intégrés > Vérification.
TECHNOLOGY & ENGINEERING > Electronics > Circuits > Integrated.
TECHNOLOGY & ENGINEERING > Electronics > Circuits > General.
Integrated circuits > Verification
Acceso en línea:Texto completo
Tabla de Contenidos:
  • Model checking and equivalence checking / Masahiro Fujita
  • Transaction-level system modeling / Daniel Gajski and Samar Abdi
  • Response checkers, monitors, and assertions / Harry Foster
  • System debugging strategies / Wayne H. Wolf
  • Test generation and coverage metrics / Ernesto Sánchez, Giovanni Squillero, and Matteo Sonza Reorda
  • SystemVerilog and Vera in a verification flow / Shireesh Verma and Ian G. Harris
  • Decision diagrams for verification / Maciej Ciesielski, Dhiraj K. Pradhan, and Abusaleh M. Jabir
  • Boolean satisfiability and EDA applications / Joao Marques-Silva.

Ejemplares similares