Vamos en esta opción a introducir dos elementos básicos de cualquier banco de pruebas realizado con SystemVerilog:
- Generación de estímulos aleatorios con restricciones (RCSG)
- Puntos de observación : covergroups para integrarlos en el posterior análisis de cobertura funcional
RCSG
La generación de estímulos aleatorios con restricciones que vamos a utilizar en este ejemplo ya prácticamente va a permanecer inalterado ejemplo tras ejemplo en lo relativo al cómo y que básicamente es mediante el uso de clases de systemverilog. En lo relativo al dónde , en en esta opción lo vamos a ubicar en el top de la jerarquía. Más adelante pasará a formar parte de la construcción program
Cobertura funcional
La cobertura funcional corre a cargo de los covergroups. En este ejemplo utilizaremos los denominados «no triggering event» que requieren de un muestreo explícito mediante el método «sample». No vamos a definir en este ejemplo de manera manual los «bins» de los coverpoints utilizados ni tampoco puntos cruzados de cobertura (cross). En lo relativo al dónde , en esta opción lo vamos a ubicar en el top de la jerarquía.
Laboratorio virtual
https://www.edaplayground.com/x/5AmM
