Formal Verification Engineer — Nvidia | cvGO!

Nvidia · Israel, Tel Aviv · Office

### О роли Разработка и внедрение формальных методов верификации для цифровых схем и архитектуры GPU. Обеспечение корректности критических блоков на этапе проектирования. ### Обязанности - Разработка формальных спецификаций и assertions для RTL-дизайнов. - Проведение формальной верификации (model ch