В хардверной индустрии верификация обычно привлекает меньше внимания, чем непосредственно аппаратная разработка. В 23 выпуске «Битовых масок» мы решили восполнить этот пробел и пригласили в студию Алину Галичину из группы модульной верификации YADRO. Алина получила высшее образование на кафедре волоконно-оптических систем связи и перешла в разработку и верификацию цифровых схем.

С Алиной ведущие обсудили множество связанных с верификацией и других тем:

⏺️Ограничения DSP-процессоров;
⏺️Особенности верификации с точки зрения типа устройств;
⏺️Как организуют трассировку печатных плат;
⏺️Разницу между функциональной и формальной верификацией, важность покрытия в них;
⏺️Баланс между полнотой покрытия и экономией ресурсов;
⏺️Альтернативы UVM-методологии;
⏺️Важность верификации на unit-уровне;
⏺️Особенности верификации аналоговых и аналогово-цифровых схем;
⏺️Чем помогают эмуляторы в верификации;
⏺️Почему аппаратная разработка консервативней программной.

Смотреть или слушать

@bitemask