Напиши текст вакансии для должности "Разработчик RTL". Название компании: "ГК «ХайТэк»". Расположение: Москва. График работы: Полный день. Опыт работы: От 1 года до 3 лет. Ключевые навыки: 'RTL', 'FPGA', 'ASIC', 'SystemVerilog', 'AXI4', 'AXI4-Stream', 'SV assertions', 'UVM', 'code coverage', 'нейронные сети', 'ЦОС', 'Python'

О проекте: В современном мире мы все чаще слышим о машинном обучении и системах искусственного интеллекта, основанных на применении нейронных сетей. Эти технологии дают потрясающие результаты, однако острым вопросом встает о все растущих вычислительных потребностях данных систем. Поэтому наша компания разработала специализированный тензорный микропроцессор для ускоренного расчета нейронных сетей. В связи с активным развитием проекта ищем специалистов по разработке RTL. Задачи:  Разработка алгоритмов и RTL описания блоков тензорного процессора; Участие в верификации разработанных модулей; Оптимизация алгоритмов и RTL описания по результатам синтеза; Отладка и тестирование разрабатываемых компонентов на FPGA макетах.  Необходимые навыки:  Опыт разработки ASIC от 3-х лет; Отличное знание языка SystemVerilog; Умение писать кроссплатформенный код (ASIC/FPGA); Знакомство со стандартными шинами данных AXI4, AXI4-Stream; Знание принципов оптимизации по частоте и аппаратным ресурсам.  Будет плюсом:  Знакомство со средствами верификации RTL (SV assertions, UVM, code coverage); Опыт логического синтеза RTL и симуляции на уровне netlist; Опыт работы с последними семействами FPGA компании Xilinx; Понимание принципов нейронных сетей, работа с системами ЦОС; Знание Python.  Условия:   Официальное трудоустройство и оформление согласно ТК РФ;   Медицинскую страховку ДМС и НС – после испытательного срока;   Корпоративную скидку на изучение английского языка и фитнес;  Профессиональное обучение и сертификацию за счет средств Компании; Формат работы удаленно либо в офисе на свой выбор; Дополнительные стимулирующие выплаты; Выходной день в честь дня рождения.