Публікація: Кубітні моделі та методи аналізу і діагностування цифрових пристроїв
Завантаження...
Дата
2015
Автори
Назва журналу
ISSN журналу
Назва тома
Видавництво
Анотація
Мета дисертаційного дослідження – істотне підвищення швидкодії програмних і апаратних засобів аналізу цифрових пристроїв за рахунок збільшення розмірності структур даних і пам'яті на основі використання кубітних покриттів функціональних елементів, методів адресного паралельного моделювання, убудованого діагностування та ремонту, що дозволяє значно підвищити вихід придатної продукції завдяки створенню інфраструктури сервісного обслуговування. Основні результати: кубітні моделі опису цифрових систем і компонентів, які характеризуються компактністю опису таблиць істинності у формі Q-покриттів і дозволяють підвищити швидкодію програмних і апаратних засобів інтерпретативного моделювання обчислювальних пристроїв; матрична модель кубітних примітивів для реалізації комбінаційних схем, яка характеризується адресним об'єднанням Q-покриттів на елементах пам'яті, з'єднаних у цифрову схему за допомогою вектора станів ліній, і дає можливість відновлювати працездатність відмовних логічних примітивів; автоматна MQT-модель цифрового пристрою, яка характеризується використанням тільки адресовних структур пам'яті та операції транзакції для програмної і апаратної реалізації комбінаційних і послідовностних функциональностей та дозволяє створювати швидкодіючі та надійні обчислювачі для проектування сервісів кіберпростору; Q-метод інтерпретативного справного моделювання цифрових схем, який характеризується використанням компактних Q- покриттів замість таблиць істинності та дозволяє істотно підвищити швидкодію аналізу схеми.
The aim of the research is a considerable increase in the speed of hardware and software for analyzing digital units by increasing the dimension of the data structures and memory through the use of qubit coverage of functional elements, methods for address parallel simulation, embedded diagnosis and repair, which make it possible significantly increase the product yield due to the development of the infrastructure IP. The main results are the following: qubit models for description of digital systems and components, which are characterized by compact representation of the truth table in the form of Q-coverage and allow improving the performance of software and hardware interpretative simulation of computing units; matrix model of qubit primitives to implement combinational circuits that is characterized by address union of Q-coverage on memory cells, connected in a digital circuit by using the state vector of lines, provides an opportunity to repair faulty logic primitives; MQTautomaton model of digital unit that is characterized by using only addressable memory structures and operation of transaction for software and hardware implementation of combinational and sequential functionalities, allows creating fast and reliable calculators for designing cyberspace services; Q-method for interpretative fault-free simulation of digital circuits that is characterized by the use of compact Q-coverage instead of the truth table makes it possible to significantly improve the performance of circuit analysis.
Опис
Ключові слова
верифікація, діагностування, тестування, моделювання, цифрові системи на кристалах, квантові обчислення, графова модель, відновлення працездатності, verification, diagnosis, testing, simulation, system-on-chip, quantum computation, graph model, repair
Бібліографічний опис
Багхдаді А. А. Кубітні моделі та методи аналізу і діагностування цифрових пристроїв : автореф. дис. ... канд. техн. наук : 05.13.05 "Комп'ютерні системи та компоненти" / А. А. Багхдаді ; М-во освіти і науки України, Харків. нац. ун-т радіоелектроніки. – Харків, 2015. – 20 с.