верифікація, верификация ; графові моделі, графовые модели ; діагностування, диагностирование ; квантові обчислення, квантовые вычисления ; моделювання, моделирование, modeling, simulation ; цифрові системи на кристалах, цифровые системы на кристаллах, Systems on Chip- SoC

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

• УДК // Автомати
• УДК // Гарантії якості програмного забезпечення. Верифікація і оцінка (V&V)
• УДК // Комп'ютери загального призначення