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

Інформація × Реєстраційний номер 2120U009312, Матеріали видань та локальних репозитаріїв Категорія Стаття, Опубліковано, Рецензована стаття Назва роботи АВТОМАТНІ МОДЕЛІ ТА СИНТЕЗ ЗАСОБІВ КОНТРОЛЮ АПАРАТНОЇ РЕАЛІЗАЦІЇ АЛГОРИТМІВ ЗАМІЩЕННЯ КЕШ-ПАМ’ЯТІ Автор Puidenko V.Kharchenko V.Puidenko V.Kharchenko V. Дата публікації 25-11-2020 Постачальник інформації Національний університет «Полтавська політехніка імені Юрія Кондратюка» Першоджерело https://journals.nupp.edu.ua/sunz/article/view/2009 Видання Національний університет «Полтавська політехніка імені Юрія Кондратюка» Опис Синтез автоматних моделей політик заміщення алгоритмів pseudo – LRU, адаптивного ARC та MRU показує, що неодмінною компонентою моделі є вихідна комбінаційна логіка селекції елементів блоку даних кешпам’яті за напрямками q. Ця компонента побудована на підставі логічних рівнянь структурного синтезу, які описують логіку роботи дешифратора. Відомо, що типова комбінаційна логіка дешифратора перетворює двійковий код в унітарний код і це є умова його безпомилкової роботи. Таким чином, умовами помилкової роботи стануть вихідні двійкові комбінації, які відрізняються від комбінацій унітарного коду. В статті реалізовані два варіанти синтезу засобів контролю логіки роботи дешифраторів. Перший варіант ґрунтується на автоматній моделі апаратури контролю без елементів пам’яті з подальшим синтезом отримання мінімальних нормальних форм перемикальної функції, яка описує логіку функціонування комбінаційної схеми базису «і-ні». Другий варіант ґрунтується на автоматній моделі апаратури контролю з елементами пам’яті з ідеєю підрахунку логічних одиниць на виходах комбінаційної логіки селекції q напрямків. Для цього в структуру автоматної моделі включені такі елементи пам’яті, як синхронний регістр зсуву та синхронний двійковий лічильник з додатковою логікою керування входом інкременту. В якості компоненти порівняння з константним значенням логічної одиниці виступає двійковий компаратор з вихідним результатом функції порівняння для визначення наявності або відсутності помилки. Також, додатково, в статті наведений розрахунок таких параметрів технічної діагностики, як достовірність контролю, достовірність функціонування, приріст достовірності функціонування та коефіцієнт ефективності контролю і діагностування Додано в НРАТ 2026-04-19 Закрити