Рассмотрена разработка системы шаблонной генерации тестов, предназначенных для проверки соответствия реализации микропроцессора спецификации системы команд. Система генерации выполнена в виде препроцессора исходного кода на языке ассемблера. При разработке спецификации препроцессора были учтены опыт применения существующих препроцессоров и специфика генерации ассемблерных тестов. Проведена верификация разработанного препроцессора с помощью псевдослучайных тестов, генерируемых на основе его грамматики. Исследован опыт применения, выявлены направления дальнейшего развития.
Процесс верификации, осуществляющий проверку соответствия системы требованиям ее спецификации на каждом уровне детализации, является трудоемкой составляющей цикла разработки современных микропроцессоров [1]. При проверке соответствия RTL-описания микропроцессора системе команд требуется создание пакета тестов (architecture validation suite, AVS), проверяющих поведение микропроцессора в большом количестве ситуаций. Он должен проверять корректность работы всех инструкций с учетом состояния системных регистров и других условий, влияющих на их исполнение [2]. При этом если проверка корректности исполнения для возможных значений аргументов операций не является вычислительно возможной, как и проверка возможных вариантов взаимного влияния операций, то перебор режимов исполнения операций или условий генераций исключительных ситуаций в тестах AVS должны быть реализованы.
Тесты, проверяющие соответствие реализации специфицированной архитектуре, в большинстве случаев представлены в виде программ на языке ассемблера. Методы, применяемые при создании этих тестов, зависят от доступных ресурсов и сложности архитектуры, но в общем случае соответствуют описанному ниже маршруту.
Подробнее... Загрузить файл 
Содержание:
Введение
1. Методы генерация тестов
2. Анализ использованных решений
3. Выработка требований
4. Разработка спецификации
5. Особенности реализации
6. Верификация препроцессора
7. Опыт использования и направление дальнейших работ
Литература