当RTL的使用者和验证工程师都错过了特定的规范功能时,如何发现不符合规范的情况?
题
我对IP验证有一些疑问。
如果RTL和验证计划(覆盖点)中都缺少IP规范的特定设计/功能,那么您将如何识别此错误?
由于尚未在RTL中实现(SPEC缺少此功能),因此我们无法从代码覆盖率中进行识别。
请对此加以说明。
谢谢
解决方案
有人应该将验证计划与顶级IP规范进行比较。对于规范中的每个点,问题是“我们如何证明满足要求?”需要一个好的答案。
(如果所涉及的功能不存在,则顶级规格需要修复!)
其他提示
您可以创建功能列表并针对该功能列表编写测试。
设计和测试计划审查通常包括将IP规范与所述设计和测试计划进行比较。IP规范编写者通常也会出现,并且可以标识出规范中未涵盖的点。
不隶属于 StackOverflow