Search academic texts

Information × Registration Number 2125U004452, Article popup.category Стаття, Опубліковано, Рецензована стаття Title SYNTHESIS OF DEDUCTIVE FORMULAS FOR PRIMITIVES popup.author Hahanova AnnaHahanova IrinaObrizan VladimirShevchenko OlgaKulak HeorhiiHahanova AnnaHahanova IrinaObrizan VladimirShevchenko OlgaKulak Heorhii popup.publication 30-09-2025 popup.source_user Національний університет «Полтавська політехніка імені Юрія Кондратюка» popup.source https://journals.nupp.edu.ua/sunz/article/view/4004 popup.publisher Національний університет «Полтавська політехніка імені Юрія Кондратюка» Description Актуальність. Дедуктивний аналіз цифрових систем і компонентів є найбільш ефективним інструментом синтезу тестів, оцінки їх якості та діагностики несправностей в режимі реального часу. Суть дедуктивного моделювання полягає у використанні синтезованих цифрових підсхем, які є необхідним апаратним доповненням до початкового функціоналу, призначеним для транспортування вхідних списків несправностей на зовнішні виходи. Підсхеми, реалізовані програмно або апаратно, в кілька разів перевищують корисний функціонал. Тому ефективність використання дедуктивного аналізу слід розглядати з позицій підвищення продуктивності, зниження витрат на обладнання і інтегрального часу на проектування цифрової системи і вихід на ринок електронних технологій. Метою дослідження є скорочення часу на моделювання несправностей логічних схем на основі синтезу дедуктивних функцій. Об'єкт дослідження – моделювання несправностей в цифрових системах та компонентах. Предметом дослідження є дедуктивний аналіз цифрових систем и компонентів. Результати. У ході дослідження проаналізовано основні проблеми, що супроводжують сучасне моделювання несправностей. Розглянуто тенденції новітніх методів моделювання. З метою побудови секвенсора моделювання дефектів, що є інваріантним до вхідних тестових наборів, синтезовано дедуктивні формули транспортування вхідних списків несправностей на зовнішні виходи для X-функцій від скінченної кількості змінних. Запропоновано структуру дедуктивного симулятора логічних X-функцій. Проаналізовано переваги дедуктивного симулятора логічних Х-функцій. popup.nrat_date 2026-04-19 Close