awesome-functional-verification
list of links to resources related to functional verification
https://github.com/radigast/awesome-functional-verification
Last synced: 13 days ago
JSON representation
-
Code examples
- custom_uvm_report_server - Пример реализации пользовательского UVM сервера печати
- uvm agent generator - Генератор кзаготовки UVM агента на основе шаблона
- SV/UVM patterns examples and tricks - Примеры применения паттернов программирования в SystemVerilog и ряд других интересных примеров от специалиста из Intel
-
Patterns
-
Codyng Style
- Easier UVM Coding Guidelines
- "Верификация цифровых схем" От белорусских коллег
- Профессиональный стандарт: Специалист по функциональной верификации и разработке тестов функционального контроля наноразмерных интегральных схем - не курс, но содержит ключевые слова для поиска материалов для саморазвития
- “Функциональная верификация наноразмерных интегральных схем”, Путря Ф.М, Фролова С.Е., Зайцев В.С. Авдеев Н.А.
- "Верификация цифровых схем" От белорусских коллег
- “Введение в формальные методы верификации программ”, МГУ, Факультет вычислительной математики и кибернетики, А. С. Камкин
- “Проектирование и верификация СФ-блоков”, Национальный исследовательский университет "МИЭТ", Кафедра интегральной электроники и микросистем (ИЭМС), Ф.М. Путря
- "Верификация цифровых схем" От белорусских коллег
- nand2tetris - открытый образовательный проект, позволяющий за относительно короткое время пройти курс разработчика процессоров от архитектуры и RTL до компиляторов и операционных систем
-
Editors, code assistance
- sveditor for eclipse - Плагин для eclipse. Дает возможность редактирования иерархических SV проектов (навигация, Code assistance, подсветка…)
- kactus2 IP-XACT editor - Опенсорс инструмент для редактирования IP-XACT описаний
-
Simulation and debug
- ICARUS
- impulse waveforms - Плагин для elclipse, позволяющий просматривать вэйвформы (vcd)
- covered - инструмент для анализа покрытия verilog кода (не проверял)
-
Frameworks
-
IP and VIP
-
Control
- Design Automation Conference (DAC)
- Design, Automation And Test In Europe (DATE)
- IEEE EAST-WEST DESIGN & TEST SYMPOSIUM (EWDTS)
- Cadence CDNLive
- Synopsys User Conference SNUG
- Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС)
- svn - Система контроля версий
- Design and Verification Conference (DVCON)
Programming Languages
Categories
Sub Categories
Keywords