АО НПЦ «ЭЛВИС» — ключевой российский дизайн-центр по разработке элементной базы для систем связи и телекоммуникационного оборудования, входит в реестр...
Развивать методы формального (математического) доказательства (при наличии предрасположенности к математическим методам). Неоконченное высшее (бакалавриат, начиная с 3 курса).
Разработка стратегии и тестового плана функциональной верификации цифровых блоков микросхем смешанного сигнала. Разработка компонентов верификационного окружения. Написание поведенческих моделей для...
Навыки программирования на C/C++. Представление об ООП, UVM. Представление о маршруте проектирования микросхем. Представление о процессе функциональной верификации.
Разработка тестового плана функциональной верификации для СФ-блока/СнК. Разработка верификационного окружения и верификационных компонентов (агентов) с использованием UVM/SystemVerilog...
Опыт разработки кода на Verilog/SystemVerilog. Опыт разработки или верификации цифровых схем. Опыт программирования на С/С++. Понимание ООП.