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

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