Please use this identifier to cite or link to this item: http://openarchive.nure.ua/handle/document/1172
Title: Квантові моделі обчислювальних процесів для тестування цифрових систем на кристалах
Authors: Мурад, Алі Абас
Keywords: верифікація
діагностування
тестування
цифрові системи на кристалах
кубіт
суперпозиція
графова модель
булеан
відновлення працездатності
verification
diagnosis
testing
system-on-chip
qubit
superposition
graph model
the set of all subsets
repair
Issue Date: 2012
Citation: Мурад Алі Абас Квантові моделі обчислювальних процесів для тестування цифрових систем на кристалах : автореф. дис. ... канд. техн. наук : 05.13.05 "Комп'ютерні системи та компоненти" / А. А. Мурад ; МОНМС України, Харк. нац. ун-т радіоелектроніки. - Х., 2012. - 20 с.
Abstract: Основними результатами роботи є: нова апаратно-орієнтована модель паралельного обчислення булеана, яка характеризується використанням процесорної Хассе-структури; нова автоматна модель комбінаційного пристрою, що характеризується можливістю автономного та вбудованого відновлення працездатності компонентів логічних пристроїв за рахунок переадресації дефектних примітивів; удосконалена кубітна модель даних, яка відрізняється нечисельним поданням розрядів у двійковому векторі; удосконалений суперпозиційний метод синтезу кубів функціональностей, що відрізняється формою отримання компактного покриття; удосконалений метод оцінювання ефективності обчислювальних структур, у якому застосовано модифікований алгоритм Дейкстра для пошуку найкоротших шляхів між вершинами графової моделі функціональних блоків. 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.
URI: http://openarchive.nure.ua/handle/document/1172
Appears in Collections:Автореферати

Files in This Item:
File Description SizeFormat 
MuradAA.pdf615.57 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.