Современные инструменты верификации систем-на-кристалле - Никита Малышев (ЭРЕМЕКС)

Спикер: Никита Малышев, руководитель направления САПР цифрового моделирования и синтеза, «ЭРЕМЕКС». Тема: Современные инструменты верификации систем-на-кристалле: Code Coverage, SDF-моделирование, Verilog-AMS и UVM в среде Simtera IC Поговорили о том, как сделать верификацию поведенческого дизайна на Verilog и SystemVerilog не просто формальной задачей, а эффективным и управляемым процессом. Разобрали, зачем нужен анализ покрытия кода, что дает моделирование с задержками по SDF и цифро-аналоговое моделирование, как использовать UVM для построения тестовых сред в Simtera IC. Отдельно затронули отечественные решения и их возможности, без которых сегодня никуда.