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

Question

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

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

RTLに実装されていないため（SPECから欠落）、コードカバレッジから特定できません。

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

ありがとう

Answer 1

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

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

Answer 2

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

Answer 3

設計およびテスト計画のレビューには、通常、IP仕様と前述の設計およびテスト計画との比較が含まれます。通常、IPスペックライターも存在し、カバーされていないスペック内のポイントを特定できます。