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