|
-
Ключові слова:
алгоритм Дейкстри, алгоритм Дейкстра ; верифікація, верификация ; графові моделі, графовые модели ; діагностування, диагностирование ; кубітні методи, кубитные методы ; тестування, тестирование, testing ; цифрові системи на кристалах, цифровые системы на кристаллах, Systems on Chip- SoC ; System-on-Chips, SoCs ; Programmable Logic Device, PLD
-
Анотація:
Основними результатами роботи є: нова апаратно-орієнтована модель паралельного обчислення булеана, яка характеризується використанням процесорної Хассе-структури; нова автоматна модель комбінаційного пристрою, що характеризується можливістю автономного та вбудованого відновлення працездатності компонентів логічних пристроїв за рахунок переадресації дефектних примітивів; удосконалена кубітна модель даних, яка відрізняється нечисельним поданням розрядів у двійковому векторі; удосконалений суперпозиційний метод синтезу кубів функціональностей, що відрізняється формою отримання компактного покриття; удосконалений метод оцінювання ефективності обчислювальних структур, у якому застосовано модифікований алгоритм Дейкстра для пошуку найкоротших шляхів між вершинами графової моделі функціональних блоків.
-
Теми документа
-
УДК // Автомати
-
УДК // Алгебра
-
УДК // Організація комерційних та приватних підприємств. Організація торгівлі
-
УДК // Пристрої для управління. Пристрої контролю та перевірки. Пристрої профілактичної перевірки
|
