Formal Verification Engineer — Nvidia | cvGO!

Nvidia · 2 Locations · Office

### О роли Formal Verification Engineer в Nvidia. Верификация аппаратных блоков GPU и SoC формальными методами. ### Обязанности - Разработка формальных спецификаций и свойств (SVA, PSL) для RTL-дизайна. - Model checking и equivalence checking на уровне блоков и подсистем. - Анализ контрпримеров, отл