УНИВЕРСИТЕТ ИТМО
Кафедра «Технологии программирования»
Результаты конкурса CAD - Intel
Результаты конкурса CAD - Intel
Отсюда можно скачать результаты конкурса в pdf-формате (91 кб)
Дипломанты конкурса CAD
| ФИО | Название работы |
| Базилевич Роман Петрович | МЕТОДОЛОГИЧЕСКОЕ, АЛГОРИТМИЧЕСКОЕ И ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ДЛЯ АВТОМАТИЗИРОВАННОГО КОНСТРУКТОРСКОГО ПРОЕКТИРОВАНИЯ ИНТЕГРАЛЬНЫХ СХЕМ БОЛЬШОЙ И СВЕРХБОЛЬШОЙ РАЗМЕРНОСТИ (С МИЛЛИОНАМИ СОСТАВНЫХ БЛОКОВ И ЭЛЕМЕНТОВ) |
| Бершадский Александр Моисеевич | Алгоритм совместного решения задач размещения ячеек и глобальной трассировки топологии СБИС методом иерархической декомпозиции в среде распределенных вычислений. |
| Бибило Петр Николаевич | ИЗУЧЕНИЕ В ВЫСШИХ УЧЕБНЫХ ЗАВЕДЕНИЯХ ВЫСОКОУРОВНЕВЫХ ЯЗЫКОВ ПРОЕКТИРОВАНИЯ МИКРОЭЛЕКТРОННЫХ СИСТЕМ |
| Бутов Александр Стефанович | "СОКРАТ" - СИСТЕМА СКВОЗНОГО ПРОЕКТИРОВАНИЯ ТОПОЛОГИИ ПОЛУЗАКАЗНЫХ БИС |
| Веселов Алексей Аркадьевич | Разработка системы имитационного моделирования цифровых интегральных схем D-расширением сетей Петри |
| Галушкин Александр Иванович | Разработка комплекса нейросетевых модулей перспективных САПР СБИС |
| Гольцман Григорий Наумович | Разработка нового бесконтактного метода оптической диагностики микросхем для временного анализа и верификации с пикосекундным разрешением на основе однофотонного сверхпроводящего детектора ИК-излучения |
| Горьковой Валерий Федорович | АЛГОРИТМЫ НА ГРАФАХ |
| Гуров Сергей Исаевич | Новые методы логического синтеза макроблоков БИС |
| Долинский Михаил Семенович | Интегрированная среда сквозной совместной разработки программного и аппаратного обеспечения мультипроцессорных систем на кристалле |
| Евтушенко Нина В. | Оптимизация цифровых схем на основе решения автоматных уравнений |
| Закревский Аркадий Дмитриевич | Логическое проектирование дискретных управляющих устройств на основе решения логико-комбинаторных задач |
| Захаров Сергей Михайлович | ФИЗИЧЕСКИЕ ПАРАМЕТРЫ ПЕРЕХОДНЫХ ПРОЦЕССОВ В ЛИНИЯХ СВЯЗИ ИНТЕГРАЛЬНЫХ СХЕМ |
| Зинченко Л. А. | Проектирование интегральных схем на основе эволюционных вероятностных моделей |
| Золоторевич Людмила Андреевна | ФУНКЦИОНАЛЬНО-ЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕ БИС/СБИС И УСТРОЙСТВ ЦИФРОВОЙ ЭЛЕКТРОНИКИ |
| Зуев Игорь Станиславович | Технологически инвариантное проектирование топологии параметризованных фрагментов МОП БИС |
| Карпов Юрий Глебович | Верификация взаимодействующих временных автоматов |
| Кожевников Арист Александрович | UnitWalk, вероятностный алгоритм для задачи булевой выполнимости, в применении к формальной верификации моделей |
| Коноплев Борис Георгиевич | Разработка методов и программных средств автоматического синтеза субмикронных статических ОЗУ для систем на кристалле |
| Курейчик Виктор Михайлович | Исследование и разработка методов эволюционной адаптации для решения задачи компоновки СБИС |
| Лебедев Борис Константинович | Исследование и разработка методов эволюционной адаптации для решения задачи глобальной трассировки |
| Левин Виталий Ильич | ЛОГИЧЕСКИЙ АНАЛИЗ ДИНАМИЧЕСКИХ ПРОЦЕССОВ В ДИСКРЕТНЫХ СИСТЕМАХ ПРИ НАЛИЧИИ НЕОПРЕДЕЛЕННОСТИ |
| Ложкин Сергей Андреевич | Методы логического синтеза, декомпозиции булевых функций и вложения графов для оптимизации сквозного проектирования СБИС |
| Лузин Сергей Юрьевич | Разработка системы проектирования печатных плат и СБИС "FreeStyle EDA" |
| Матросова Анжела Юрьевна | Синтез отказоустойчивых дискретных систем |
| Новиков Яков Андреевич | РАЗРАБОТКА ИНТРУМЕНТОВ РЕШЕНИЯ ЗАДАЧИ "ВЫПОЛНИМОСТЬ" ДЛЯ ФОРМАЛЬНОЙ ВЕРИФИКАЦИИ ПРОЦЕССОВ ПРОЕКТИРОВАНИЯ ЛОГИЧЕСКИХ СХЕМ |
| Перязев Николай Алексеевич | Декомпозиция булевых функций в предэлементарных базисных множествах |
| Петренко Анатолий Иванович | РАЗРАБОТКА ЭФФЕКТИВНЫХ ЧИСЛЕННЫХ МЕТОДОВ МОДЕЛИРОВАНИЯ И ОПТИМИЗАЦИИ СХЕМОТЕХНИЧЕСКИХ РЕШЕНИЙ для СБИС |
| Рыженко Николай Владимирович | Pathfinder ("Следопыт") |
| Скворцов Аркадий Алексеевич | Экспериментальное и теоретическое моделирование тепловых режимов работы слоев металлизации интегральных микросхем (многослойных тонкопленочных структур на кремнии) |
| Скобцов Юрий Александрович | Эволюционные методы построения проверяющих тестов цифровых СБИС высокой степени интеграции |
| Соловьев Валерий Васильевич | Программный комплекс ZUBR проектирования цифровых систем на основе СБИС |
| Старостин Николай Владимирович | Экстремальные задачи оптимальной правильной вершинной раскраски графа |
| Строгонов Андрей Владимирович | Проектирование БИС с учетом надежности |
| Томашев Валерий Фомич | Технологическое отображение для полузаказных СБИС |
| Топорков Виктор Васильевич | АЛГОРИТМЫ КОМПОНЕНТНОГО РАЗБИЕНИЯ В СОВМЕСТНОМ ПРОЕКТИРОВАНИИ АППАРАТНО-ПРОГРАММНЫХ СИСТЕМ |
| Хапаев Михаил Михайлович | Вычислительный алгоритм экстракции резистивных импедансов нерегулярных планарных структур и его реализация |
| Хаханов Владимир Иванович | SIGETEST - МОДЕЛИРОВАНИЕ И СИНТЕЗ ТЕСТОВ ДЛЯ СЛОЖНЫХ ЦИФРОВЫХ СИСТЕМ |
| Чикуров Николай Георгиевич | Логический синтез, анализ и оптимизация. Алгоритмы декомпозиции |
| Шалыто Анатолий Абрамович | Декомпозиция и логический синтез булевых функций в базисе произвольных логических элементов |
| Шаповалов Евгений Петрович | Структурная теория алгоритмов - аппарат оптимизационного анализа при проектировании ВУ на СБИС или ПЛИС |
| Янковская Анна Ефимовна | СУБОПТИМАЛЬНЫЙ СКВОЗНОЙ ЛОГИЧЕСКИЙ СИНТЕЗ УСТРОЙСТВ ЛОГИЧЕСКОГО УПРАВЛЕНИЯ |
Список работ, прошедших во второй этап конкурса
| Название проекта | Город | Организация | Автор |
| РАЗРАБОТКА ЭФФЕКТИВНЫХ ЧИСЛЕННЫХ МЕТОДОВ МОДЕЛИРОВАНИЯ И ОПТИМИЗАЦИИ СХЕМОТЕХНИЧЕСКИХ РЕШЕНИЙ для СБИС | Киев | Национальный Технический Университет Украины "Киевский политехнический институт" | Петренко Анатолий Иванович |
| РАЗРАБОТКА ИНТРУМЕНТОВ РЕШЕНИЯ ЗАДАЧИ "ВЫПОЛНИМОСТЬ" ДЛЯ ФОРМАЛЬНОЙ ВЕРИФИКАЦИИ ПРОЦЕССОВ ПРОЕКТИРОВАНИЯ ЛОГИЧЕСКИХ СХЕМ | Минск | Новиков Яков Андреевич | |
| Pathfinder ("Следопыт") | Москва | ФРТК МФТИ, м.н.с. НИИ "Вычислительные технологии" (отделение САПР) | Рыженко Николай Владимирович |
| МЕТОДОЛОГИЧЕСКОЕ, АЛГОРИТМИЧЕСКОЕ И ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ДЛЯ АВТОМАТИЗИРОВАННОГО КОНСТРУКТОРСКОГО ПРОЕКТИРОВАНИЯ ИНТЕГРАЛЬНЫХ СХЕМ БОЛЬШОЙ И СВЕРХБОЛЬШОЙ РАЗМЕРНОСТИ (С МИЛЛИОНАМИ СОСТАВНЫХ БЛОКОВ И ЭЛЕМЕНТОВ) | Львов | Национальный университет "Львовская политехника" | Базилевич Роман Петрович |
| Оптимизация цифровых схем на основе решения автоматных уравнений | Томск | Томский государственный университет | Нина В. Евтушенко |
| Логическое проектирование дискретных управляющих устройств на основе решения логико-комбинаторных задач | Минск | Объединенный институт проблем информатики НАН Беларуси | Закревский Аркадий Дмитриевич |
| Декомпозиция и логический синтез булевых функций в базисе произвольных логических элементов | Санкт-Пeтербург | Санкт-Петербургский государственный институт точной механики и оптики (технический университет) | Шалыто Анатолий Абрамович |
| UnitWalk, вероятностный алгоритм для задачи булевой выполнимости, в применении к формальной верификации моделей | Санкт-Пeтербург | Санкт-Петербургский государственный университет | Кожевников Арист Александрович |
| Разработка системы проектирования печатных плат и СБИС "FreeStyle EDA" | Санкт-Пeтербург | Санкт-Петербургский государственный университет аэрокосмического приборостроения | Лузин Сергей Юрьевич |
| "СОКРАТ" - СИСТЕМА СКВОЗНОГО ПРОЕКТИРОВАНИЯ ТОПОЛОГИИ ПОЛУЗАКАЗНЫХ БИС | Москва | МИЭТ | Бутов Александр Стефанович |
| Экстремальные задачи оптимальной правильной вершинной раскраски графа | Нижний Новгород | Нижегородский государственный университет им. Н. И. Лобачевского (ННГУ) | Старостин Николай Владимирович |
| SIGETEST - МОДЕЛИРОВАНИЕ И СИНТЕЗ ТЕСТОВ ДЛЯ СЛОЖНЫХ ЦИФРОВЫХ СИСТЕМ | Харьков | Харьковский национальный университет проектирования радиоэлектроники | Хаханов Владимир Иванович |
| Алгоритм совместного решения задач размещения ячеек и глобальной трассировки топологии СБИС методом иерархической декомпозиции в среде распределенных вычислений | Пенза | Пензенский Государственный Университет | Бершадский Александр Моисеевич |
| ЭФФЕКТИВНЫЕ АЛГОРИТМЫ НАХОЖДЕНИЯ ВСЕХ КРАТЧАЙШИХ ПОКРЫТИЙ БУЛЕВОЙ МАТРИЦЫ БОЛЬШОЙ РАЗМЕРНОСТИ - ОСНОВА АВТОМАТИЗАЦИИ ПРОЕКТИРОВАНИЯ И ПЕРЕПРОЕКТИРОВАНИЯ ИНТЕГРАЛЬНЫХ СХЕМ | Томск | Лаборатория интеллектуальных систем | Янковская Анна Ефимовна |
| Интегрированная среда сквозной совместной разработки программного и аппаратного обеспечения мультипроцессорных систем на кристалле | Гомель | Гомельский государственный университет им.Ф.Скорины | Долинский Михаил Семенович |
| Технологически инвариантное проектирование топологии параметризованных фрагментов МОП БИС | Санкт-Пeтербург | Санкт-Петербургский государственный электротехнический университет | Зуев Игорь Станиславович |
| Синтез отказоустойчивых дискретных систем | Томск | Томский государственный университет | Матросова Анжела Юрьевна |
| ФИЗИЧЕСКИЕ ПАРАМЕТРЫ ПЕРЕХОДНЫХ ПРОЦЕССОВ В ЛИНИЯХ СВЯЗИ ИНТЕГРАЛЬНЫХ СХЕМ | Москва | Институт микропроцессорных вычислительных систем РАН | Захаров Сергей Михайлович |
| Разработка методов и программных средств автоматического синтеза субмикронных статических ОЗУ для систем на кристалле | Таганрог | Таганрогский государственный радиотехнический университет | Коноплев Борис Георгиевич |
| Исследование и разработка методов эволюционной адаптации для решения задачи компоновки СБИС | Таганрог | Таганрогский государственный радиотехнический университет | Курейчик Виктор Михайлович |
Победители конкурса CAD
Уважаемые участники конкурса!
Настоящим сообщаю вам, что конкурс завершён. Его отличительной особенностью стало то, что как на первом, так и на втором этапах жюри было трудно сделать выбор из большого количества сильных работ. Задача жюри осложнялась тем, что представленные на конкурс проекты весьма сильно различались по тематике, как говорят американцы, трудно сравнивать apples and oranges.
Большинство из представленных на второй этап работ заслуживает того, чтобы быть отмеченными денежными призами. По решению жюри, победителями конкурса признаны 13 проектов, список которых приведён в приложенном файле. Нам удалось увеличить изначально анонсированный призовой фонд конкурса на 30%; этот призовой фонд будет поровну поделен между авторами проектов, перечисленных в приложении.
Позвольте мне от имени организаторов поблагодарить Вас за активное участие в конкурсе и выразить надежду на продолжение сотрудничества.
С уважением,
Камиль Исаев,
Менеджер по работе с университетами.
| Название проекта | Город | Организация | Автор |
| РАЗРАБОТКА ЭФФЕКТИВНЫХ ЧИСЛЕННЫХ МЕТОДОВ МОДЕЛИРОВАНИЯ И ОПТИМИЗАЦИИ СХЕМОТЕХНИЧЕСКИХ РЕШЕНИЙ для СБИС | Киев | Национальный Технический Университет Украины "Киевский политехнический институт" | Петренко Анатолий Иванович |
| РАЗРАБОТКА ИНТРУМЕНТОВ РЕШЕНИЯ ЗАДАЧИ "ВЫПОЛНИМОСТЬ" ДЛЯ ФОРМАЛЬНОЙ ВЕРИФИКАЦИИ ПРОЦЕССОВ ПРОЕКТИРОВАНИЯ ЛОГИЧЕСКИХ СХЕМ | Минск | Новиков Яков Андреевич | |
| Pathfinder ("Следопыт") | Москва | ФРТК МФТИ, м.н.с. НИИ "Вычислительные технологии" (отделение САПР) | Рыженко Николай Владимирович |
| МЕТОДОЛОГИЧЕСКОЕ, АЛГОРИТМИЧЕСКОЕ И ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ДЛЯ АВТОМАТИЗИРОВАННОГО КОНСТРУКТОРСКОГО ПРОЕКТИРОВАНИЯ ИНТЕГРАЛЬНЫХ СХЕМ БОЛЬШОЙ И СВЕРХБОЛЬШОЙ РАЗМЕРНОСТИ (С МИЛЛИОНАМИ СОСТАВНЫХ БЛОКОВ И ЭЛЕМЕНТОВ) | Львов | Национальный университет "Львовская политехника" | Базилевич Роман Петрович |
| Оптимизация цифровых схем на основе решения автоматных уравнений | Томск | Томский государственный университет | Нина В. Евтушенко |
| Логическое проектирование дискретных управляющих устройств на основе решения логико-комбинаторных задач | Минск | Объединенный институт проблем информатики НАН Беларуси | Закревский Аркадий Дмитриевич |
| Декомпозиция и логический синтез булевых функций в базисе произвольных логических элементов | Санкт-Пeтербург | Санкт-Петербургский государственный институт точной механики и оптики (технический университет) | Шалыто Анатолий Абрамович |
| UnitWalk, вероятностный алгоритм для задачи булевой выполнимости, в применении к формальной верификации моделей | Санкт-Пeтербург | Санкт-Петербургский государственный университет | Кожевников Арист Александрович |
| Разработка системы проектирования печатных плат и СБИС "FreeStyle EDA" | Санкт-Пeтербург | Санкт-Петербургский государственный университет аэрокосмического приборостроения | Лузин Сергей Юрьевич |
| SIGETEST - МОДЕЛИРОВАНИЕ И СИНТЕЗ ТЕСТОВ ДЛЯ СЛОЖНЫХ ЦИФРОВЫХ СИСТЕМ | Харьков | Харьковский национальный университет проектирования радиоэлектроники | Хаханов Владимир Иванович |
| Интегрированная среда сквозной совместной разработки программного и аппаратного обеспечения мультипроцессорных систем на кристалле | Гомель | Гомельский государственный университет им.Ф.Скорины | Долинский Михаил Семенович |
| Технологически инвариантное проектирование топологии параметризованных фрагментов МОП БИС | Санкт-Пeтербург | Санкт-Петербургский государственный электротехнический университет | Зуев Игорь Станиславович |
| Разработка методов и программных средств автоматического синтеза субмикронных статических ОЗУ для систем на кристалле | Таганрог | Таганрогский государственный радиотехнический университет | Коноплев Борис Георгиевич |
| © 2002—2024 | По техническим вопросам сайта: alexvatyan@gmail.com |