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