Публікація: Квантові моделі та методи аналізу логічних х-функцій
Завантаження...
Дата
2018
Автори
Назва журналу
ISSN журналу
Назва тома
Видавництво
Харьковский национальный университет радиоэлектроники
Анотація
Мета дослідження – зменшення часу верифікації цифрових систем на
кристалах шляхом використання memory-driven архітектур і кубітних структур даних для компактного опису логічних Х-функцій і істотного підвищення
продуктивності методів тестування і дедуктивного моделювання несправностей за рахунок паралельного комп'ютингу алгоритмів.
Опис
Ключові слова
квантові моделі, методи аналізу, логічнi х-функції, верифікація цифрових систем, використання memory-driven архітектур, паралельний комп'ютинг алгоритмів
Бібліографічний опис
Любарський М. М. Квантові моделі та методи аналізу логічних х-функцій : дис. канд. техн. наук / Любарський М. М. – Харкiв, 2018. – 159 с.