Как можно найти несоответствие спецификации, когда и RTL, и инженеры по проверке пропускают определенную функцию спецификации?

Question

У меня есть несколько вопросов относительно проверки IP.

Предположим, если конкретный дизайн / функциональность из спецификации IP пропущен как в RTL, так и в плане проверки (точки покрытия), как бы вы определили эту ошибку?был реализован в RTL (пропущено из SPEC), мы не можем определить из покрытия кода.

Пожалуйста, пролите свет на это.

Answer 1

Кто-то должен сравнивать план проверки со спецификацией IP верхнего уровня.Для каждого пункта в спецификации, вопрос "как мы показываем, что мы выполнили это требование?"нужен хороший ответ.

(Если нужной функции там нет, то спецификация верхнего уровня нуждается в исправлении!)

Answer 2

Обзоры проекта и плана испытаний обычно включают сравнение спецификации ИС с указанными проектами и планами испытаний.Также обычно присутствует модуль записи спецификаций IP, который может идентифицировать точки в спецификации, которые не охвачены.

Answer 3

Вы можете создать список возможностей и написать свои тесты против этого.