Пошук академічних текстів

Інформація × Реєстраційний номер 0598U000306, Докторська дисертація На здобуття д.т.н. Дата захисту 24-09-1998 Статус Запланована Назва роботи Математические методы и программные средства высокоуровневого структурно-параметрического синтеза цифровых систем Здобувач Прихожий Анатолий Алексеевич, Керівник Рогоза В.С. Керівник Ярмолик В.Н. Опонент Калниболотский Ю.М. Опонент Мельник А.А. Опонент Козлик Г.А. Опонент Сидоров Н.А. Опис Объект исследования: Методы и средства высокоуровневого синтеза цифровых систем. Цель исследования: Создание новых ориентированных на современные языки описания аппаратуры математических моделей, методов, алгоритмов и программных средств высокоуровневого структурно-параметрического синтеза цифровых систем, обладающих высокой производительностью и низкой стоимостью. Методы исследования и аппаратура: Математическая логика, теория дискретных систем, теория алгоритмов, теория графов, теория искусственного интелекта. Теоретические результаты и новизна: Разработаны модели и методы частичной логики и частичных алгоритмов, методы оптимизационного преобразования поведенческих VHDL-описаний и отображения их в структуры регистровых передач, методы распараллеливания алгоритмов в сетевой форме. Практические результаты и новизна: Программные средства высокоуровневых структурно-параметрического синтеза цифровых систем с улучшенными характеристиками. Предмет и степень внедрения: Результаты использованы при решении задач синтеза специализированных цифровых систем. Эффективность внедрения: Сокращение времени разработки, повышение достоверности проекта, обеспечение быстрого альтернативного перебора вариантов, синтез структур с улучшенными параметрами. Сфера (область) использования: Автоматизация проектирования обьектов микроэлектроники и вычислительной техники. Дата реєстрації 1998-09-24 Додано в НРАТ 2020-05-17 Закрити