kirill70674 5 19 ноября, 2023 Опубликовано 19 ноября, 2023 · Жалоба Здравствуйте, коллеги Частенько встречал на форумах и в личных беседах некоторую путанницу в определениях видов верификации. Перечислю основные с примерными определениями. Буду рад ссылкам на статьи/книжки, где данный словарь дополняется или где даются более строгие определения. Функциональная - Всё что тестируется через симулятор (типа QuestaSim, Xcelium и т.п.) Формальная - Тестирование дизайна на формальную целостность (dead-code, FSM dead-lock, размеры шин и пр.). Сюда же относятся и assertion (SVA). Модульная - Тестирование отдельных модулей дизайна. Интеграционная - Тестирование всего чипа в целом. Цитата Поделиться сообщением Ссылка на сообщение Поделиться на другие сайты Поделиться
one_eight_seven 6 20 ноября, 2023 Опубликовано 20 ноября, 2023 (изменено) · Жалоба Отделяйте мух от колтлет. формальная и динамическая - это деление по одному признаку, модульная-системная - по другому, функциональная интеграцияонная - по третьему т.е. динамическая и формальная - обе могут быть функциональными и интеграционными. Обе могут быть модульными и системными. Изменено 20 ноября, 2023 пользователем one_eight_seven Цитата Поделиться сообщением Ссылка на сообщение Поделиться на другие сайты Поделиться
ZwergNase 0 20 ноября, 2023 Опубликовано 20 ноября, 2023 · Жалоба вот в этом курсе можете посмотреть первый урок. там как раз классификация методов верификации: https://edunano.ru/courses/funktsionalnaya-verifikatsiya-nanorazmernykh-integralnykh-skhem/ Цитата Поделиться сообщением Ссылка на сообщение Поделиться на другие сайты Поделиться
kirill70674 5 20 ноября, 2023 Опубликовано 20 ноября, 2023 (изменено) · Жалоба 8 часов назад, ZwergNase сказал: вот в этом курсе можете посмотреть первый урок. там как раз классификация методов верификации: https://edunano.ru/courses/funktsionalnaya-verifikatsiya-nanorazmernykh-integralnykh-skhem/ Прочитал бегло первую часть. Я в восторге. Если там всё остальное в таком же духе, то это однозначно одно из лучших (очень немногих) рускоязычных пособий по нашему непростому ремеслу. К тому же бесплатно; что за альтруист это сделал? Изменено 20 ноября, 2023 пользователем kirill70674 Цитата Поделиться сообщением Ссылка на сообщение Поделиться на другие сайты Поделиться
ZwergNase 0 22 ноября, 2023 Опубликовано 22 ноября, 2023 · Жалоба On 11/20/2023 at 10:07 PM, kirill70674 said: Прочитал бегло первую часть. Я в восторге. Если там всё остальное в таком же духе, то это однозначно одно из лучших (очень немногих) рускоязычных пособий по нашему непростому ремеслу. К тому же бесплатно; что за альтруист это сделал? Да, сейчас это бесплатно, но раньше еНАНО брал за доступ к этому курсу 1000 р или около того. Цитата Поделиться сообщением Ссылка на сообщение Поделиться на другие сайты Поделиться
ZwergNase 0 24 ноября, 2023 Опубликовано 24 ноября, 2023 · Жалоба Есть ещё по теме более компактная статья на Хабре со списком литературы: https://habr.com/ru/articles/481542/ Цитата Поделиться сообщением Ссылка на сообщение Поделиться на другие сайты Поделиться
alperovich 1 18 мая Опубликовано 18 мая · Жалоба On 11/20/2023 at 10:07 PM, kirill70674 said: Прочитал бегло первую часть. Я в восторге. Если там всё остальное в таком же духе, то это однозначно одно из лучших (очень немногих) рускоязычных пособий по нашему непростому ремеслу. К тому же бесплатно; что за альтруист это сделал? Основную часть курса, насколько я понимаю, делал Фёдор Путря из ЭЛВИСа, но в рамках какой-то МИЭТовской программы. Там ещё несколько преподавателей с кафедры ИЭМС свои курсы выложили. Цитата Поделиться сообщением Ссылка на сообщение Поделиться на другие сайты Поделиться
