Цель исследования - уменьшение времени восстановления работоспособности цифровых систем на кристаллах на основе использования кубитных моделей и квантовых методов тестирования и ремонта, формирующих программно-аппаратную избыточность инфраструктуры встроенного сервисного обслуживания функциональных компонентов с наперед заданным уровнем структурной детализации. Основные результаты: новая аппаратно-ориентированная модель параллельного вычисления булеана, которая характеризуется использованием процессорной Хассе-структуры и новая автоматная модель комбинационного устройства, которая характеризуется возможностью автономного и встроенного восстановления работоспособности компонентов логических устройств за счет переадресации дефектных примитивов; усовершенствованная кубитная модель данных, которая отличается немногочисленным представлением разрядов в двоичном векторе; усовершенствованный суперпозицийний метод синтеза кубов функциональностей, отличающийся формой получения компактного покрытия; усовершенствованный метод оценки эффективности вычислительных структур, отличающийся применением модифицированного алгоритма Дейкстра для поиска кратчайших путей между вершинами графовой модели функциональных блоков. КЛЮЧЕВЫЕ СЛОВА: ВЕРИФИКАЦИЯ, ДИАГНОСТИРОВАНИЕ, ТЕСТИРОВАНИЕ, ЦИФРОВЫЕ СИСТЕМЫ НА КРИСТАЛЛАХ, КУБИТ, СУПЕРПОЗИЦИЯ, ГРАФОВАЯ МОДЕЛИ БУЛЕАН, ВОССТАНОВЛЕНИЯ РАБОТОСПОСОБНОСТИ. Мета дослідження - зменшення часу відновлення працездатності цифрових систем на кристалах на основі використання кубітних моделей і квантових методів тестування та ремонту, що формують програмно-апаратну надлишковість інфраструктури вбудованого сервісного обслуговування функціональних компонентів з наперед заданим рівнем структурної деталізації. Основні результати: нова апаратно-орієнтована модель паралельного обчислення булеана, яка характеризується використанням процесорної Хассе-структури; нова автоматна модель комбінаційного пристрою, що характеризується можливістю автономного та вбудованого відновлення працездатності компонентів логічних пристроїв за рахунок переадресації дефектних примітивів; удосконалена кубітна модель даних, яка відрізняється нечисельним поданням розрядів у двійковому векторі; удосконалений суперпозиційний метод синтезу кубів функціональностей, що відрізняється формою отримання компактного покриття; удосконалений метод оцінювання ефективності обчислювальних структур, який відрізняється застосуванням модифікованого алгоритму Дейкстра для пошуку найкоротших шляхів між вершинами графової моделі функціональних блоків. КЛЮЧОВІ СЛОВА: ВЕРИФІКАЦІЯ, ДІАГНОСТУВАННЯ, ТЕСТУВАННЯ, ЦИФРОВІ СИСТЕМИ НА КРИСТАЛАХ, КУБІТ, СУПЕРПОЗИЦІЯ, ГРАФОВА МОДЕЛЬ, БУЛЕАН, ВІДНОВЛЕННЯ ПРАЦЕЗДАТНОСТІ. The aim of the research is reducing repairing time of digital systems-on-chips, based on qubit models and quantum methods for testing and repairing, forming hardware and software redundancy of built-in infrastructure IP for functional components with given level of structural granularity. Main results: a new hardware-focused model for parallel computing the Boolean (the set of all subsets), which is characterized by using processor Hasse-structure; a new automaton model of combinational unit, which is characterized by the possibility of autonomous and built-in repairing components of logic devices by means of readdressing faulty primitives; an improved qubit model of data that differs from analogues by not numerical view of bits in a binary vector; an improved superposition method for synthesis of functionality cubes that differs from analogues by form of obtaining coverage; an improved method for evaluating the effectiveness of computational structures, which is characterized by using modified Dijkstra's algorithm to find the shortest paths between the nodes of the graph model of functional blocks. KEY WORDS: VERIFICATION, DIAGNOSIS, TESTING, SYSTEM-ON-CHIP, QUBIT, SUPERPOSITION, GRAPH MODEL, THE SET OF ALL SUBSETS, REPAIR.
