是否可以在ModelSim中编写模拟验证程序？

Question

我正在使用ModelSim来设计和模拟CPU架构.对于像我这样知道这一点的人,你也可能意识到在试图处理你面前的所有信号时,很难验证模拟数据.

有没有办法自动运行模拟并执行一些验证程序,以查看我得到的数据是否正确？

例如,我有一个特定的组件,当被信号激励时,在下一个时钟中,将返回被否定的信号.我想验证一下.怎么样？(当然没有手动检查屏幕上的信号).

谢谢

Answer 1

是的,这被称为自检测试台.我们的想法是编写一个新的VHDL文件,您可以在其中实例化要测试的组件,将激励应用于组件并使用断言验证输出.执行此操作的基本方法是使用assert语句,如下所示:

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

另请尝试查看PSL,这是另一种用于验证VHDL代码行为的语言.Modelsim支持VHDL断言和PSL.