Formal Verification Engineer — Nvidia | cvGO!

Nvidia · Israel, Yokneam · Office

### О роли Верификация сложных аппаратных блоков GPU и SoC с использованием формальных методов. ### Обязанности - Разработка формальных спецификаций и свойств (SVA) для RTL-дизайна. - Формальная верификация блоков и подсистем (JasperGold, VC Formal). - Анализ контрпримеров и исправление ошибок на ра