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

Інформація × Реєстраційний номер 0407U004844, Кандидатська дисертація На здобуття к.т.н. Дата захисту 25-12-2007 Статус Запланована Назва роботи Моделі та методи апаратного моделювання несправно-стей цифрових систем на крислах Здобувач Хассан Ктейман, Керівник Хаханов Володимир Іванович Опонент Краснобаєв Віктор Анатолійович Опонент Горбачев Валерій Олександрович Опис Мета дисертаційного дослідження - істотне (х10, х100) зменшення часу аналізу якості тестів шляхом ви-користання апаратных моделей та дедуктивно-паралельних методів моделювання несправностей циф-рових систем на основі розробки мультипроцесорної структури з обмеженою системою команд. Основні ре-зультати: моделі, методи і алгоритми програмно-апаратного дедуктивно-паралельного моделювання не-справностей та мінімізації булевих функцій; структура та функціонали секвенсера для вирішення задач дедуктив-но-паралельного моделювання несправностей складних цифрових систем; мультипроцесорна система аналізу якості тестів, що дозволяє значно підвищити швидкодію методу моделювання несправностей за рахунок розпара-лелювання та часткової конвеєризації обробки приміти-вів проектованого цифрового виробу; структура та сис-тема команд компілятора для розподілення примітивів цифрового пристрою, описаного HDL-мовою, по секвен-серах мультипроцесора. Практична значущість отрима-них результатів полягає у програмно-апаратній реалізації дедуктивно-паралельного аналізу на основі використання мультипроцесора, що є ефективним рішенням задачі зменшення часу верифікації та суттєвого скорочення time-to-market. Дата реєстрації 2007-12-25 Додано в НРАТ 2020-04-04 Закрити