Experience

Moscow Aviation Institute (National Research University), MAI

• Russian Federation
• Aviation & Aerospace
• 1 - 100 Employee

• Verification engineer

  • Jan 2012 - Present

  Разработка ПО, обеспечивающего функциональную верификацию логических моделей на языке Verilog/SystemVerilog в том числе с использованием методологии UVM. Разработка анализаторов функционального покрытия на языке SystemVerilog. Разработка плана тестирования. Разработка документации на ПО в соответствии с зарубежными стандартами и ЕСПД. Программирование драйверов Windows (отладочная плата Xilinx ml605, интерфейс PCIe). Опыт разработки программного обеспечения подсистемы обеспечения моделирования функционирования цифровых устройств на С++ с использованием Qt. Опыт разработки лексических и синтаксических анализаторов с использованием Flex/Lex и Bison/Yacc (Си и С++ версии), используемых в составе ПО разбора и модификации логических моделей цифровых устройств на языке Verilog. Программирование пользовательских интерфейсов на Qt, Java и C#. Разработка логических моделей для ПЛИС Xilinx, Altera, Actel на языках Verilog/SystemVerilog. Опыт разработки системного ПО на языке Си и Ассемблер для бортового устройства на базе MIPS-процессора. Разработка параметризуемой функциональной модели интерфейса и коммутатора SpaceWire в соответствии со стандартом ECSS-E-ST-50-12C. Разработка TLM-моделей цифровых устройств с использованием языка SystemC Участие в ОКР, НИР, НИОКР. Show less



Russian Aircraft Corporation MiG

• Engineer

  • 2010 - 2012

  Разработка многопользовательского клиент-серверного ПО на языке C# для системы обучения летного и технического состава. Разработка баз данных в SQL Server. Разработка многопользовательского клиент-серверного ПО на языке C# для системы обучения летного и технического состава. Разработка баз данных в SQL Server.