Квантові моделі обчислювальних процесів для тестування цифрових систем на кристалах
Електронного архіву Харківського національного університету радіоелектроніки (Open Access Repository of KHNURE)
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Квантові моделі обчислювальних процесів для тестування цифрових систем на кристалах
|
|
| Creator |
Мурад, Алі Абас
|
|
| Subject |
верифікація
діагностування тестування цифрові системи на кристалах кубіт суперпозиція графова модель булеан відновлення працездатності verification diagnosis testing system-on-chip qubit superposition graph model the set of all subsets repair |
|
| Description |
Основними результатами роботи є: нова апаратно-орієнтована модель паралельного обчислення булеана, яка характеризується використанням процесорної Хассе-структури; нова автоматна модель комбінаційного пристрою, що характеризується можливістю автономного та вбудованого відновлення працездатності компонентів логічних пристроїв за рахунок переадресації дефектних примітивів; удосконалена кубітна модель даних, яка відрізняється нечисельним поданням розрядів у двійковому векторі; удосконалений суперпозиційний метод синтезу кубів функціональностей, що відрізняється формою отримання компактного покриття; удосконалений метод оцінювання ефективності обчислювальних структур, у якому застосовано модифікований алгоритм Дейкстра для пошуку найкоротших шляхів між вершинами графової моделі функціональних блоків. 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.
|
|
| Date |
2016-06-23T13:06:01Z
2016-06-23T13:06:01Z 2012 |
|
| Type |
Article
|
|
| Identifier |
Мурад Алі Абас Квантові моделі обчислювальних процесів для тестування цифрових систем на кристалах : автореф. дис. ... канд. техн. наук : 05.13.05 "Комп'ютерні системи та компоненти" / А. А. Мурад ; МОНМС України, Харк. нац. ун-т радіоелектроніки. - Х., 2012. - 20 с.
http://openarchive.nure.ua/handle/document/1172 |
|
| Language |
uk
|
|