是否有可能在Modelsim中编写验证程序？

Question

我正在使用 modelsim 为了设计和模拟CPU架构。对于那些像我一样了解的人，你也可能意识到在尝试处理你面前的所有这些信号时核实模拟数据真的很难。

是否有一种方法可以自动运行模拟并执行一些验证程序，以便查看我得到的数据是否正确？ 例如，我具有某个组件，当通过信号刺激时，在下一个时钟中，将返回否定信号。我想验证这一点。如何？（当然没有手动检查信号在屏幕上）。

谢谢

Answer 1

是，这称为自检测试台。该想法是在实例化要测试的组件的内容，将刺激应用于组件并使用断言（Assertions ）应用刺激。这样做的基本方法与 sssert 语句一样：

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

.

还尝试查看psl，这是一种用于验证VHDL代码行为的另一种语言。Modelsim支持VHDL断言和PSL。