Перейти к содержанию
    

Виды верификации

Здравствуйте, коллеги

Частенько встречал на форумах и в личных беседах некоторую путанницу в определениях видов верификации. Перечислю основные с примерными определениями. Буду рад ссылкам на статьи/книжки, где данный словарь дополняется или где даются более строгие определения.

  1. Функциональная - Всё что тестируется через симулятор (типа QuestaSim, Xcelium и т.п.)
  2. Формальная - Тестирование дизайна на формальную целостность (dead-code, FSM dead-lock, размеры шин и пр.). Сюда же относятся и assertion (SVA).
  3. Модульная - Тестирование отдельных модулей дизайна.
  4. Интеграционная - Тестирование всего чипа в целом.

Поделиться сообщением


Ссылка на сообщение
Поделиться на другие сайты

Отделяйте мух от колтлет.

формальная и динамическая - это деление по одному признаку, модульная-системная - по другому, функциональная интеграцияонная - по третьему

т.е. динамическая и формальная - обе могут быть функциональными и интеграционными. Обе могут быть модульными и системными.

Изменено пользователем one_eight_seven

Поделиться сообщением


Ссылка на сообщение
Поделиться на другие сайты

вот в этом курсе можете посмотреть первый урок. там как раз классификация методов верификации:

https://edunano.ru/courses/funktsionalnaya-verifikatsiya-nanorazmernykh-integralnykh-skhem/

Поделиться сообщением


Ссылка на сообщение
Поделиться на другие сайты

8 часов назад, ZwergNase сказал:

вот в этом курсе можете посмотреть первый урок. там как раз классификация методов верификации:

https://edunano.ru/courses/funktsionalnaya-verifikatsiya-nanorazmernykh-integralnykh-skhem/

Прочитал бегло первую часть. Я в восторге. Если там всё остальное в таком же духе, то это однозначно одно из лучших (очень немногих) рускоязычных пособий по нашему непростому ремеслу. К тому же бесплатно; что за альтруист это сделал?

Изменено пользователем kirill70674

Поделиться сообщением


Ссылка на сообщение
Поделиться на другие сайты

On 11/20/2023 at 10:07 PM, kirill70674 said:

Прочитал бегло первую часть. Я в восторге. Если там всё остальное в таком же духе, то это однозначно одно из лучших (очень немногих) рускоязычных пособий по нашему непростому ремеслу. К тому же бесплатно; что за альтруист это сделал?

 

Да, сейчас это бесплатно, но раньше еНАНО брал за доступ к этому курсу 1000 р или около того.

Поделиться сообщением


Ссылка на сообщение
Поделиться на другие сайты

Есть ещё по теме более компактная статья на Хабре со списком литературы:

https://habr.com/ru/articles/481542/

Поделиться сообщением


Ссылка на сообщение
Поделиться на другие сайты

On 11/20/2023 at 10:07 PM, kirill70674 said:

Прочитал бегло первую часть. Я в восторге. Если там всё остальное в таком же духе, то это однозначно одно из лучших (очень немногих) рускоязычных пособий по нашему непростому ремеслу. К тому же бесплатно; что за альтруист это сделал?

 

Основную часть курса, насколько я понимаю, делал Фёдор Путря из ЭЛВИСа, но в рамках какой-то МИЭТовской программы. Там ещё несколько преподавателей с кафедры ИЭМС свои курсы выложили. 

Поделиться сообщением


Ссылка на сообщение
Поделиться на другие сайты

Присоединяйтесь к обсуждению

Вы можете написать сейчас и зарегистрироваться позже. Если у вас есть аккаунт, авторизуйтесь, чтобы опубликовать от имени своего аккаунта.

Гость
К сожалению, ваш контент содержит запрещённые слова. Пожалуйста, отредактируйте контент, чтобы удалить выделенные ниже слова.
Ответить в этой теме...

×   Вставлено с форматированием.   Вставить как обычный текст

  Разрешено использовать не более 75 эмодзи.

×   Ваша ссылка была автоматически встроена.   Отображать как обычную ссылку

×   Ваш предыдущий контент был восстановлен.   Очистить редактор

×   Вы не можете вставлять изображения напрямую. Загружайте или вставляйте изображения по ссылке.

×
×
  • Создать...