Инженер-верификатор

ООО «Текон Микропроцессорные технологии» специализируется на разработке российских «Систем на Кристалле», используемых в промышленных контроллерах. Текон МТ представляет собой современный российский дизайн-центр по разработке и производству цифровых, аналогово-цифровых микросхем и микроэлектронных компонентов приглашает на работу инженера-верификатора. Команда Мы занимаемся верификацией цифровых систем на кристалле собственной разработки, востребованных в промышленной автоматизации. Чтобы справиться с такой сложной, но интересной задачей, мы пользуемся современными подходами верификации и всегда ищем и пробуем новые. Мы придерживаемся систематического маршрута, который хорошо себя зарекомендовал в мире. Он полагается на тщательное планирование, обеспеченное метриками покрытия, стратегию constrained random verification в UVM-среде, регрессионное тестирование и работу на получение понятного, измеримого результата. Обязанности: Верификация цифровых устройств различного размера и сложности: от интерфейсного моста до системы на кристалле (СнК). Полный цикл верификации: Планирование верификации. Разработка верификационной среды и тестов. Отладка устройства. Регрессионной тестирование. Сведение покрытия. Тесная работа с другими участниками маршрута разработки СнК: архитектором, дизайнерами, программистами. Участие в системной верификации: интеграция модульной среды на уровень системы, разработка системных стимулов и покрытия, разбор сбоев. Требования: Нам крайне важны: Навыки решения задач (problem solving skills). Высокая самостоятельность. Например, в решении новых задач мы рассчитываем на вашу способность самостоятельно изучить вопрос и собрать все нужные сведения, оценить альтернативные решения и обоснованно выбрать подходящий вариант; не стесняться обсуждать с коллегами свои решения и код. Опыт дизайна или верификации цифровых устройств или программирования. В повседневной работе понадобятся: Понимание современных принципов верификации: планирование и покрытие, coverage-driven verification и constrained random verification. Понимание основ объектно-ориентированного программирования. Опыт разработки на SystemVerilog/UVM. Умение работать с Git. Знакомство с Redmine/Jira или другими системами отслеживания ошибок. Знакомство с Bamboo/Jenkins или другими системами непрерывной интеграции. Отличным дополнением станут: Знакомство с методиками формальной верификации. Опыт применения SystemVerilog Assertions. Опыт gate-level simulation и отладки на вентильном уровне. Понимание лучших практик объектно-ориентированного программирования: SOLID, GRASP, шаблоны проектирования. Понимание принципов проектирования цифровой аппаратуры. Условия: Заработная плата белая, обсуждается на собеседовании, в зависимости от опыта и компетенций Офис в пешей доступности - ст. м. Октябрьское поле (7 минут), ст. МЦК Зорге (2 минуты) Гибкий график работы, возможность удалённой работы (гибрид) Испытательный срок – 3 месяца ДМС со стоматологией после года работы Работа в аккредитованной IT-компании: возможность получить бронь от мобилизации Бесплатное корпоративное питание, уютная зона отдыха с кофе-поинт, бесплатный тренажерный зал, секция цигун, пилатеса, настольный теннис, волейбол, аэрохокей Бесплатная парковка