Напиши текст вакансии для должности "RTL verification engineer". Название компании: "Syntacore". Расположение: Санкт-Петербург. График работы: Гибкий график. Опыт работы: От 3 до 6 лет. Ключевые навыки: 'Verilog', 'ASIC', 'SoC', 'System Verilog', 'Linux', 'RTL'

Syntacore – лидирующая международная компания-разработчик микропроцессорных IP ядер RISC-V и инструментов программирования с основными R&amp;D офисами в России. Наши клиенты и партнеры - значимые компании из США, Азии, Европы и России, создающие вычислительные платформы, системы обработки и хранения данных, персональные и «умные» устройства, включая высокопроизводительные многоядерные гетерогенные системы со сложной специализацией и расширениями системы команд, произведенные по нормам до 5нм. Придя к нам, вы станете участником глобальной трансформации в индустрии при переходе на открытую процессорную архитектуру в системах следующего поколения. Вы сможете стать первыми в мире в создании новых инструментов и оптимизации для RISC-V в новых областях применения, повлиять на расширения RISC-V, работая с международным сообществом, поделиться своими достижениями и обменяться опытом на конференциях. Мы приглашаем вас идти по этому маршруту вместе с нами! Чем предстоит заниматься:  Функциональной верификацией IP модулей Участвовать в создании системы регрессионного тестирования IP  Рассматриваем кандидатов от Middle до Principal уровня. Что мы ожидаем от будущего члена команды:  Опыт верификации и/или разработки RTL от 3 лет Знакомство с архитектурой 1+ современного процессора Уверенный пользователь RTL симулятора (any vendor) Хорошее знание Verilog/SystemVerilog Владение скриптовыми языками (perl/python/tcl/shell scripting) Уверенный пользователь Linux Знание английского языка на уровне чтения технической документации и умения вести переписку на технические темы  Дополнительно приветствуем:  Опыт программирования на ASM, С Опыт с системами Continuous Integration Знакомство с OVM/UVM Знакомство с современными SoC интерфейсами (AXI, AHB, OCP)  Будем рады предложить вам:  Конкурентную заработную плату Оформление по ТК РФ, медицинскую страховку, оплачиваемый отпуск и больничный Гибкий рабочий график, возможность удаленной работы Программы обучения, развития сотрудников, возможность публикаций и поездок на конференции