¿Es posible escribir procedimientos de verificación sobre simulaciones en ModelSim?

Question

Estoy usando Modelsonim para diseñar y simular arquitecturas de CPU.Para aquellos como yo, que sepa sobre esto, también es probable que es realmente consciente de que es realmente difícil verificar los datos de simulación cuando intentan manejar todas esas señales frente a usted.

¿Hay una manera de ejecutar automáticamente una simulación y realizar algún procedimiento de verificación para ver si los datos que obtengo son correctos?

Por ejemplo, tengo un cierto componente que cuando se estimula por una señal, en el siguiente reloj, devolverá la señal negada.Quiero verificar esto.¿Cómo?(Por supuesto, sin revisar manualmente las señales en la pantalla).

gracias

Answer 1

Sí, esto se conoce como Bancos de prueba de autocomprobación .La idea es escribir un nuevo archivo VHDL en el que crezca el componente que desea probar, aplique estímulos al componente y verifique la salida utilizando las afirmaciones .La forma básica de hacerlo es con la declaración Assert , como esta:

assert my_signal = x"3456" report "my_signal has the wrong value!" severity ERROR;

También intente buscar en PSL, que es otro idioma para verificar el comportamiento del código VHDL.ModelSim tiene soporte para las aserciones de VHDL y PSL.