在验证环境中checker 可以通过两种方式使用scoreboard 。这两种方法之间的主要区别在于参考模型处于哪个组件当中。
第一种方法,checker 组件包含参考模型。此时,scoreboard 的角色是存储DUT的输入,然后当checker 观察到DUT输出时,它会调用scoreboard 以获取数据 。
scoreboard 的实现取决于DUT中包含的功能。如果DUT的规格是先进先出(FIFO)规格,那么scoreboard 也将包含一个简单的FIFO。如果DUT中有一个复杂的排队算法,那么为了返回正确的数据,需要在scoreboard 同样实现这样的复杂排序功能。scoreboard 返回数据的同时,checker中的参考模型将开始生成预期数据结果,然后将这些结果与实际的DUT输出信号进行比较。
第二种方法,scoreboard 中包含参考模型,根据其观察到的DUT输入生成预期结果。当checker 观察到DUT的输出时,它会查询scoreboard 上的预期数据并进行比较。
在上述这两种情况下(checker 或scoreboard 中包含参考模型),都是类似的数据采样和比对流程。scoreboard观察DUT设计的激励(注意,不是将输入激励写入到scoreboard),scoreboard和输入激励生成的分离更有利于组件的重用。
END
作者:验证哥布林
原文链接:https://aijishu.com/a/1060000000232242
微信公众号:
推荐阅读
更多IC设计技术干货请关注IC设计技术专栏。