Шифр: 004.4 Б14
Багхдади Аммар Авни Аббас. Кубитные модели и методы анализа и диагностирования цифровых устройств : дис. ... канд. техн. наук : 05.13.05 "Компьютерные системы и компоненты" / Багхдади Аммар Авни Аббас ; М-во образования и науки Украины, Харьк. нац. ун-т радиоэлектроники. – Харьков, 2014. – 187 с. – Библиогр.: с. 154–169.
Багхдади Аммар Авни Аббас. Кубитные модели и методы анализа и диагностирования цифровых устройств : дис. ... канд. техн. наук : 05.13.05 "Компьютерные системы и компоненты" / Багхдади Аммар Авни Аббас ; М-во образования и науки Украины, Харьк. нац. ун-т радиоэлектроники. – Харьков, 2014. – 187 с. – Библиогр.: с. 154–169.
Статистика використання: Видач: 0
Анотація:
Кубитные модели описания цифровых систем и компонентов позволяют повысить быстродействие программных и аппаратных средств интерпретативного моделирования вычислительных устройств. Матричная модель кубитных примитивов дает возможность восстанавливать работоспособность отказавших логических примитивов путем их переадресации на запасные компоненты при достаточно высоком быстродействии функционирования вычислительного устройства. Автоматная MQT-модель цифрового устройства дает возможность создавать быстродействующие и надежные вычислители для проектирования сервисов киберпространства. Q-метод интерпретативного исправного моделирования цифровых схем позволяет существенно повысить быстродействие анализа схемы за счет адресного формирования выходов функциональных примитивов и уменьшить объем структур данных. Теоретические и практические результаты дают возможность за счет аппаратной и структурной избыточности на 50% повысить быстродействие интерпретативного моделирования, на 5% повысить выход годной продукции, на 12% повысить глубину диагностирования неисправных функциональных блоков и на 15% уменьшить время отладки HDL-кода в процессе проектирования цифровых систем на кристаллах.
Тема:
- УДК
- 004.382 Комп'ютери загального призначення
- 004.415.5 Гарантії якості програмного забезпечення. Верифікація і оцінка (V&V)
- 519.713 Автомати Ключові слова
- моделювання, моделирование, modeling, simulation
- тестування, тестирование, testing
- верифікація, верификация
- діагностування, диагностирование
- цифрові системи на кристалах, цифровые системы на кристаллах, Systems on Chip- SoC
- графові моделі, графовые модели
- квантові обчислення, квантовые вычисления Ключові слова латиницею
- VerilogHDL