Estoy diseñando un contador de anillo con entrada de 8 bits. Tuve éxito en el diseño y la verificación a través de un módulo de banco de pruebas. Ahora me piden que realice la corrección automática y la autocomprobación del banco de pruebas. ¿Alguien puede ayudarme a comprender los conceptos básicos de un banco de pruebas de autocontrol? ¿Hay algún buen material o PDF disponible en línea para darle una idea fundamental de construir un banco de pruebas de autocontrol?
Un banco de pruebas de autocomprobación ejecuta una serie de pruebas en el DUT y verifica si los resultados son los esperados. Esto contrasta con el diseñador que observa las formas de onda y declara que "todo funciona". A menudo, para probar la funcionalidad, el TB necesita el código equivalente del DUT para generar el resultado esperado.
Aunque no hay una plantilla uniforme, ya que cada banco de pruebas se adapta a lo que está probando, la mayoría de ellos sigue el principio de que proporciona señales de control y datos para el DUT y al mismo tiempo proporciona un resultado esperado. Entonces el resultado esperado se compara con el resultado real. Para alinear los dos un FIFO o memoria puede ser muy útil.
Escribir un banco de pruebas para su propio módulo conlleva el peligro de que pruebe lo que ha implementado, no lo que debería haber implementado. Por lo tanto, idealmente, el banco de pruebas debería estar escrito por una parte independiente de la especificación del DUT.
Recientemente hubo una pregunta sobre la prueba de un FIFO al que respondí. Eso podría darle una idea de qué probar: Casos de esquina para verificar el FIFO sincrónico
Desde la experiencia:
La mayoría de las veces encontrará que el banco de pruebas es mucho más grande que el código DUT. Además, a menudo se da cuenta de que la primera ronda de errores se encuentra en su banco de pruebas, no en su DUT.
Tendré que detenerme aquí porque puedo seguir escribiendo durante algunas horas más sobre los bancos de pruebas.
Lea otras preguntas en las etiquetas verilog