Напиши текст вакансии для должности "Ведущий инженер по верификации RTL кода". Название компании: "ГК «ХайТэк»". Расположение: Москва. График работы: Удаленная работа. Опыт работы: От 1 года до 3 лет. Ключевые навыки: 'asic', 'uvm', 'Verification IP', 'OOP', 'Coverage', 'SVA', 'Constraints', 'HVP', 'Cadence Xcelium', 'Cadence vManager', 'Jenkins'

Наша команда, занимающаяся разработкой тензорного микропроцессора, ищет ведущего инженера по верификации RTL кода. Задачи:   Разработка плана верификации отдельных IP и системы в целом;      Разработка тестового окружения по методологии UVM для отдельных IP с последующей вертикальной интеграцией в тестовое окружение системы;   Разработка переиспользуемых компонентов для верификации (Verification IP); Разработка модели покрытия с использованием языковых конструкций, таких как covergroups и cover property, для отдельных IP и системы в целом; Разработка тестов и тестовых последовательностей с использованием constraint random coverage driven методологии; Контроль прогресса тестирования проекта (анализ таких метрик, как bugrate, кодовое и функциональное покрытие), участие в принятии решения о tapeout; Настройка и поддержка среды регрессионного тестирования для отдельных IP и непрерывной интеграции проекта.  Необходимые навыки:  Знание constraint random coverage driven методологии верификации; Знание SystemVerilog для верификации (OOP, Coverage, SVA, Constraints); Знание UVM; Опыт использования Verification IP стороннего производителя; Опыт работы со средством распределенного управления версиями (Git, или другим); Умение самостоятельно планировать свою работу, лаконично объяснять и документировать результаты; Умение ясно и четко ставить задачи и контролировать результат их выполнения.  Гибкие навыки:  Критическое мышление и навык решения задач; Умение быть хорошим наставником; Умение выслушать и понять идеи других людей, иную точку зрения и ценности; Умение выразить и эффективно донести собственные идеи; Умение подойти к своим коллегам с эмпатией и поддержкой.  Будет плюсом:  Опыт формальной верификации с использованием SVA; Опыт работы с прототипом; Опыт разработки HVP; Опыт работы со средством моделирования Cadence Xcelium; Опыт работы со средой управления верификацией Cadence vManager; Опыт работы со средой непрерывной интеграции Jenkins.  Мы предлагаем:   Официальное трудоустройство и оформление согласно ТК РФ;   Медицинскую страховку ДМС и НС – после испытательного срока;   Корпоративную скидку на изучение английского языка и фитнес;  Профессиональное обучение и сертификацию за счет средств Компании; Формат работы удаленно либо в офисе на свой выбор; Дополнительные стимулирующие выплаты; Выходной день в честь дня рождения.