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