верифікація, верификация ; діагностування, диагностирование ; мультипроцесори, мультипроцессоры ; тестування, тестирование, testing ; цифрові системи на кристалах, цифровые системы на кристаллах, Systems on Chip- SoC

Розроблена нова модель взаємодії дискретних об'єктів в кіберпросторі, яка характеризується використанням скалярного і векторного значення бета- метрики, що дозволяє у паралельному режимі вирішувати задачі синтезу та аналізу діагностичної інформації. Удосконалена структурна модель цифрової системи, що відрізняється наявністю транзакційного графа функціональних модулів, інваріантна до рівнів ієрархії виробу. Також удосконалені методи синтезу тестів і діагностування несправностей на основі граничного сканування для функціональностей. Архітектура логічного асоціативного мультипроцесора, яка відрізняється обмеженою системою команд для будованого сервісного обслуговування функціональностей цифрових систем на кристалах, дає можливість зменшити час діагностування.

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