Systemverilog Assertions and Functional Coverage: Guía de lenguaje, metodología y aplicaciones

Opiniones de los lectores

El libro proporciona información valiosa sobre SystemVerilog Assertions (SVA) y la cobertura funcional, por lo que es un gran recurso para los ingenieros de verificación y los ingenieros de diseño. Incluye ejemplos prácticos y aplicaciones de la vida real que mejoran la comprensión. Sin embargo, algunos usuarios han tenido dificultades para encontrar el código fuente en línea, lo que puede afectar a la utilidad general del libro.

⬤ Valioso para ingenieros de verificación.
⬤ Fácil de leer y comprender.
⬤ Conocimientos profundos sobre aserciones y cobertura funcional.
⬤ Ejemplos prácticos que solidifican los conceptos.
⬤ Bueno para la implementación directa sin teoría pesada.
⬤ Excelente libro de referencia con un sólido índice y TOC.

⬤ Dificultad para encontrar código fuente en línea para los laboratorios.
⬤ Se sugirieron más ejemplos.
⬤ Algunos usuarios encontraron poco claras las instrucciones de acceso en línea.

(basado en 8 opiniones de lectores)

Título original:

Systemverilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications

Contenido del libro:

Introducción. - Aserciones del sistema Verilog.

- Aserciones Inmediatas. - Aserciones Concurrentes - Conceptos Básicos (secuencia, propiedad, aserción). - Funciones de valor muestreado $rose, $fell.

- Operadores.

- Funciones y tareas del sistema. - Relojes Múltiples.

- Variables Locales. - Propiedad recursiva. - Detección y uso del punto final de una secuencia.

- 'esperar'. - 'assume' y verificación formal (funcional estática). - Otros temas importantes.

- Aserciones asíncronas!!! - Características IEEE-1800-2009. - LABs de Aserciones SystemVerilog.

- Aserciones System Verilog - Respuestas LAB. - Cobertura Funcional. - Implicaciones de rendimiento de la metodología de cobertura.

- Opciones de Cobertura (Material de Referencia).