Verilog 当RTL'；ers和验证工程师遗漏了一个特定的规范特征？_Verilog_Specman_Asic

Verilog 当RTL'；ers和验证工程师遗漏了一个特定的规范特征？

verilog

Verilog 当RTL'；ers和验证工程师遗漏了一个特定的规范特征？,verilog,specman,asic,Verilog,Specman,Asic,我有一些关于IP验证的问题假设如果RTL和验证计划（覆盖点）中都缺少IP规范中的特定设计/功能，您将如何识别此缺陷由于它还没有在RTL中实现（未从规范中实现），我们无法从代码覆盖率中进行识别请解释一下谢谢应该有人将验证计划与顶级IP规范进行比较。对于规范中的每一点，“我们如何证明我们满足了这个要求？”需要一个好的答案（如果有问题的功能不在其中，那么顶级规范需要修复！）您可以创建一个功能列表，并根据该列表编写测试。设计和测试计划审查通常涉及IP规范与所述设计和测试计划的比较。IP规范编写

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

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

由于它还没有在RTL中实现（未从规范中实现），我们无法从代码覆盖率中进行识别

请解释一下

谢谢

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

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

您可以创建一个功能列表，并根据该列表编写测试。

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