Старший/ведущий инженер по верификации дизайна
Местоположение: Сингапур
Компания: Bitdeer Technologies Group
Тип занятости: Полная занятость
О Bitdeer:
Bitdeer — ведущая мировая технологическая компания в области майнинга биткоинов и облачных решений для ИИ.
Bitdeer стремится предоставлять своим клиентам комплексные решения для майнинга биткоинов. Помимо разработки передовых ASIC-чипов и производства майнинговых установок, Группа занимается сложными процессами, связанными с вычислениями по всей цепочке создания стоимости. Это включает закупку оборудования, транспортную логистику, проектирование и строительство центров обработки данных, управление оборудованием, а также эксплуатацию сетей и объектов. Bitdeer также предлагает передовые облачные возможности клиентам с высокими требованиями к искусственному интеллекту.
Штаб-квартира Bitdeer находится в Сингапуре, компания работает по всему миру, имея диверсифицированный энергетический портфель мощностью 3 ГВт, и развертывает центры обработки данных для майнинга биткоинов и HPC в США, Бутане, Норвегии, Канаде, Малайзии и Эфиопии.
Обзор роли:
Мы ищем талантливого инженера по верификации дизайна, который присоединится к нашей команде разработчиков ИС и поможет обеспечить функциональную корректность и производительность компьютерных арифметических IP-блоков. В этой роли вы будете тесно сотрудничать с командами проектирования и верификации для разработки комплексных сред верификации, выполнения планов тестирования и внесения вклада в создание высококачественных IP-блоков и кремния посредством систематической верификации, управляемой охватом.
Краткое описание вакансии:
- Применение UVM (Universal Verification Methodology), SystemVerilog, Verilog и SVA (SystemVerilog Assertions) в задачах верификации.
- Разработка и внедрение передовых методологий верификации, включая UVM, C/C++, ко-симуляцию, формальную верификацию, системную эмуляцию и смешанную симуляцию/эмуляцию.
- Участие в проектах, требующих использования передовых инструментов верификации, таких как платформы Palladium, HAPS и Zebu.
- Эффективное сотрудничество в команде, обеспечение высокого качества результатов.
Ключевые обязанности:
- Глубокое понимание тестируемого дизайна (DUT), включая его архитектуру, интерфейсы и функциональные требования.
- Развертывание тестового стенда для формальной верификации, реализация ограничений и свойств, выполнение доказательств и отладка контрпримеров, генерация отчета о покрытии.
- Сотрудничество с инженерами по верификации и дизайну для определения, рассмотрения и уточнения планов тестирования верификации на основе спецификаций дизайна.
- Реализация тестовых случаев, стимулов и тестовых шаблонов для проверки функциональности DUT и граничных случаев.
- Выполнение симуляций и анализ/отладка RTL-проблем с использованием анализа сигналов и инструментов отладки.
- Запуск и поддержка регрессионных тестовых наборов для проверки изменений дизайна и обеспечения стабильности дизайна на протяжении циклов разработки.
- Мониторинг и улучшение метрик функционального покрытия и покрытия кода, вклад в верификацию, управляемую охватом, и достижение завершения верификации.
- Документирование тестовых случаев, результатов верификации и отчетов о покрытии для поддержки утверждения верификации.
- Вклад в разработку и поддержку скриптов автоматизации, повторно используемых компонентов верификации и Verification IP (VIP) для повышения производительности команды.
Требуемая квалификация:
- Степень бакалавра или магистра в области электротехники, компьютерной инженерии, информатики или смежной области (или обучение по данной программе для начальных должностей).
- Глубокое понимание цифрового логического дизайна и разработки RTL с использованием Verilog или других языков описания аппаратуры (HDL).
- Опыт работы с протоколами шин AMBA (AXI, AHB, APB).
- Практический опыт симуляции RTL, отладки и анализа сигналов с использованием стандартных отраслевых инструментов EDA (например, Synopsys, Cadence или Siemens EDA / Mentor).
- Опыт работы с SystemVerilog и современными методологиями верификации, такими как UVM.
- Опыт работы с инструментами формальной верификации (VC Formal или JasperGold) и основными приложениями (FPV, DPV и т. д.).
- Знакомство со средами Linux/Unix и скриптингом для автоматизации (например, Bash, C Shell, Perl или Python).
- Опыт использования систем контроля версий, таких как Git или SVN, в среде совместной разработки.
- Хорошие аналитические навыки и навыки отладки, способность выявлять и устранять RTL- и функциональные проблемы.
- Отличные коммуникативные навыки на английском языке, как в письменной, так и в устной форме, способность четко документировать результаты верификации.
- Самомотивация, внимание к деталям, способность эффективно работать как самостоятельно, так и в команде.
Предпочтительная квалификация:
- Подтвержденный опыт внесения вклада в создание IP-блоков производственного качества и прошедших кремниевое тестирование;
- Опыт использования AI Agent для повышения производительности верификации.
- Знакомство с архитектурой процессоров RISC-V или концепциями верификации ЦП.
- Опыт программирования на C/C++ для разработки тестовых стендов или утилит верификации.
- Опыт работы с верификацией, управляемой охватом, и рабочими процессами автоматизации регрессионного тестирования.
Что вы получите, работая с нами:
- Культура, ценящая подлинность и разнообразие мнений и происхождения;
- Инклюзивное и уважительное окружение с открытыми рабочими пространствами и захватывающим духом стартапа;
- Быстрорастущая компания с возможностью наладить контакты с пионерами и энтузиастами отрасли;
- Возможность напрямую внести свой вклад и оказать влияние на будущее индустрии цифровых активов;
- Участие в новых проектах, разработка процессов/систем;
- Личная ответственность, автономия, быстрый рост и возможности для обучения;
- Привлекательные социальные льготы и возможности для развития, такие как обучение и наставничество.
Bitdeer стремится предоставлять равные возможности трудоустройства в соответствии с законами страны, штата и местными законами. Bitdeer не дискриминирует сотрудников или соискателей по признакам расы, цвета кожи, гендерной идентичности и/или выражения, сексуальной ориентации, семейного и/или родительского статуса, религии, политических убеждений, национальности, этнического происхождения или социального происхождения, социального статуса, инвалидности, возраста, статуса коренного населения и членства в профсоюзе.
