Come si trova la non conformità a una specifica quando sia gli RTL che gli ingegneri di verifica perdono una particolare caratteristica?

Question

Ho alcune domande sulla verifica dell'IP.

Supponiamo che se un particolare design / funzionalità da una specifica IP non sia presente sia nell'RTL che nel piano di verifica (punti di copertura), come identifichereste questo bug?

Poiché non è stato implementato in RTL (mancante da SPEC), non possiamo identificare dalla copertura del codice.

Fai un po 'di luce su questo.

Grazie

Answer 1

Qualcuno dovrebbe confrontare il piano di verifica con la specifica IP di primo livello.Per ogni punto della specifica, la domanda "come dimostriamo di aver soddisfatto questo requisito?"ha bisogno di una buona risposta.

(Se la funzionalità in questione non è presente, la specifica di primo livello deve essere corretta!)

Answer 2

Potresti creare un elenco di caratteristiche e scrivere i tuoi test in base a quello.

Answer 3

Le revisioni del progetto e del piano di test generalmente comportano il confronto delle specifiche IP con tali progetti e piani di test.Di solito è presente anche il writer delle specifiche IP e può identificare i punti nella specifica che non sono coperti.