简化编码工作
测试平台,尤其是经常使用的测试平台或用于一系列项目的测试平台,应具备自检功能与时间无关性。自检的方法是从文件或脚本提供激励信号(输入),为测试平台提供一致的、可重复的、可记录的输入,随后使用波形比较器对设计的已知正确行为模型的输出与设计的 UUT 的输出进行比较。这种比较可以自动进行,并可向控制台或以文本文件的形式(或者两者同时采用)报告各套输入的成功与失败,便于设计人员迅速地检查成败情况。
用户可采用行为建模方式(而不是完全可综合的结构)编写 KGBM 代码。用这种方式编写代码比较简单(因为这种模型比 UUT 的开发时间短得多),而且能够在不给仿真时间造成显著影响的情况下较 UUT 更容易生成输出。理论上,KGBM 和 UUT 的输出值应与每个输入集相符,这样就便于检测和报告差异。