Московский физико-технический институт (государственный университет) и компания Intel объявили конкурс исследовательских проектов в области автоматизации проектирования интегральных схем. На конкурс принимаются проекты с решением оригинальных научных задач по следующим направлениям:
- логический синтез, анализ и оптимизация — фундаментальные и частные теоретические разработки в области синтеза, анализа и оптимизации цифровых устройств и систем;
- алгоритмы декомпозиции — теоретические работы и эффективные алгоритмы в области декомпозиции булевых функций, автоматов, систем на всех уровнях проектирования, а также декомпозиции синхронных и асинхронных систем;
- объединение синтеза, размещения и трассировки — разработка эффективных методов проектирования, допускающих дополнительную оптимизацию по многим критериям за счет взаимодействия между смежными этапами проектирования;
- анализ и синтез систем синхронизации — разработка методов анализа и синтеза систем синхронизации отдельных подсистем в СБИС (сверхбольших ИС), анализ и синтез асинхронных систем и асинхронных взаимодействий различных подсистем, управление взаимодействием с внешней средой, разработка специализированных языков в этой области;
- оптимизационные алгоритмы — новые теоретические разработки или эффективное комбинирование известных логических и численных методов оптимизации, ориентированных на CAD, в области схемотехники СБИС и системотехники;
- алгоритмы на графах — разбиение, кластеризация, раскраска, выделение иерархии и другие алгоритмы, ориентированные на CAD;
- размещение и трассировка — разработка новых методов и эффективных алгоритмов для размещения стандартных элементов и схем, а также для трассировки соединительных связей с учетом технологических, надежностных и физических характеристик логических элементов;
- временной анализ и верификация на физическом уровне — разработка эффективных методов и алгоритмов точного временного, электрического и теплового анализа логических схем и систем на уровне физики полупроводниковых приборов с применением нанотехнологий;
- формальная верификация моделей — разработка методов и алгоритмов для автоматизации процесса верификации математических моделей и применяемых численных методов, используемых при проектировании ИС;
- разработка новых программных комплексов для автоматизированного проектирования цифровых СБИС высокой степени интеграции.
К участию в конкурсе приглашаются творческие коллективы из России, стран СНГ, государств Восточной Европы — главным образом сотрудники научно-исследовательских институтов и университетов, включая преподавателей и студентов. Допускается участие представителей других предприятий и организаций, а также подача индивидуальных заявок.
Заявка до 15 октября должна быть выслана по электронной почте на адрес: research@intel.ru.
Победители конкурса будут определены к 1 ноября 2005 г. Призовой фонд конкурса составляет 30 тыс. долл. в качестве гранта (для научного коллектива) на реализацию представленного проекта.
Более подробную информацию можно найти по адресу: www.intel.ru/education.
Александр Чубуков
