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

Question

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

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

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

Так как он не был реализован в RTL(пропущен в SPEC), мы не можем идентифицировать по покрытию кода.

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

Спасибо

2

verilog specman asic

Источник

user932430 07 сен '11 в 09:48

3 ответа

Решение

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

0

Источник

08 сен '11 в 03:14

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

0

Источник

user292807 08 сен '11 в 15:58

Другие вопросы по тегам verilog specman asic

user106092 07 сен '11 в 16:16 2011-09-07 16:16 · Accepted Answer · 2011-09-07 16:16

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

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