 |
09.09.2005г.
Конкурс исследовательских проектов в области автоматизации проектирования интегральных схем
Московский физико-технический институт (государственный университет) и компания Intel объявили конкурс исследовательских проектов в области автоматизации проектирования интегральных схем.
Цель конкурса - стимулировать обмен идеями и перспективные исследования в области автоматизации проектирования интегральных схем. Победитель получит грант на реализацию своего проекта в размере до 30 тысяч долларов США.
На конкурс принимаются проекты, посвящённые постановке и решению оригинальных научных задач в следующих областях:
- Логический синтез, анализ и оптимизация: фундаментальные и частные теоретические разработки в области синтеза, анализа и оптимизации цифровых устройств и систем
- Алгоритмы декомпозиции: теоретические работы и эффективные алгоритмы в области декомпозиции булевых функций, автоматов, систем на всех уровнях проектирования, а также декомпозиция синхронных и асинхронных систем
- Объединение синтеза, размещения и трассировки: разработка эффективных методов проектирования, допускающих дополнительную оптимизацию по многим критериям за счет взаимодействия между смежными этапами проектирования
- Анализ и синтез систем синхронизации: разработка методов анализа и синтеза систем синхронизации отдельных подсистем в СБИС, анализ и синтез асинхронных систем и асинхронных взаимодействий различных подсистем, управление взаимодействием с внешней средой, разработка специализированных языков в этой области
- Оптимизационные алгоритмы: новые теоретические разработки или эффективное комбинирование известных логических или численных методов оптимизации, ориентированных на CAD в области схемотехники СБИС и системотехники.
- Алгоритмы на графах: разбиение, кластеризация, клики, раскраска, выделение иерархии и другие алгоритмы на графах, ориентированные на CAD.
- Размещение и трассировка: разработка новых методов и эффективных алгоритмов для размещения стандартных элементов и схем и трассировки соединительных связей с учетом технологических, надежностных и физических характеристик логических элементов
- Временной анализ и верификация на физическом уровне: разработка эффективных методов и алгоритмов точного временного, электрического и теплового анализа логических схем и систем на уровне физики полупроводниковых приборов в условиях нанотехнологии
- Формальная верификация моделей: разработка методов и алгоритмов для автоматизации процесса верификации математических моделей и применяемых численных методов, используемых при проектировании интегральных схем
- Разработка новых программных комплексов для автоматизированного проектирования цифровых СБИС высокой степени интеграции
К участию в конкурсе приглашаются творческие коллективы из России и других стран СНГ, а также из государств Восточной Европы, состоящие, в основном, из сотрудников научно-исследовательских институтов и университетов, включая преподавателей и учащихся. Допускается участие представителей других предприятий и организаций, а также подача индивидуальных заявок.
Источник: Компания Intel
При перепечатке материала ссылка на innov.ru обязательна
Все новости рубрики
|
|
|
|
