中文 英语
知识中心
导航
知识中心

检查程序

Testbench组件验证结果
受欢迎程度

描述

检查程序的作用就是比较结果与预期的结果。他们可以有几种形式。一个例子,目前最常见的检查程序的意义,是一个断言可能本地设计,以确保操作的行为是正确的。它的作用可能是确保没有数据丢失在一个FIFO。

检查器还可以配合参考模型或记分板在匹配结果将允许更大的灵活性。

当抽象变化,可以看到不同的行为产生的时间不同。时间的变化可能会改变事情发生的顺序,进而可能导致显著不同的行为。都是不正确的。一些公司已经实施了检查,可以调整行为在系统级模型,这样他们就可以引导它向行动实际上看到,反过来又为系统级模型,然后发出一个错误是不允许的,如果行为的模型。


相关技术

Baidu