Структури даних для дедуктивного моделювання умовних операторів HDL
Предметом дослідження є кубітно-векторні моделі опису комбінаційних схем і процедури дедуктивного моделювання несправностей на основі цих моделей. Об’єкт дослідження – процеси побудови діагностичного забезпечення цифрових систем на основі використання векторних кубітних даних. Мета роботи – підвище...
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Kharkiv National University of Radio Electronics
2023-09-01
|
| Series: | Сучасний стан наукових досліджень та технологій в промисловості |
| Subjects: | |
| Online Access: | https://www.itssi-journal.com/index.php/ittsi/article/view/425 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1849407748612030464 |
|---|---|
| author | Олександр Шкіль Марина Мірошник Дарія Рахліс Олег Тріфанов |
| author_facet | Олександр Шкіль Марина Мірошник Дарія Рахліс Олег Тріфанов |
| author_sort | Олександр Шкіль |
| collection | DOAJ |
| description |
Предметом дослідження є кубітно-векторні моделі опису комбінаційних схем і процедури дедуктивного моделювання несправностей на основі цих моделей. Об’єкт дослідження – процеси побудови діагностичного забезпечення цифрових систем на основі використання векторних кубітних даних. Мета роботи – підвищення швидкості та якості створення діагностичного забезпечення цифрових пристроїв способом розроблення оптимальних структур даних і процедур дедуктивного моделювання несправностей на основі структурно-функціональних моделей комбінаційних схем. У статті вирішуються такі завдання: аналіз паралельних і послідовних умовних операторів мов опису апаратури та схемних структур, у які вони синтезуються; розроблення процедури формування таблиць істинності (Q-векторів) схемних структур, поданих мовами опису апаратури; створення універсальної структури даних для кубічного та аналітичного дедуктивного моделювання несправностей; удосконалення векторних моделей кубітного подання структур і компонентів цифрових систем на основі адресного кодування вхідних сигналів для підвищення технологічності та швидкодії моделювання несправностей; розроблення процедури отримання булевих похідних способом переставлень розрядів таблиць істинності (Q-векторів) та використання операції XOR; створення структури даних для дедуктивного моделювання несправностей на основі кубічного подання компонентів цифрових схем. Використовуються такі методи: дедуктивне, кубічне, дедуктивно-паралельне моделювання несправностей, моделювання несправностей за дедуктивними Q-векторами. Здобуто такі результати: показано еквівалентність паралельних і послідовних умовних операторів, а також їх схемна реалізація у вигляді мультиплексорів; запропоновано спосіб отримання таблиць істинності синтезованої схемної структури за допомогою TestBench (Xilinx ISE); розглянуто різні технології та структури даних дедуктивного моделювання несправностей для табличного, аналітичного й кубітного способів опису цифрових схем; описано програмну реалізацію кубічного дедуктивного моделювання несправностей і показано еквівалентність отриманих результатів для схем мультиплексорів MUХ 2-в-1 та МUХ 4-в-1 з використанням програмного продукту DCP. Висновки: запропоновано новий Q-метод інтерпретативного моделювання несправностей цифрових схем, що визначається застосуванням компактних Q-векторів замість таблиць істинності; це дає змогу суттєво підвищити швидкодію аналізу завдяки адресному формуванню виходів функціональних примітивів і зменшити обсяги структур даних, що практично робить
метод конкурентоспроможним із технологіями компілятивного моделювання.
|
| format | Article |
| id | doaj-art-b48ff1100cb047d482e0719336a0bb36 |
| institution | Kabale University |
| issn | 2522-9818 2524-2296 |
| language | English |
| publishDate | 2023-09-01 |
| publisher | Kharkiv National University of Radio Electronics |
| record_format | Article |
| series | Сучасний стан наукових досліджень та технологій в промисловості |
| spelling | doaj-art-b48ff1100cb047d482e0719336a0bb362025-08-20T03:35:57ZengKharkiv National University of Radio ElectronicsСучасний стан наукових досліджень та технологій в промисловості2522-98182524-22962023-09-013 (25)10.30837/ITSSI.2023.25.098Структури даних для дедуктивного моделювання умовних операторів HDLОлександр Шкіль0Марина Мірошник1Дарія Рахліс2Олег Тріфанов3Харківський національний університет радіоелектронікиХарківський національний університет імені В. Н. КаразінаХарківський національний університет радіоелектронікиХарківський національний університет радіоелектроніки Предметом дослідження є кубітно-векторні моделі опису комбінаційних схем і процедури дедуктивного моделювання несправностей на основі цих моделей. Об’єкт дослідження – процеси побудови діагностичного забезпечення цифрових систем на основі використання векторних кубітних даних. Мета роботи – підвищення швидкості та якості створення діагностичного забезпечення цифрових пристроїв способом розроблення оптимальних структур даних і процедур дедуктивного моделювання несправностей на основі структурно-функціональних моделей комбінаційних схем. У статті вирішуються такі завдання: аналіз паралельних і послідовних умовних операторів мов опису апаратури та схемних структур, у які вони синтезуються; розроблення процедури формування таблиць істинності (Q-векторів) схемних структур, поданих мовами опису апаратури; створення універсальної структури даних для кубічного та аналітичного дедуктивного моделювання несправностей; удосконалення векторних моделей кубітного подання структур і компонентів цифрових систем на основі адресного кодування вхідних сигналів для підвищення технологічності та швидкодії моделювання несправностей; розроблення процедури отримання булевих похідних способом переставлень розрядів таблиць істинності (Q-векторів) та використання операції XOR; створення структури даних для дедуктивного моделювання несправностей на основі кубічного подання компонентів цифрових схем. Використовуються такі методи: дедуктивне, кубічне, дедуктивно-паралельне моделювання несправностей, моделювання несправностей за дедуктивними Q-векторами. Здобуто такі результати: показано еквівалентність паралельних і послідовних умовних операторів, а також їх схемна реалізація у вигляді мультиплексорів; запропоновано спосіб отримання таблиць істинності синтезованої схемної структури за допомогою TestBench (Xilinx ISE); розглянуто різні технології та структури даних дедуктивного моделювання несправностей для табличного, аналітичного й кубітного способів опису цифрових схем; описано програмну реалізацію кубічного дедуктивного моделювання несправностей і показано еквівалентність отриманих результатів для схем мультиплексорів MUХ 2-в-1 та МUХ 4-в-1 з використанням програмного продукту DCP. Висновки: запропоновано новий Q-метод інтерпретативного моделювання несправностей цифрових схем, що визначається застосуванням компактних Q-векторів замість таблиць істинності; це дає змогу суттєво підвищити швидкодію аналізу завдяки адресному формуванню виходів функціональних примітивів і зменшити обсяги структур даних, що практично робить метод конкурентоспроможним із технологіями компілятивного моделювання. https://www.itssi-journal.com/index.php/ittsi/article/view/425HDL-модель; структурно-функціональна модель; дедуктивне моделювання несправностей; кубічне покриття; таблиця істинності; Q-вектор |
| spellingShingle | Олександр Шкіль Марина Мірошник Дарія Рахліс Олег Тріфанов Структури даних для дедуктивного моделювання умовних операторів HDL Сучасний стан наукових досліджень та технологій в промисловості HDL-модель; структурно-функціональна модель; дедуктивне моделювання несправностей; кубічне покриття; таблиця істинності; Q-вектор |
| title | Структури даних для дедуктивного моделювання умовних операторів HDL |
| title_full | Структури даних для дедуктивного моделювання умовних операторів HDL |
| title_fullStr | Структури даних для дедуктивного моделювання умовних операторів HDL |
| title_full_unstemmed | Структури даних для дедуктивного моделювання умовних операторів HDL |
| title_short | Структури даних для дедуктивного моделювання умовних операторів HDL |
| title_sort | структури даних для дедуктивного моделювання умовних операторів hdl |
| topic | HDL-модель; структурно-функціональна модель; дедуктивне моделювання несправностей; кубічне покриття; таблиця істинності; Q-вектор |
| url | https://www.itssi-journal.com/index.php/ittsi/article/view/425 |
| work_keys_str_mv | AT oleksandrškílʹ strukturidanihdlâdeduktivnogomodelûvannâumovnihoperatorívhdl AT marinamírošnik strukturidanihdlâdeduktivnogomodelûvannâumovnihoperatorívhdl AT daríârahlís strukturidanihdlâdeduktivnogomodelûvannâumovnihoperatorívhdl AT olegtrífanov strukturidanihdlâdeduktivnogomodelûvannâumovnihoperatorívhdl |