Відомо, що структури даних є визначальними для створення ефективних паралельних алгоритмів і високопродуктивних обчислювальних пристроїв. Тому розробка математично досконалих і технологічно простих структур даних займає близько 80 відсотків часу проектування, коли на алгоритми і їх hardware- software кодування витрачається близько 20 відсотків часових і матеріальних ресурсів. Це обумовлює пошук таких примітивів структур даних, які суттєво спростять паралельні високопродуктивні алгоритми, що працюють на них. Пропонуються моделі і методи для тестування та моделювання цифрових систем, що містять окремі переваги квантового комп'ютингу в частині імплементації векторних кубітних структур даних в технології класичних обчислювальних процесів. Мета роботи - розробка інноваційної технології кубітно-векторного синтезу і дедуктивного аналізу тестів для їх верифікації на основі векторних структур даних, що істотно спрощують алгоритми, які можуть бути вбудовані як компоненти BIST в цифрові системи на кристалах. Використовується дедуктивне моделювання несправностей для отримання аналітичних виразів, орієнтованих на транспортування списків несправностей через функціональний або логічний елемент на основі xor-операції, яка виконує роль вимірника подібності-відмінності між тестом, функцією і несправностями, заданими однаково в одному з форматів - таблицею, графом, рівнянням. Пропонується двійковий вектор як самий технологічний примітив структур даних для завдання логічної функціональності з метою паралельного синтезу та аналізу цифрових систем. Паралелізм рішення комбінаторних задач є фізична властивість квантового комп'ютингу, що в класичному комп'ютингу, для паралельного моделювання та діагностування несправностей, забезпечується унітарно-кодованими структурами даних, завдяки надлишковій пам'яті. Розроблено метод аналітичного синтезу дедуктивної логіки для функціональних елементів вентильного рівня і рівня регістрових передач. Запропоновано дедуктивний процесор для моделювання несправностей на основі транспортування вхідних списків або векторів несправностей на зовнішні виходи цифрових схем. Описано кубітно-векторну форму завдання логіки та методи кубітного синтезу дедуктивних рівнянь для моделювання несправностей. Розроблено кубітно- векторний метод синтезу тестів, що використовує похідні, які обчислюються за векторним покриттям логіки. Виконано верифікацію моделей і методів на тестових прикладах в програмній реалізації структур і алгоритмів. Висновки: наукова новизна полягає в новій парадигмі технології синтезу дедуктивної RTL-логіки на основі метричного рівняння тестування, що формує xor-відносини між тестом, функцією і несправностями. Вводиться векторна форма опису структур, яка дає можливість застосувати відомі технології синтезу та аналізу тестів логічних схем для ефективного вирішення завдань тестування графових структур і автоматних моделей цифрових пристроїв. Практична значимість відбивається в прикладах аналітичного синтезу дедуктивної логіки для функціональних елементів векторного рівня і рівня регістрових передач.

 Наукова періодика України 

---

Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)

• Хаханов Володимир Іванович (технічні науки)
• Литвинова Євгенія Іванівна (технічні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"