Tengo un FIFO síncrono. La profundidad de la FIFO es 32. Cada vez que la FIFO tiene 7 o "n" elementos únicos en su interior, la señal "única" se pone ALTA. ¿Cómo pruebo la señal "única" que va alta en SystemVerilog o UVM? ¿Cómo sería mi marcador?
Tengo un FIFO síncrono. La profundidad de la FIFO es 32. Cada vez que la FIFO tiene 7 o "n" elementos únicos en su interior, la señal "única" se pone ALTA. ¿Cómo pruebo la señal "única" que va alta en SystemVerilog o UVM? ¿Cómo sería mi marcador?
Realmente no necesitas un banco de pruebas UVM para una prueba simple como esta. Envíe entradas aleatorias, predict
cuando sea único, debe ser alto y verifique si se cumple esta condición.
El trabajo clave aquí es predict
. Este sería su marcador, corrector o cualquier otra cosa que desee llamar.
Lea otras preguntas en las etiquetas asic system-verilog verification