- Логический синтез, анализ и оптимизация: фундаментальные и
частные
теоретические разработки в области синтеза, анализа и оптимизации
цифровых
устройств и систем
- Алгоритмы декомпозиции: теоретические работы и эффективные алгоритмы
в
области декомпозиции булевых функций, автоматов, систем на всех
уровнях
проектирования, а также декомпозиция синхронных и асинхронных
систем
- Объединение синтеза, размещения и трассировки: разработка
эффективных
методов проектирования, допускающих дополнительную оптимизацию
по многим
критериям за счет взаимодействия между смежными этапами
проектирования
- Анализ и синтез систем синхронизации: разработка методов анализа и
синтеза
систем синхронизации отдельных подсистем в СБИС, анализ и синтез
асинхронных
систем и асинхронных взаимодействий различных подсистем,
управление
взаимодействием с внешней средой, разработка специализированных
языков в
этой области
- Оптимизационные алгоритмы: новые теоретические разработки или
эффективное
комбинирование известных логических или численных методов
оптимизации,
ориентированных на CAD в области схемотехники СБИС и
системотехники.
- Алгоритмы на графах: разбиение, кластеризация, клики, раскраска,
выделение
иерархии и другие алгоритмы на графах, ориентированные на CAD.
- Размещение и трассировка: разработка новых методов и эффективных
алгоритмов
для размещения стандартных элементов и схем и трассировки
соединительных
связей с учетом технологических, надежностных и физических
характеристик
логических элементов
- Временной анализ и верификация на физическом уровне: разработка
эффективных
методов и алгоритмов точного временного, электрического и
теплового анализа
логических схем и систем на уровне физики
полупроводниковых приборов в
условиях нанотехнологии
- Формальная верификация моделей: разработка методов и алгоритмов
для
автоматизации процесса верификации математических моделей и
применяемых
численных методов, используемых при проектировании интегральных
схем
- Разработка новых программных комплексов для
автоматизированного
проектирования цифровых СБИС высокой степени интеграции
Участвовать в конкурсе могут творческие коллективы из России, стран СНГ
и
Восточной Европы, состоящие, в основном, из
сотрудников
научно-исследовательских институтов и университетов, включая
преподавателей
и учащихся. Допускается участие представителей других
предприятий и
организаций, а также подача индивидуальных заявок.
Для участия в конкурсе необходимо подать заявку, содержащую
следующую
информацию:
Название проекта;
Его краткое
описание (50 - 60 предложений);
ФИО, учёная степень и звание руководителя
группы;
Состав группы;
Адреса для корреспонденции;
Список основных
научных работ авторов проекта, выполненных в течение
последнего года.
Заявка должна представлять собой 3-4 страницы машинописного текста
на
русском языке в формате Microsoft Word. Она должна быть выслана
по
электронной почте на адрес research@intel.ru.
Последний день подачи
заявок - 15 октября 2005 года.
При определении победителей будут приниматься
во внимание следующие
критерии:
Актуальность темы;
Новизна и
оригинальность предлагаемых решений;
Какими ресурсами обладает группа,
участвующая в конкурсе, для решения
поставленных задач (состав группы,
наличие публикаций по соответствующей
тематике);
Наличие определённого
задела на пути к декларируемой цели.
Сроки проведения конкурса.
Победители конкурса будут определены к 1 ноября
2005 года. Призовой фонд
конкурса составляет 30 тысяч долларов США.
Указанную сумму получит научный
коллектив, чьё предложение будет признано
лучшим, в качестве гранта на
реализацию представленного проекта. В случае
если победителей будет
несколько, призовой фонд будет поделен между ними в
равных долях.
Публикации. На сайте МФТИ будут опубликованы аннотации лучших
проектов.