Публікація: Квантові моделі обчислювальних процесів для тестування цифрових систем на кристалах
Завантаження...
Дата
2012
Автори
Назва журналу
ISSN журналу
Назва тома
Видавництво
Анотація
Основними результатами роботи є: нова апаратно-орієнтована модель паралельного обчислення булеана, яка характеризується використанням процесорної Хассе-структури; нова автоматна модель комбінаційного пристрою, що характеризується можливістю автономного та вбудованого відновлення працездатності компонентів логічних пристроїв за рахунок переадресації дефектних примітивів; удосконалена кубітна модель даних, яка відрізняється нечисельним поданням розрядів у двійковому векторі; удосконалений суперпозиційний метод синтезу кубів функціональностей, що відрізняється формою отримання компактного покриття; удосконалений метод оцінювання ефективності обчислювальних структур, у якому застосовано модифікований алгоритм Дейкстра для пошуку найкоротших шляхів між вершинами графової моделі функціональних блоків.
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 Hassestructure; 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.
Опис
Ключові слова
верифікація, діагностування, тестування, цифрові системи на кристалах, кубіт, суперпозиція, графова модель, булеан, відновлення працездатності, verification, diagnosis, testing, system-on-chip, qubit, superposition, graph model, the set of all subsets, repair
Бібліографічний опис
Мурад Алі Абас Квантові моделі обчислювальних процесів для тестування цифрових систем на кристалах : автореф. дис. ... канд. техн. наук : 05.13.05 "Комп'ютерні системи та компоненти" / А. А. Мурад ; МОНМС України, Харк. нац. ун-т радіоелектроніки. - Х., 2012. - 20 с.