verilog - RTL担当者と検証エンジニアの両方が特定の仕様機能を見逃している場合、仕様への不適合をどのように発見するのでしょうか?

Question

IP 検証についていくつか質問があります。

IP 仕様の特定の設計/機能が RTL と検証計画 (カバレッジ ポイント) の両方で欠落している場合、このバグをどのように特定しますか?

RTLで実装されていない(SPECから抜けている)ため、コードカバレッジからは特定できません。

これに光を当ててください。

ありがとう

Answer 1

誰かが検証計画を最上位の IP 仕様と比較する必要があります。仕様の各ポイントについて、「この要件を満たしていることをどのように示すか?」という質問があります。良い答えが必要です。

(問題の機能がそこにない場合は、トップレベルの仕様を修正する必要があります!)

Answer 2

設計およびテスト計画のレビューでは、通常、IP 仕様と設計およびテスト計画との比較が行われます。通常、IP 仕様の作成者も同席し、仕様でカバーされていないポイントを特定できます。

Answer 3

機能リストを作成し、それに対するテストを作成できます。