Прихожий А. А. Математические методы и программные средства высокоуровневого структурно-параметрического синтеза цифровых систем

Объект исследования: Методы и средства высокоуровневого синтеза цифровых систем. Цель исследования: Создание новых ориентированных на современные языки описания аппаратуры математических моделей, методов, алгоритмов и программных средств высокоуровневого структурно-параметрического синтеза цифровых систем, обладающих высокой производительностью и низкой стоимостью. Методы исследования и аппаратура: Математическая логика, теория дискретных систем, теория алгоритмов, теория графов, теория искусственного интелекта. Теоретические результаты и новизна: Разработаны модели и методы частичной логики и частичных алгоритмов, методы оптимизационного преобразования поведенческих VHDL-описаний и отображения их в структуры регистровых передач, методы распараллеливания алгоритмов в сетевой форме. Практические результаты и новизна: Программные средства высокоуровневых структурно-параметрического синтеза цифровых систем с улучшенными характеристиками. Предмет и степень внедрения: Результаты использованы при решении задач синтеза специализированных цифровых систем. Эффективность внедрения: Сокращение времени разработки, повышение достоверности проекта, обеспечение быстрого альтернативного перебора вариантов, синтез структур с улучшенными параметрами. Сфера (область) использования: Автоматизация проектирования обьектов микроэлектроники и вычислительной техники.