awesome-functional-verification

Группы по стандартизации, воплотившие в жизнь большинство современных стандартов типа SystemC, OVL, UVM, IP-XACT и.т.п. Собственно содержит сами стандарты, материалы и презентации их поясняющие (качество дополнительных материалов на мой взгляд среднее, интересны сами стандарты)

Материалы по verilog, vmm, ovm. Ресурс выглядит недоделанным и заброшенным, многие ссылки давно не проверялись

Официальный сайт поставщика САПР. При регистрации даёт доступ к материалам, в том числе, связанным с методикам верификации. Возможна свободная регистрация, однако привязка аккаунта к фирме, использующей данный САПР дает более широкий доступ к информации. Естественно материалы ориентированы на использование САПР компании.

Вводные туториалы по Verilog, SV, UVM. Плюс ресурса - большой объем примеров кода, иногда встречаются хорошие картинки или гифки поясняющие материал. При этом субъективно на

Разные рецепты по UVM

смежная область верификация ПО

смежная область верификация ПО

инструмент для анализа покрытия verilog кода (не проверял)

свободный просмотрщик waveform (vcd support)

Плагин для elclipse, позволяющий просматривать вэйвформы (vcd)

Пример реализации пользовательского UVM сервера печати

Примеры применения паттернов программирования в SystemVerilog и ряд других интересных примеров от специалиста из Intel

Генератор кзаготовки UVM агента на основе шаблона

открытый образовательный проект, позволяющий за относительно короткое время пройти курс разработчика процессоров от архитектуры и RTL до компиляторов и операционных систем

не курс, но содержит ключевые слова для поиска материалов для саморазвития

Опенсорс инструмент для редактирования IP-XACT описаний

Плагин для eclipse. Дает возможность редактирования иерархических SV проектов (навигация, Code assistance, подсветка…)