Напиши текст вакансии для должности "RTL designer". Название компании: "Syntacore". Расположение: Санкт-Петербург. График работы: Гибкий график. Опыт работы: От 3 до 6 лет. Ключевые навыки: 'verilog', 'RTL', 'asic', 'system verilog'

Syntacore – лидирующая международная компания-разработчик микропроцессорных IP ядер RISC-V и инструментов программирования с основными R&amp;D офисами в России. Наши клиенты и партнеры - значимые компании из США, Азии, Европы и России, создающие вычислительные платформы, системы обработки и хранения данных, персональные и «умные» устройства, включая высокопроизводительные многоядерные гетерогенные системы со сложной специализацией и расширениями системы команд, произведенные по нормам до 5нм. Придя к нам, вы станете участником глобальной трансформации в индустрии при переходе на открытую процессорную архитектуру в системах следующего поколения. Вы сможете стать первыми в мире в создании новых инструментов и оптимизации для RISC-V в новых областях применения, повлиять на расширения RISC-V, работая с международным сообществом, поделиться своими достижениями и обменяться опытом на конференциях. Мы приглашаем вас идти по этому маршруту вместе с нами! Чем предстоит заниматься: Разработкой и верификацией сложных функциональных модулей для ASIC на Verilog. Рассматриваем кандидатов от Middle до Principal уровня. Что мы ожидаем от будущего члена команды:  Опыт разработки и верификации RTL для ASIC от 3 лет; Отличное знание Verilog/System Verilog; Опыт использования RTL симулятора от 3 лет (any vendor); Знакомство с архитектурой современных процессоров, знание современных SoC интерфейсов (ACE, AXI); Уверенный пользователь Linux; Знание английского языка на уровне чтения технической документации и умения вести переписку на технические темы;; Опыт работы с системами контроля версий.  Дополнительно приветствуем:  Знакомство с make и скриптовыми языками (perl/python/tcl/shell); Опыт программирования на C/asm; Опыт работы с ПЛИС от Altera и/или Xilinx и соответствующим программным обеспечением; Знакомство с методами формальной верификации, SVA.  Будем рады предложить вам:  Конкурентную заработную плату Оформление по ТК РФ, медицинскую страховку, оплачиваемый отпуск и больничный Гибкий рабочий график, возможность удаленной работы Программы обучения, развития сотрудников, возможность публикаций и поездок на конференции  Рассмотрим перспективных кандидатов, опыт которых не полностью соответствует требованиям.