我正在使用ModelSim来设计和模拟CPU架构。对于那些了解这一点的人来说，你也可能意识到在试图处理你面前的所有信号时，很难验证模拟数据。
有没有办法自动运行模拟并执行一些验证程序，以查看我得到的数据是否正确？
例如，我有一个特定的组件，当被信号激励时，在下一个时钟中，将返回被否定的信号。我想验证一下。怎么样？ （当然没有手动检查屏幕上的信号）。
三江源
答案 0 :(得分：6)
是的，这被称为自检测试台。我们的想法是编写一个新的VHDL文件，您可以在其中实例化要测试的组件，将激励应用于组件并使用断言验证输出。执行此操作的基本方法是使用 assert 语句，如下所示：
assert my_signal = x"3456" report "my_signal has the wrong value!" severity ERROR;
同时尝试研究PSL，这是另一种用于验证VHDL代码行为的语言。 Modelsim支持VHDL断言和PSL。