Пошук академічних текстів

Інформація × Реєстраційний номер 2121U008637, Матеріали видань та локальних репозитаріїв Категорія Опубліковано, Стаття Назва роботи ВЕКТОРНІ МОДЕЛІ ЛОГІКИ І СТРУКТУРИ ДЛЯ ТЕСТУВАННЯ ТА МОДЕЛЮВАННЯ ЦИФРОВИХ СХЕМ Автор Хаханова А. В.Хаханов В. І.Чумаченко С. В.Литвинова Є. І.Рахліс Д. Ю.Hahanova A.Hahanov V.Chumachenko S.Litvinova E.Rakhlis D. Дата публікації 06-10-2021 Постачальник інформації Журнал "Радіоелектроніка, інформатика, управління" (Національний університет "Запорізька політехніка") Першоджерело https://ric.zp.edu.ua/article/view/241754 Видання National University "Zaporizhzhia Polytechnic" Опис Актуальність. Відомо, що структури даних є визначальними для створення ефективних паралельних алгоритмів і високопродуктивних обчислювальних пристроїв. Тому розробка математично досконалих і технологічно простих структур даних займає близько 80 відсотків часу проектування, коли на алгоритми і їх hardware-software кодування витрачається близько 20 відсотків часових і матеріальних ресурсів. Це обумовлює пошук таких примітивів структур даних, які суттєво спростять паралельні високопродуктивні алгоритми, що працюють на них. Пропонуються моделі і методи для тестування та моделювання цифрових систем, що містять окремі переваги квантового комп’ютингу в частині імплементації векторних кубітних структур даних в технології класичних обчислювальних процесів. Мета. Розробка інноваційної технології кубітно-векторного синтезу і дедуктивного аналізу тестів для їх верифікації на основі векторних структур даних, що істотно спрощують алгоритми, які можуть бути вбудовані як компоненти BIST в цифрові системи на кристалах. Метод. Використовується дедуктивне моделювання несправностей для отримання аналітичних виразів, орієнтованих на транспортування списків несправностей через функціональний або логічний елемент на основі xor-операції, яка виконує роль вимірника подібності-відмінності між тестом, функцією і несправностями, заданими однаково в одному з форматів − таблицею, графом, рівнянням. Пропонується двійковий вектор як самий технологічний примітив структур даних для завдання логічної функціональності з метою паралельного синтезу та аналізу цифрових систем. Паралелізм рішення комбінаторних задач є фізична властивість квантового комп’ютингу, що в класичному комп’ютингу, для паралельного моделювання та діагностування несправностей, забезпечується унітарно-кодованими структурами даних, завдяки надлишковій пам’яті. Результати. 1) Розроблено метод аналітичного синтезу дедуктивної логіки для функціональних елементів вентильного рівня і рівня регістрових передач. 2) Запропоновано дедуктивний процесор для моделювання несправностей на основі транспортування вхідних списків або векторів несправностей на зовнішні виходи цифрових схем. 3) Описано кубітно-векторну форму завдання логіки та методи кубітного синтезу дедуктивних рівнянь для моделювання несправностей. 4) Розроблено кубітно-векторний метод синтезу тестів, що використовує похідні, які обчислюються за векторним покриттям логіки. 5) Виконано верифікацію моделей і методів на тестових прикладах в програмній реалізації структур і алгоритмів.  Висновки. Наукова новизна полягає в новій парадигмі технології синтезу дедуктивної RTL-логіки на основі метричного рівняння тестування, що формує xor-відносини між тестом, функцією і несправностями. Вводиться векторна форма опису структур, яка дає можливість застосувати відомі технології синтезу та аналізу тестів логічних схем для ефективного вирішення завдань тестування графових структур і автоматних моделей цифрових пристроїв. Практична значимість відбивається в прикладах аналітичного синтезу дедуктивної логіки для функціональних елементів векторного рівня і рівня регістрових передач. Пропонується дедуктивний процесор для моделювання несправностей, який орієнтований на імплементацію як засобу BIST, що використовується в режимі онлайн тестування, моделювання і діагностування несправностей для цифрових систем на кристалах. Пропонується кубітно-векторна форма опису цифрових систем, яка перевершує існуючі способи завдання обчислювальних пристроїв за метрикою: технологічність, компактність, швидкодія і якість. Розроблено програмний застосунок, який реалізує основні сервіси тестування, моделювання та діагностування, що використовуються в навчальному процесі для вивчення переваг кубітно-векторних структур даних і алгоритмів. Наводяться оцінки обчислювальної складності процесів синтезу тестів і дедуктивних формул для логіки і їх використання при моделюванні несправностей. Додано в НРАТ 2026-02-09 Закрити