Институт № 3 «Системы управления, информатика и электроэнергетика»

О компании


Корпорация Mentor Graphics® — лидер в разработки технологий и программного обеспечения автоматизации проектирования электроники (EDA, САПР) с широчайшим в отрасли портфеле лучших в своем классе продуктов. Корпорация широко известна своими системами автоматизации проектирования в части средств физической верификации заказных интегральных микросхем (Calibre®), средствами функциональной верификации и тестирования интегральных схем (Questa®) и средств разработки многослойных печатных плат (Xpedition™ Enterprise).

Приоритетными направлениями развития средств проектирования, поставляемых Mentor Graphics, являются комплексные маршруты проектирования, функциональной и физической верификации систем, печатных плат и интегральных схем, в том числе HDL-проектирование (HDL — Hardware Discription Language, языки описания аппаратуры) программируемых логических интегральных схем (ПЛИС) и заказных интегральных схем, проектирование встроенных программных систем, программно-аппаратная верификация, аппаратная эмуляция, тепловой и электромагнитный анализ, тестирование, тестопригодность и диагностика, формальная верификация и многое другое.

Официальным представителем компании Mentor Graphics в России и СНГ с правом распространения всего спектра продукции является компания Megratec.


Университетская программа

Университетская программа корпорации Mentor Graphics (Mentor Graphics High Education Programm, далее HEP) основана в 1985 году для развития квалифицированных инженеров в отрасли электроники. Программа представляет доступ образовательным учреждениям всего мира (на текущий момент более чем 1500 научных учреждений) к современным инструментам проектирования для обучения и проведения научных исследований, чтобы гарантировать выпускникам в области электроники знание современных инструментов и методов разработки.

Кафедра «Вычислительные машины, системы и сети» является участником HEP с начала 2013 года и использует предоставляемое программное обеспечение, входящее в состав пакета «Design, Verification and Test», для осуществления образовательной и научной деятельности с участием студентов кафедры.


Программное обеспечение

Questa Advanced Functional Verification Platform Questa — платформа функциональной верификации, поддерживающая последние версии стандаротов по функциональной верификации цифровых устройств, поддерживающая методы верификации на безе утверждений (assertion), на бызе функционального покрытия с возможностью автоматизации процесса, использования методов формального пнализа устройств с несколькими доменами системной частоты (clock domain) и поддерживаемая полным набором IP (intellectual property) блоков.


FPGA Design and Verification Законченные решения, содержащие программное обеспечение для разработки устройства с использованием HDL, проведения моделирования, проведения аппаратно-программной верификации ведущих ПЛИС, их логический и физический синтез


C Based Design and Verification Полный набор инструментов для разработки цифровых устройств с использованием языков C и SystemC


Tessent Silicon Test Полный комплект технологических решений для анализа тестопригодности, сканирования, переферийного сканирования и синтеза тестов памяти интегральных схем на этапе пост производства, а также инструменты для автоматического создания тестовых шаблонов


Hardware-Software Co-Verification Инструмент для аппаратно-програмной верификации интегральных схем


System Modeling Законченная среда для разработки и верификации устройств с использованием смешанных сигналов и написанных с использованием различных языков, распространенных в автомобильных электрических системах, различных системах управления и мехатронных системах.

Контакты
Заведующий кафедрой
Брехов
Олег Михайлович
+7 499 158-4382
kaf304skr@mai.ru
каб. 4383

Заведующий учебной лабораторией
Мухин
Никита Юрьевич
+7 499 158-4617
n.u.mukhin@mai.ru
каб. 4503
Начальник научно-исследовательского отдела
Кордовер
Константин Александрович
+7 499 158-4617
nio304@mai.ru
Сайт
каб. 4503