Тестовое диагностирование современных микропроцессоров с использованием функциональных моделей

Представлен новый подход к разработке функциональных диагностических тестов процессоров с параллелизмом уровня системы команд. Подход основан на функциональной декомпозиции архитектуры процессора и использовании функциональных моделей. Подход применен для разработки методики диагностирования механизмов хранения и передачи данных конвейеризованных процессоров. Разработаны модели и алгоритмы генерирования тестов этих механизмов. Качество диагностических тестов оценено на модели.