Команда факультета ВМК - победитель соревнования 2015 CAD Contest — различия между версиями

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Добавлены ссылки на страницы членов команды, уточнены их роли)
м
 
Строка 1: Строка 1:
[[Category:Новости]]
+
[[Категория:События]]
  
 
[[File:2015_cad_contest_team.jpg|right|200px]]
 
[[File:2015_cad_contest_team.jpg|right|200px]]

Текущая версия на 19:14, 17 октября 2016

2015 cad contest team.jpg

Команда факультета ВМК МГУ, состоящая из Григория Антюфеева (аспиранта кафедры МК, капитана команды), Владимира Жукова (студента кафедры СП), Евгения Зенина (МФТИ) и Михаила Шуплецова (ассистента кафедры МК, научного руководителя команды), впервые победила на международном соревновании «2015 CAD Contest at ICCAD» по решению прикладных математических задач в области автоматизации проектирования интегральных схем. Итоги соревнования были объявлены на специальной секции 34-ой Международной конференции по автоматизации проектирования ICCAD 2015 2-го ноября 2015 года в г. Остин, штат Техас, США. Программа, разработанная командой факультета для решения задачи «Large-Scale Equivalence Checking and Function Correction», показала наилучшие результаты на финальном тестировании, проводимом организаторами соревнования.

2015 cad contest winners award.jpg

Подготовка команд для участия в соревнованиях по автоматизации проектирования началась в 2013 году как один из результатов сотрудничества группы под руководством С.А. Ложкина с профессором Мичиганского университета (г. Анн-Арбор, США) Игорем Марковым. На данный момент только команды, подготовленные при активном участии этой группы, ежегодно представляют Российскую Федерацию на соревнованиях подобного типа.

Цель соревнования «2015 CAD Contest at ICCAD» - решение сложных и актуальных математических задач в области автоматизации проектирования интегральных схем. К участию в соревновании приглашаются команды студентов и аспирантов под руководством профессоров и преподавателей ведущих ВУЗ-ов мира. Каждая команда в течение нескольких месяцев проводит научное исследование одной из трех задач соревнования. Традиционно организаторы соревнования совместно с ведущими мировыми университетами и компаниями в области проектирования интегральных схем предлагают по одной задаче из следующих областей: системное проектирование интегральных схем, логический синтез и верификация интегральных схем и топологический синтез интегральных схем. По итогам участия в соревновании команда должна написать комплекс программ, который позволяет решать предложенную задачу. Результаты работы программы проверяются организаторами соревнования и специалистами по проектированию интегральных схем на специально подготовленных описаниях реальных интегральных схем.

Совместными спонсорами соревнования выступают Совет по автоматизации проектирования Института инженеров по электротехнике и электронике (IEEE CEDA) и Министерство образования Тайваня. В 2015 году в соревновании приняло участие 112 команд из 12 стран мира. Основной целью соревнования является налаживание более тесных связей между ведущими университетами и компаниями, которые ведут исследования в области автоматизации проектирования. Традиционно результаты лучших команд, участвовавших в соревновании, публикуются в ведущих журналах по автоматизации проектирования и докладываются на международных конференциях.

Презентации

общая презентация по итогам соревнования

презентация результатов задачи, которая решалась командой факультета

Фотографии

2015 cad contest gallery 1.JPG 2015 cad-contest gallery 2.JPG 2015 cad contest gallery 3 corrected.JPG 2015 cad contest gallery 4.jpg 2015 cad contest gallery 5.JPG