верифікація, верификация ; графові моделі, графовые модели ; діагностування, диагностирование ; кубітні методи, кубитные методы ; тестування, тестирование, testing ; цифрові системи на кристалах, цифровые системы на кристаллах, Systems on Chip- SoC ; System-on-Chips, SoCs ; Programmable Logic Device, PLD

Основными результатами работы являются: новая аппаратно-ориентированная модель параллельного вычисления булеана, которая характеризуется использованием процессорной Хассе-структуры для векторно-логического анализа данных; автоматная модель комбинационного устройства, ориентированная на решение практически полезных задач; аппаратное моделирование функциональностей цифровых проектов на основе использования Programmble logic device (PLD), что дает возможность существенно повысить быстродействие верификации программных моделей. Усовершенствованы: кубитная модель данных; суперпозиционный метод синтеза кубов функциональностей; метод оценивания эффективности вычислительных структур на основе использования графовой модели межсоединений функциональных блоков, дающий возможность определять качество топологических архитектур цифровых систем на кристаллах. Аппаратный прототип квантового вычислителя на основе программируемой логики позволяет существенно (х10-х100) повысить быстродействие оптимального поиска покрытий в задачах дискретной оптимизации. Верификация моделей, методов и архитектуры квантового вычислителя позволяет использовать их в качестве компонентов инфраструктуры сервисного обслуживания и встроенного ремонта цифровых систем для существенного (5%) повышения качества System-on-a-chip (SoC).

• УДК // Автомати
• УДК // Алгебра
• УДК // Організація комерційних та приватних підприємств. Організація торгівлі
• УДК // Пристрої для управління. Пристрої контролю та перевірки. Пристрої профілактичної перевірки