Поиск
Показаны результаты для тегов 'verification'.
-
ПО и библиотеки для UVM RAL
kirill70674 опубликовал тема в Методы и средства верификации ПЛИС/ASIC
Здравствуйте, коллги Можете подсказать открытое ПО или библиотеки для генерации регистровых UVM моделей по excel или IP-XACT файлам? Так же было бы не плохо генерировать IP-XACT с помощью GUI или какой-нибудь Python либы с простым API. -
Виды верификации
kirill70674 опубликовал тема в Методы и средства верификации ПЛИС/ASIC
Здравствуйте, коллеги Частенько встречал на форумах и в личных беседах некоторую путанницу в определениях видов верификации. Перечислю основные с примерными определениями. Буду рад ссылкам на статьи/книжки, где данный словарь дополняется или где даются более строгие определения. Функциональная - Всё что тестируется через симулятор (типа QuestaSim, Xcelium и т.п.) Формальная - Тестирование дизайна на формальную целостность (dead-code, FSM dead-lock, размеры шин и пр.). Сюда же относятся и assertion (SVA). Модульная - Тестирование отдельных модулей дизайна. Интеграционная - Тестирование всего чипа в целом.- 5 ответов
-
- верификация
- verification
-
(и ещё 1 )
C тегом:
-
Всем привет! Пытаюсь запрограммировать встроенную в ПЛИС флешку на Tang Nano 9K из командной строки с верификацией: gw_programmer_cli --device GW1NR-9C --fs firmware.fs -r 6 Target Cable: Gowin USB Cable(FT2CH)/0/0/null Operation "embFlash Erase,Program,Verify" is starting on device-1... Erasing embFlash ...: [#########################] 100% Programming...: [#########################] 100% Verifying...: [ ] 0% Error: Verify Failed at 0 Verifying...: [#########################] 100% Error: Verify Failed! Cost 12.59 second(s) И ещё ни разу не было такого, чтобы верификация прошла. При этом простое программирование без верификации проходит "на ура". Программатор (программа) из комплекта Gowin_V1.9.8.06-1. Уважаемые участники, как вы решаете (если решаете) вопрос с верификацией прошивки после программирования?
-
Видеокурс по Cadence Perspec
Moonl1ght опубликовал тема в Обучающие видео-материалы и обмен опытом
Добрый день! Выкладываю курс по Perspec от Cadence Design Systems. https://disk.yandex.ru/d/9ywRCGN3fZv_3A -
-
Использование UVM
AntonB опубликовал тема в Методы и средства верификации ПЛИС/ASIC
Посоветуйте материал для изучения UVM ?- 27 ответов
-
- fpga
- verification
-
(и ещё 1 )
C тегом:
-
Всем добра! Собираемся приступить к этому (не уверен, что нужному, но мимо стандарта не попрёшь) делу. У кого-то есть опыт использования инструментов от, например, Aldec (по-моему, ещё Mentor умеет, но сходу не нашёл)? Чтобы сразу обозначить задачу, скажу, что для того, чтобы, в соответствии с вышеупомянутыми стандартами верифицировать (прошивку) ПЛИС, её "окружают" другой ПЛИС, которая, в свою очередь, вкупе с ПО, тестирует первую. Если грубо, то так. Если у кого есть чего конкретного сказать, я бы послушал. Все материалы с сайта Aldec по теме выкачал: буду курить..