Jump to content
    

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

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

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

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

Share this post


Link to post
Share on other sites

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

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

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

Edited by one_eight_seven

Share this post


Link to post
Share on other sites

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

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

Share this post


Link to post
Share on other sites

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

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

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

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

Edited by kirill70674

Share this post


Link to post
Share on other sites

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

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

 

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

Share this post


Link to post
Share on other sites

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

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

 

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

Share this post


Link to post
Share on other sites

Join the conversation

You can post now and register later. If you have an account, sign in now to post with your account.

Guest
Reply to this topic...

×   Pasted as rich text.   Paste as plain text instead

  Only 75 emoji are allowed.

×   Your link has been automatically embedded.   Display as a link instead

×   Your previous content has been restored.   Clear editor

×   You cannot paste images directly. Upload or insert images from URL.

×
×
  • Create New...