УНИВЕРСИТЕТ ИТМО
Кафедра «Технологии программирования»



Главная

Новости
 Новости науки
 Важное
 Почетные доктора
 Инновации
 Культура
 Люди
 Разное
 Скартел-Yota
 Стрим
 Смольный
Учебный процесс
 Образование
 Дипломы
 Курсовые проекты
 Лабораторные работы
 Учебные курсы
 Визуализаторы
 Unimod-проекты
 Семинары
 Стипендии
Наука
 События и факты
 Госконтракты
 Статьи
 Диссертации
 Книги
 Презентации
 Свидетельства
 Сотрудничество
Исследования
 Автоматы
 Верификация
 Биоинформатика
 Искусственный интеллект
 Генетические алгоритмы
 Движение
 UniMod
 Роботы и агенты
 Нейронные сети
 ФЦП ИТМО-Аалто
 Разное

О нас
 Премии
 Сертификаты и дипломы
 Соревнования по программированию
 Прорыв
 Автографы
 Рецензии

Беллетристика
 Мотивация
 Мысли
Медиа
 Видео
 Фотографии
 Аудио
 Интервью

English
 Home

 Articles
 Posters
 Automata-Based Programming
 Initiatives
 Projects
 Presentations
 UniMod
 UniMod Projects
 Visualizers


Поиск по сайту

Яndex



   Главная / События и факты / Результаты конкурса CAD - Intel (версия для печати)


Результаты конкурса CAD - Intel



Результаты конкурса CAD - Intel

Отсюда можно скачать результаты конкурса в pdf-формате (91 кб)

Дипломанты конкурса CAD

http://www.curricula.ru/CAD_contest/CADdiplomas.esp


ФИОНазвание работы
Базилевич Роман ПетровичМЕТОДОЛОГИЧЕСКОЕ, АЛГОРИТМИЧЕСКОЕ И ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ДЛЯ АВТОМАТИЗИРОВАННОГО КОНСТРУКТОРСКОГО ПРОЕКТИРОВАНИЯ ИНТЕГРАЛЬНЫХ СХЕМ БОЛЬШОЙ И СВЕРХБОЛЬШОЙ РАЗМЕРНОСТИ (С МИЛЛИОНАМИ СОСТАВНЫХ БЛОКОВ И ЭЛЕМЕНТОВ)
Бершадский Александр МоисеевичАлгоритм совместного решения задач размещения ячеек и глобальной трассировки топологии СБИС методом иерархической декомпозиции в среде распределенных вычислений.
Бибило Петр НиколаевичИЗУЧЕНИЕ В ВЫСШИХ УЧЕБНЫХ ЗАВЕДЕНИЯХ ВЫСОКОУРОВНЕВЫХ ЯЗЫКОВ ПРОЕКТИРОВАНИЯ МИКРОЭЛЕКТРОННЫХ СИСТЕМ
Бутов Александр Стефанович"СОКРАТ" - СИСТЕМА СКВОЗНОГО ПРОЕКТИРОВАНИЯ ТОПОЛОГИИ ПОЛУЗАКАЗНЫХ БИС
Веселов Алексей АркадьевичРазработка системы имитационного моделирования цифровых интегральных схем D-расширением сетей Петри
Галушкин Александр ИвановичРазработка комплекса нейросетевых модулей перспективных САПР СБИС
Гольцман Григорий НаумовичРазработка нового бесконтактного метода оптической диагностики микросхем для временного анализа и верификации с пикосекундным разрешением на основе однофотонного сверхпроводящего детектора ИК-излучения
Горьковой Валерий ФедоровичАЛГОРИТМЫ НА ГРАФАХ
Гуров Сергей ИсаевичНовые методы логического синтеза макроблоков БИС
Долинский Михаил СеменовичИнтегрированная среда сквозной совместной разработки программного и аппаратного обеспечения мультипроцессорных систем на кристалле
Евтушенко Нина В.Оптимизация цифровых схем на основе решения автоматных уравнений
Закревский Аркадий ДмитриевичЛогическое проектирование дискретных управляющих устройств на основе решения логико-комбинаторных задач
Захаров Сергей МихайловичФИЗИЧЕСКИЕ ПАРАМЕТРЫ ПЕРЕХОДНЫХ ПРОЦЕССОВ В ЛИНИЯХ СВЯЗИ ИНТЕГРАЛЬНЫХ СХЕМ
Зинченко Л. А.Проектирование интегральных схем на основе эволюционных вероятностных моделей
Золоторевич Людмила АндреевнаФУНКЦИОНАЛЬНО-ЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕ БИС/СБИС И УСТРОЙСТВ ЦИФРОВОЙ ЭЛЕКТРОНИКИ
Зуев Игорь СтаниславовичТехнологически инвариантное проектирование топологии параметризованных фрагментов МОП БИС
Карпов Юрий ГлебовичВерификация взаимодействующих временных автоматов
Кожевников Арист АлександровичUnitWalk, вероятностный алгоритм для задачи булевой выполнимости, в применении к формальной верификации моделей
Коноплев Борис ГеоргиевичРазработка методов и программных средств автоматического синтеза субмикронных статических ОЗУ для систем на кристалле
Курейчик Виктор МихайловичИсследование и разработка методов эволюционной адаптации для решения задачи компоновки СБИС
Лебедев Борис КонстантиновичИсследование и разработка методов эволюционной адаптации для решения задачи глобальной трассировки
Левин Виталий ИльичЛОГИЧЕСКИЙ АНАЛИЗ ДИНАМИЧЕСКИХ ПРОЦЕССОВ В ДИСКРЕТНЫХ СИСТЕМАХ ПРИ НАЛИЧИИ НЕОПРЕДЕЛЕННОСТИ
Ложкин Сергей АндреевичМетоды логического синтеза, декомпозиции булевых функций и вложения графов для оптимизации сквозного проектирования СБИС
Лузин Сергей ЮрьевичРазработка системы проектирования печатных плат и СБИС "FreeStyle EDA"
Матросова Анжела ЮрьевнаСинтез отказоустойчивых дискретных систем
Новиков Яков АндреевичРАЗРАБОТКА ИНТРУМЕНТОВ РЕШЕНИЯ ЗАДАЧИ "ВЫПОЛНИМОСТЬ" ДЛЯ ФОРМАЛЬНОЙ ВЕРИФИКАЦИИ ПРОЦЕССОВ ПРОЕКТИРОВАНИЯ ЛОГИЧЕСКИХ СХЕМ
Перязев Николай АлексеевичДекомпозиция булевых функций в предэлементарных базисных множествах
Петренко Анатолий ИвановичРАЗРАБОТКА ЭФФЕКТИВНЫХ ЧИСЛЕННЫХ МЕТОДОВ МОДЕЛИРОВАНИЯ И ОПТИМИЗАЦИИ СХЕМОТЕХНИЧЕСКИХ РЕШЕНИЙ для СБИС
Рыженко Николай ВладимировичPathfinder ("Следопыт")
Скворцов Аркадий АлексеевичЭкспериментальное и теоретическое моделирование тепловых режимов работы слоев металлизации интегральных микросхем (многослойных тонкопленочных структур на кремнии)
Скобцов Юрий АлександровичЭволюционные методы построения проверяющих тестов цифровых СБИС высокой степени интеграции
Соловьев Валерий ВасильевичПрограммный комплекс ZUBR проектирования цифровых систем на основе СБИС
Старостин Николай ВладимировичЭкстремальные задачи оптимальной правильной вершинной раскраски графа
Строгонов Андрей ВладимировичПроектирование БИС с учетом надежности
Томашев Валерий ФомичТехнологическое отображение для полузаказных СБИС
Топорков Виктор ВасильевичАЛГОРИТМЫ КОМПОНЕНТНОГО РАЗБИЕНИЯ В СОВМЕСТНОМ ПРОЕКТИРОВАНИИ АППАРАТНО-ПРОГРАММНЫХ СИСТЕМ
Хапаев Михаил МихайловичВычислительный алгоритм экстракции резистивных импедансов нерегулярных планарных структур и его реализация
Хаханов Владимир ИвановичSIGETEST - МОДЕЛИРОВАНИЕ И СИНТЕЗ ТЕСТОВ ДЛЯ СЛОЖНЫХ ЦИФРОВЫХ СИСТЕМ
Чикуров Николай ГеоргиевичЛогический синтез, анализ и оптимизация. Алгоритмы декомпозиции
Шалыто Анатолий АбрамовичДекомпозиция и логический синтез булевых функций в базисе произвольных логических элементов
Шаповалов Евгений ПетровичСтруктурная теория алгоритмов - аппарат оптимизационного анализа при проектировании ВУ на СБИС или ПЛИС
Янковская Анна ЕфимовнаСУБОПТИМАЛЬНЫЙ СКВОЗНОЙ ЛОГИЧЕСКИЙ СИНТЕЗ УСТРОЙСТВ ЛОГИЧЕСКОГО УПРАВЛЕНИЯ

Список работ, прошедших во второй этап конкурса

http://www.curricula.ru/CAD_contest/winlist.esp


Название проекта Город Организация Автор
РАЗРАБОТКА ЭФФЕКТИВНЫХ ЧИСЛЕННЫХ МЕТОДОВ МОДЕЛИРОВАНИЯ И ОПТИМИЗАЦИИ СХЕМОТЕХНИЧЕСКИХ РЕШЕНИЙ для СБИС Киев Национальный Технический Университет Украины "Киевский политехнический институт" Петренко Анатолий Иванович
РАЗРАБОТКА ИНТРУМЕНТОВ РЕШЕНИЯ ЗАДАЧИ "ВЫПОЛНИМОСТЬ" ДЛЯ ФОРМАЛЬНОЙ ВЕРИФИКАЦИИ ПРОЦЕССОВ ПРОЕКТИРОВАНИЯ ЛОГИЧЕСКИХ СХЕМ Минск   Новиков Яков Андреевич
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—2017 По техническим вопросам сайта: vl.ulyantsev@gmail.com