当RTL的使用者和验证工程师都错过了特定的规范功能时，如何发现不符合规范的情况？

Question

我对IP验证有一些疑问。

如果RTL和验证计划（覆盖点）中都缺少IP规范的特定设计/功能，那么您将如何识别此错误？

由于尚未在RTL中实现（SPEC缺少此功能），因此我们无法从代码覆盖率中进行识别。

请对此加以说明。

谢谢

Answer 1

有人应该将验证计划与顶级IP规范进行比较。对于规范中的每个点，问题是“我们如何证明满足要求？”需要一个好的答案。

（如果所涉及的功能不存在，则顶级规格需要修复！）

Answer 2

您可以创建功能列表并针对该功能列表编写测试。

Answer 3

设计和测试计划审查通常包括将IP规范与所述设计和测试计划进行比较。IP规范编写者通常也会出现，并且可以标识出规范中未涵盖的点。