Concepto de patrón de verificación

Una de las tareas más árduas en algunos simuladores es proveer al modelo de las entradas precisas que verifican que es correcto

Si se hace la comparación con dispositivos hardware (circuitos integrados) la forma normal de comprobar que funcionan correctamente es suministrando al circuito de un conjunto de vectores de test (usualmente denominado patrón de test), que son aplicados al dispositivo por medio de las entradas. El dispositivo suele tomar la denominación de Device Under Test (DUT)

La generación de los vectores de test se realiza mediante un motor, que puede ser más o menos autosuficiente. Entonces, estos vectores son aplicados al DUT, el cual responde de acuerdo con su modelo

Aparte de las salidas normales, el DUT puede enviar respuestas hacia el modelo de test. Con ellas, el modelo de test puede realizar una comprobación de que las salidas recibidas son correctas. A eso se le llama autotest. El resultado puede ser, simplemente, un OK/fail conforme el circuito ha funcionado correctamente o no.

Este mismo modelo puede ser mimetizado en el test del código en modelos VHDL. La forma de actuación, en este caso será parecida

Para ello se utilizará un modelado estructural. Esto es, el modelo (DUT) generado se introducirá en el código de verificación como un componente más. El modelo de verificación tendrá por misión enviar al DUT el conjunto de entradas que lo sensibilizarán y que nos enviará, como resultado, las salidas

Las señales generadas por el modelo de test pueden corresponder a todas las entradas del modelo a comprobar, o sólo una parte. Ello depende de cuál sea la forma con que se observe es más fácil comprobar el modelo.

Aplicando el método se pueden conseguir dos tipos principales de verificación:

- Generación automática del código de verificación, pero con comprobación visual de la salida

- Generación automática, con visualización de la verificación automática

Cada una de estas formas admite distintas variantes, tanto de generación como de comprobación de resultados que, a lo largo de estas páginas, se irán presentando