М91
Мурад Алі Абас. Квантові моделі обчислювальних процесів для тестування цифрових систем на кристалах : автореф. дис. ... канд. техн. наук : 05.13.05 "Комп'ютерні системи та компоненти" / Мурад Алі Абас ; МОНМС України, Харків. нац. ун-т радіоелектроніки. – Харків : ХНУРЕ, 2012. – 20 с.
Мурад Алі Абас. Квантові моделі обчислювальних процесів для тестування цифрових систем на кристалах : автореф. дис. ... канд. техн. наук : 05.13.05 "Комп'ютерні системи та компоненти" / Мурад Алі Абас ; МОНМС України, Харків. нац. ун-т радіоелектроніки. – Харків : ХНУРЕ, 2012. – 20 с.
- Електронна версія (pdf / 616 Kb)
- Замовити
Статистика використання: Завантажень: 7 Видач: 0
Анотація:
Основними результатами роботи є: нова апаратно-орієнтована модель паралельного обчислення булеана, яка характеризується використанням процесорної Хассе-структури; нова автоматна модель комбінаційного пристрою, що характеризується можливістю автономного та вбудованого відновлення працездатності компонентів логічних пристроїв за рахунок переадресації дефектних примітивів; удосконалена кубітна модель даних, яка відрізняється
нечисельним поданням розрядів у двійковому векторі; удосконалений суперпозиційний метод синтезу кубів функціональностей, що відрізняється формою отримання компактного покриття; удосконалений метод оцінювання ефективності обчислювальних структур, у якому застосовано модифікований алгоритм Дейкстра для пошуку найкоротших шляхів між вершинами графової моделі функціональних блоків.
нечисельним поданням розрядів у двійковому векторі; удосконалений суперпозиційний метод синтезу кубів функціональностей, що відрізняється формою отримання компактного покриття; удосконалений метод оцінювання ефективності обчислювальних структур, у якому застосовано модифікований алгоритм Дейкстра для пошуку найкоротших шляхів між вершинами графової моделі функціональних блоків.
Тема:
- УДК
- 512 Алгебра
- 658 Організація комерційних та приватних підприємств. Організація торгівлі
- 519.713 Автомати
- 681.326 Пристрої для управління. Пристрої контролю та перевірки. Пристрої профілактичної перевірки
- 658.512.011.56 Автоматизація проектування виробничих процесів Ключові слова латиницею
- System-on-Chips, SoCs
- Programmable Logic Device, PLD Ключові слова
- тестування, тестирование, testing
- верифікація, верификация
- діагностування, диагностирование
- алгоритм Дейкстри, алгоритм Дейкстра
- цифрові системи на кристалах, цифровые системы на кристаллах, Systems on Chip- SoC
- графові моделі, графовые модели
- кубітні методи, кубитные методы