嗨Xinkun,
谢谢你的问题。
我建议你使用一个测试目标块,它可以用来定义模型中的任何信号所需的值。您还可以使用测试条件块限制其他信号值。万博1manbetx仿真软件设计验证器将尝试生成任何测试,达到的目标达到定义的值在测试目标,并相应地将限制其他信号基于测试条件。
试试下面的例子为测试目标:
sldvdemo_debounce_testobjblks
一个测试条件块也可以用来限制信号的变化率,它通常是必需的。这可以通过使用标准的仿真软件模块,在这个简单的例子如:万博1manbetx
“预期的输出”选项会创建一个单元阵列包含模型的输出值的向量生成的测试后输出。这是有点困惑,我将把这个反馈给我们的文档团队。
