Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
awesome-functional-verification
list of links to resources related to functional verification
https://github.com/radigast/awesome-functional-verification
- SV/UVM patterns examples and tricks - Примеры применения паттернов программирования в SystemVerilog и ряд других интересных примеров от специалиста из Intel
- custom_uvm_report_server - Пример реализации пользовательского UVM сервера печати
- uvm agent generator - Генератор кзаготовки UVM агента на основе шаблона
- Паттерны на refactoring.guru
- Шпаргалка по паттернами на habr
- Паттерны на wiki
- Easier UVM Coding Guidelines
- “Проектирование и верификация СФ-блоков”, Национальный исследовательский университет "МИЭТ", Кафедра интегральной электроники и микросистем (ИЭМС), Ф.М. Путря
- "Верификация цифровых схем" От белорусских коллег
- nand2tetris - открытый образовательный проект, позволяющий за относительно короткое время пройти курс разработчика процессоров от архитектуры и RTL до компиляторов и операционных систем
- Профессиональный стандарт: Специалист по функциональной верификации и разработке тестов функционального контроля наноразмерных интегральных схем - не курс, но содержит ключевые слова для поиска материалов для саморазвития
- “Введение в формальные методы верификации программ”, МГУ, Факультет вычислительной математики и кибернетики, А. С. Камкин
- “Функциональная верификация наноразмерных интегральных схем”, Путря Ф.М, Фролова С.Е., Зайцев В.С. Авдеев Н.А.
- sveditor for eclipse - Плагин для eclipse. Дает возможность редактирования иерархических SV проектов (навигация, Code assistance, подсветка…)
- kactus2 IP-XACT editor - Опенсорс инструмент для редактирования IP-XACT описаний
- Verilator
- ICARUS
- QEMU
- GTKWAVE - свободный просмотрщик waveform (vcd support)
- impulse waveforms - Плагин для elclipse, позволяющий просматривать вэйвформы (vcd)
- covered - инструмент для анализа покрытия verilog кода (не проверял)
- https://cocotb.readthedocs.io
- opencores
- redmine - Трекер задач и ошибок
- jenkins - Средство непрерывной интеграции, запуск регрессий
- git - Система контроля версий
- svn - Система контроля версий
- Design Automation Conference (DAC)
- Design and Verification Conference (DVCON)
- Design, Automation And Test In Europe (DATE)
- IEEE EAST-WEST DESIGN & TEST SYMPOSIUM (EWDTS)
- Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС)
- Cadence CDNLive
- Synopsys User Conference SNUG
- languages for HDL creation
- Open Hardware Verification
- awesome-software-quality(ENG) - смежная область верификация ПО
- awesome-software-quality(RUS) - смежная область верификация ПО