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

Інформація × Реєстраційний номер 2125U004452, Матеріали видань та локальних репозитаріїв Категорія Стаття, Опубліковано, Рецензована стаття Назва роботи СИНТЕЗ ДЕДУКТИВНИХ ФОРМУЛ ДЛЯ ЛОГІЧНИХ ПРИМІТИВІВ Автор Hahanova AnnaHahanova IrinaObrizan VladimirShevchenko OlgaKulak HeorhiiHahanova AnnaHahanova IrinaObrizan VladimirShevchenko OlgaKulak Heorhii Дата публікації 30-09-2025 Постачальник інформації Національний університет «Полтавська політехніка імені Юрія Кондратюка» Першоджерело https://journals.nupp.edu.ua/sunz/article/view/4004 Видання Національний університет «Полтавська політехніка імені Юрія Кондратюка» Опис Актуальність. Дедуктивний аналіз цифрових систем і компонентів є найбільш ефективним інструментом синтезу тестів, оцінки їх якості та діагностики несправностей в режимі реального часу. Суть дедуктивного моделювання полягає у використанні синтезованих цифрових підсхем, які є необхідним апаратним доповненням до початкового функціоналу, призначеним для транспортування вхідних списків несправностей на зовнішні виходи. Підсхеми, реалізовані програмно або апаратно, в кілька разів перевищують корисний функціонал. Тому ефективність використання дедуктивного аналізу слід розглядати з позицій підвищення продуктивності, зниження витрат на обладнання і інтегрального часу на проектування цифрової системи і вихід на ринок електронних технологій. Метою дослідження є скорочення часу на моделювання несправностей логічних схем на основі синтезу дедуктивних функцій. Об'єкт дослідження – моделювання несправностей в цифрових системах та компонентах. Предметом дослідження є дедуктивний аналіз цифрових систем и компонентів. Результати. У ході дослідження проаналізовано основні проблеми, що супроводжують сучасне моделювання несправностей. Розглянуто тенденції новітніх методів моделювання. З метою побудови секвенсора моделювання дефектів, що є інваріантним до вхідних тестових наборів, синтезовано дедуктивні формули транспортування вхідних списків несправностей на зовнішні виходи для X-функцій від скінченної кількості змінних. Запропоновано структуру дедуктивного симулятора логічних X-функцій. Проаналізовано переваги дедуктивного симулятора логічних Х-функцій. Додано в НРАТ 2026-04-19 Закрити