| |
 |
|
|
 |
|
 |
|
Библиотечный каталог авторефератов Украины |
|
| По вопросу доставки диссертации по этой теме пишите на электронный адрес: info@lib.ua-ru.net |
| Тема автореферата диссертации: Дедуктивно-паралельне моделювання несправностей на моделях цифрових систем, що реконфугуруються 2002 года.
|
| Источник: Автореф. дис... канд. техн. наук: 05.13.13 / І.Ю. Сисенко; Харк. нац. ун-т радіоелектрон. — Х., 2002. — 19 с. — укp.
|
| Аннотация: Розроблено швидкодіючі методи моделювання одиночних константних несправностей на реконфікурованих моделях цифрових систем, що реконфігуруються, які реалізуються у програмованій логіці, для оцінки якості синтезованих тестів верифікації. Удосконалено модель дедуктивно-паралельного аналізу несправностей, що поєднує технологічність дедуктивного моделювання дефектів зі швидкодією виконання паралельних векторних операцій з метою значного зменшення часу обробки цифрових систем великої розмірності, а також дедуктивну модель реконфігурування структур даних опису цифрових систем на тест-векторі, що дає можливість паралельно обробляти сукупність дефектів схеми за одну ітерацію з метою підвищення швидкодії синтезу та сертифікації вхідних послідовностей. Розвинуто метод моделювання несправностей цифрових систем, представлених на RTL-рівні у форматі булевих рівнянь, що об'єднує переваги дедуктивного аналізу дефектів з реалізацією їх паралельної обробки та дозволяє обробляти цифрові системи на кристалі, що містить сотні тисяч вентилів. Удосконалено метод зворотного моделювання несправностей цифрових систем великої розмірності, що об'єднує процедури дедуктивно-паралельного аналізу розгалужень, що сходяться, зі зворотним простежуванням дефектів для деревоподібних структур. Це дозволяє обробляти цифрові структури вентильного рівня опису та має залежність часу обробки від числа ліній, близьку до лінійної.
|
 |
|
|
|
 |
|
 |
|
|
 |
|
|
|
|
|
|
