Любарський, М. М.2019-06-272019-06-272018Любарський М. М. Квантові моделі та методи аналізу логічних х-функцій : дис. канд. техн. наук / Любарський М. М. – Харкiв, 2018. – 159 с.http://openarchive.nure.ua/handle/document/9532Мета дослідження – зменшення часу верифікації цифрових систем на кристалах шляхом використання memory-driven архітектур і кубітних структур даних для компактного опису логічних Х-функцій і істотного підвищення продуктивності методів тестування і дедуктивного моделювання несправностей за рахунок паралельного комп'ютингу алгоритмів.ukквантові моделіметоди аналізулогічнi х-функціїверифікація цифрових системвикористання memory-driven архітектурпаралельний комп'ютинг алгоритмівOther