| Л93 |
Любарський, М. М.
Квантові моделі та методи аналізу логічних Х-функцій [Текст] : автореф. дис. на здобуття наук. ступеня канд. техн. наук : спец. 05.13.05 - комп'ютерні системи та компоненти / Любарський Михайло Михайлович. – Х. : ХНУРЕ, 2019. – 27 с.
Мета дослідження автореферату дисертаційної роботи - зменшення часу верифікації цифрових систем на кристалах шляхом використання memory-driven архітектур і кубітних структур даних для компактного опису логічних Х-функцій та істотного підвищення продуктивності методів тестування і дедуктивного моделювання несправностей за рахунок паралельного комп'ютингу алгоритмів.
|
