Хассан К. . Моделі та методи апаратного моделювання несправно-стей цифрових систем на крислах

Мета дисертаційного дослідження - істотне (х10, х100) зменшення часу аналізу якості тестів шляхом ви-користання апаратных моделей та дедуктивно-паралельних методів моделювання несправностей циф-рових систем на основі розробки мультипроцесорної структури з обмеженою системою команд. Основні ре-зультати: моделі, методи і алгоритми програмно-апаратного дедуктивно-паралельного моделювання не-справностей та мінімізації булевих функцій; структура та функціонали секвенсера для вирішення задач дедуктив-но-паралельного моделювання несправностей складних цифрових систем; мультипроцесорна система аналізу якості тестів, що дозволяє значно підвищити швидкодію методу моделювання несправностей за рахунок розпара-лелювання та часткової конвеєризації обробки приміти-вів проектованого цифрового виробу; структура та сис-тема команд компілятора для розподілення примітивів цифрового пристрою, описаного HDL-мовою, по секвен-серах мультипроцесора. Практична значущість отрима-них результатів полягає у програмно-апаратній реалізації дедуктивно-паралельного аналізу на основі використання мультипроцесора, що є ефективним рішенням задачі зменшення часу верифікації та суттєвого скорочення time-to-market.