Розроблено структурно-функціональні моделі цифрових пристроїв, процедур і алгоритмів кубічного аналізу несправностей під час генерації тестів для зменшення часових і матеріальних витрат, пов'язаних з верифікацією цифрових систем на стадії автоматизованого проектування. У процесі досліджень розв'язано задачі: модифікації автоматної моделі синхронного примітива, описаного двотактним кубічним покриттям, яке дозволяє виконувати аналіз послідовнісних цифрових асинхронних схем у трьох автоматних тактах, що зменшує число псевдозмінних у моделі; створення алгоритму кубічного дедуктивного моделювання несправностей, на основі аналізу кубічних покрить примітивів; розробки програмного комплексу моделювання несправностей, що дозволяє здійснювати оцінку якості генерованих тестів цифрових систем на кристалі.

  Скачати повний текст

Запропоновано поняття базової групи; класифікацію структурних кодів на основі базових груп; альтернативні структурні коди; характеристики для оцінки властивостей структурних кодів; поняття підмножини пріоритетів; показники оцінки потужності підмножин пріоритетів, класифікацію альтернативних форм представлення логічних функцій на основі підмножин пріоритетів. Розроблено матрично-аналітичний метод синтезу структурних кодів; математичний апарат розрахунку характеристичних оцінок структурних кодів та визначення систем обчислення; метод перетворення, контролю та корекції інформації в альтернативних структурних кодах; алгоритм виявлення та виправлення помилок під час реконфігурації інформації; метод мінімізації логічних функцій у формі поліномів Ріда - Мюллера; розв'язання класичної задачі мінімізації логічних функцій у формі поліномів Жегалкіна шляхом зведення її до задачі лінійного програмування; метод синтезу цифрових пристроїв за умовами надійності; функціональну схему арифметико-логічного пристрою мікропроцесорної системи, як практичну реалізацію запропонованого методу. Центральними процедурами методу синтезу цифрових пристроїв за умовами надійності є: вибір базової групи та синтез структурних кодів на її основі та вибір форм представлення логічних функцій. Відзначено, що реалізація методу дає змогу розширити кількість форм представлення інформації для створення гнучкої відмовостійкої системи керування, яка має реконфігуровану інформаційну структуру, здатність адаптації до розв'язуваних задач і моделі помилок. Ефективність запропонованого методу синтезу цифрових пристроїв обгрунтовано результатами теоретичних розрахунків, що показали можливість підвищення ймовірності безвідмовної роботи схемолітичної реалізації до 25 %.

  Скачати повний текст

Вирішено науково-прикладну задачу розробки методів синтезу завадостійких компонентів цифрових систем на підставі біноміальних чисел. Вдосконалено метод синтезу послідовних біноміальних лічильників, які підвищують їх швидкодією. Запропоновано спосіб побудови біноміальних лічильників зі змінними параметрами та генераторів рівноважних кодів на їх базі. Розроблено метод аналізу завадостійкості та вибору параметрів біноміальних кодів. Визначено метод побудови завадостійких модифікованих біноміальних кодів. Встановлено методику оцінки завадостійкості пристроїв на базі біноміальних чисел з дублюванням та ухваленням рішення по провідному каналу або по каналам рівнозначними з значущості.

  Скачати повний текст