Московский физико-технический институт (государственный университет) и представительство корпорации Intel в странах СНГ объявили о проведении конкурса исследовательских работ в области автоматизации проектирования интегральных схем. На конкурс принимаются проекты, посвященные постановке и решению оригинальных научных задач в следующих областях:
- логический синтез, анализ и оптимизация: фундаментальные и частные теоретические разработки в области синтеза, анализа и оптимизации цифровых устройств и систем;
- алгоритмы декомпозиции: теоретические работы и эффективные алгоритмы в области декомпозиции булевых функций, автоматов, систем на всех уровнях проектирования, а также декомпозиция синхронных и асинхронных систем;
- объединение синтеза, размещения и трассировки: разработка эффективных методов проектирования, допускающих дополнительную оптимизацию по многим критериям за счет взаимодействия между смежными этапами проектирования;
- анализ и синтез систем синхронизации: разработка методов анализа и синтеза систем синхронизации отдельных подсистем в СБИС, анализ и синтез асинхронных систем и асинхронных взаимодействий различных подсистем, управление взаимодействием с внешней средой, разработка специализированных языков в этой области;
- оптимизационные алгоритмы: новые теоретические разработки или эффективное комбинирование известных логических или численных методов оптимизации, ориентированных на CAD в области схемотехники СБИС и системотехники;
- алгоритмы на графах: разбиение, кластеризация, клики, раскраска, выделение иерархии и другие алгоритмы на графах, ориентированные на CAD;
- размещение и трассировка: разработка новых методов и эффективных алгоритмов для размещения стандартных элементов и схем и трассировки соединительных связей с учетом технологических, надежностных и физических характеристик логических элементов;
- временной анализ и верификация на физическом уровне: разработка эффективных методов и алгоритмов точного временного, электрического и теплового анализа логических схем и систем на уровне физики полупроводниковых приборов в условиях нанотехнологии;
- формальная верификация моделей: разработка методов и алгоритмов для автоматизации процесса верификации математических моделей и применяемых численных методов, используемых при проектировании интегральных схем;
- разработка новых программных комплексов для автоматизированного проектирования цифровых СБИС высокой степени интеграции;
- методологические проблемы подготовки специалистов по новым технологиям проектирования;
К участию в конкурсе приглашаются творческие коллективы из всех стран СНГ, состоящие в основном из сотрудников научно-исследовательских институтов и университетов, включая преподавателей и учащихся. Допускается участие представителей других предприятий и организаций, а также подача индивидуальных заявок. Авторы лучших проектов получат денежный приз, эквивалентный $2000. Кроме того, в МФТИ будет организована серия семинаров, на которых победителям будет предложено выступить с сообщениями, посвященными представленным проектам.
Подробнее с условиями конкурса можно ознакомиться на сайте Intel по адресу: www.intel.com/ru/education/projects/contestCAD.htm.
И. Л.
