Просмотр исходного текста страницы Команда факультета ВМК - победитель соревнования 2015 CAD Contest

[[Категория:События]]

[[File:2015_cad_contest_team.jpg|right|200px]]
Команда факультета ВМК МГУ, состоящая из [http://istina.msu.ru/profile/g_v_antyufeev/ Григория Антюфеева] (аспиранта кафедры МК, капитана команды), [http://istina.msu.ru/workers/11510731/ Владимира Жукова] (студента кафедры СП), Евгения Зенина (МФТИ) и [[Шуплецов Михаил Сергеевич|Михаила Шуплецова]] (ассистента кафедры МК, научного руководителя команды), впервые победила на международном соревновании «[http://cad-contest.el.cycu.edu.tw/CAD-contest-at-ICCAD2015/ 2015 CAD Contest at ICCAD]» по решению прикладных математических задач в области автоматизации проектирования интегральных схем. Итоги соревнования были объявлены [http://iccad.com/event_details?id=196-10-B на специальной секции] 34-ой Международной конференции по автоматизации проектирования [http://iccad.com/ ICCAD 2015] 2-го ноября 2015 года в г. Остин, штат Техас, США. Программа, разработанная командой факультета для решения задачи «[http://cad-contest.el.cycu.edu.tw/problem_B/default.htm Large-Scale Equivalence Checking and Function Correction]», показала наилучшие результаты на финальном тестировании, проводимом организаторами соревнования.

[[File:2015_cad_contest_winners_award.jpg|left|200px]]
Подготовка команд для участия в соревнованиях по автоматизации проектирования началась в 2013 году как один из результатов сотрудничества группы под руководством [[Ложкин Сергей Андреевич|С.А. Ложкина]] с профессором Мичиганского университета (г. Анн-Арбор, США) [http://web.eecs.umich.edu/~imarkov/ Игорем Марковым]. На данный момент только команды, подготовленные при активном участии этой группы, ежегодно представляют Российскую Федерацию на соревнованиях подобного типа.

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

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

=== Презентации ===

[http://cad-contest.el.cycu.edu.tw/CAD-contest-at-ICCAD2015/2015_CAD_topic_chair/ICCAD_2015_Contest.pdf общая презентация по итогам соревнования]

[http://cad-contest.el.cycu.edu.tw/CAD-contest-at-ICCAD2015/2015_CAD_topic_chair/ProblemB_Jacky.pdf презентация результатов задачи, которая решалась командой факультета]

=== Фотографии ===

[[File:2015_cad_contest_gallery_1.JPG|200px]]
[[File:2015_cad-contest_gallery_2.JPG|200px]]
[[File:2015_cad_contest_gallery_3_corrected.JPG|200px]]
[[File:2015_cad_contest_gallery_4.jpg|200px]]
[[File:2015_cad_contest_gallery_5.JPG|200px]]