Структури даних для дедуктивного моделювання умовних операторів HDL

Шкіль, О. С.; Мірошник, М.; Тріфанов, О. В.; Рахліс, Д. Ю.

Публікація:
Структури даних для дедуктивного моделювання умовних операторів HDL

dc.contributor.author	Шкіль, О. С.
dc.contributor.author	Мірошник, М.
dc.contributor.author	Тріфанов, О. В.
dc.contributor.author	Рахліс, Д. Ю.
dc.date.accessioned	2024-10-08T16:10:56Z
dc.date.available	2024-10-08T16:10:56Z
dc.date.issued	2023
dc.description.abstract	Предметом дослідження є кубітно-векторні моделі опису комбінаційних схем і процедури дедуктивного моделювання несправностей на основі цих моделей. Об’єкт дослідження – процеси побудови діагностичного забезпечення цифрових систем на основі використання векторних кубітних даних. Мета роботи – підвищення швидкості та якості створення діагностичного забезпечення цифрових пристроїв способом розроблення оптимальних структур даних і процедур дедуктивного моделювання несправностей на основі структурно-функціональних моделей комбінаційних схем. У статті вирішуються такі завдання: аналіз паралельних і послідовних умовних операторів мов опису апаратури та схемних структур, у які вони синтезуються; розроблення процедури формування таблиць істинності (Q-векторів) схемних структур, поданих мовами опису апаратури; створення універсальної структури даних для кубічного та аналітичного дедуктивного моделювання несправностей; удосконалення векторних моделей кубітного подання структур і компонентів цифрових систем на основі адресного кодування вхідних сигналів для підвищення технологічності та швидкодії моделювання несправностей; розроблення процедури отримання булевих похідних способом переставлень розрядів таблиць істинності (Q-векторів) та використання операції XOR; створення структури даних для дедуктивного моделювання несправностей на основі кубічного подання компонентів цифрових схем. Використовуються такі методи: дедуктивне, кубічне, дедуктивно-паралельне моделювання несправностей, моделювання несправностей за дедуктивними Q-векторами. Здобуто такі результати: показано еквівалентність паралельних і послідовних умовних операторів, а також їх схемна реалізація у вигляді мультиплексорів; запропоновано спосіб отримання таблиць істинності синтезованої схемної структури за допомогою TestBench (Xilinx ISE); розглянуто різні технології та структури даних дедуктивного моделювання несправностей для табличного, аналітичного й кубітного способів опису цифрових схем; описано програмну реалізацію кубічного дедуктивного моделювання несправностей і показано еквівалентність отриманих результатів для схем мультиплексорів MUХ 2-в-1 та МUХ 4-в-1 з використанням програмного продукту DCP. Висновки: запропоновано новий Q-метод інтерпретативного моделювання несправностей цифрових схем, що визначається застосуванням компактних Q-векторів замість таблиць істинності; це дає змогу суттєво підвищити швидкодію аналізу завдяки адресному формуванню виходів функціональних примітивів і зменшити обсяги структур даних, що практично робить метод конкурентоспроможним із технологіями компілятивного моделювання.
dc.identifier.citation	Структури даних для дедуктивного моделювання умовних операторів HDL / О. Шкіль, М. Мірошник, Д. Рахліс, О. Тріфанов // Сучасний стан наукових досліджень та технологій в промисловості. – 2023. – № 3(25). – С. 98–113. – DOI: https://doi.org/10.30837/ITSSI.2023.25.098.
dc.identifier.doi	https://doi.org/10.30837/ITSSI.2023.25.098
dc.identifier.uri	https://openarchive.nure.ua/handle/document/28984
dc.language.iso	uk
dc.publisher	ХНУРЕ
dc.subject	HDL-модель
dc.subject	структурно-функціональна модель
dc.subject	дедуктивне моделювання несправностей
dc.subject	кубічне покриття
dc.subject	таблиця істинності
dc.subject	Q-вектор
dc.title	Структури даних для дедуктивного моделювання умовних операторів HDL
dc.type	Article
dspace.entity.type	Publication