verilog - 当 RTL 人员和验证工程师都错过了特定的规范功能时，如何发现不符合规范？

Question

我有一些关于 IP 验证的问题。

假设如果在 RTL 和验证计划（覆盖点）中都遗漏了 IP 规范中的特定设计/功能，您将如何识别此错误？

由于它尚未在 RTL 中实现（SPEC 中缺失），我们无法从代码覆盖率中识别。

请对此有所了解。

谢谢

Answer 1

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

（如果有问题的功能不在那里，那么顶级规范需要修复！）

Answer 2

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

Answer 3

设计和测试计划审查通常涉及 IP 规范与所述设计和测试计划的比较。IP 规范编写者通常也会在场，并且可以识别规范中未涵盖的点。