Система шаблонной генерации тестов

Процесс верификации, осуществляющий проверку соответствия системы требованиям ее спецификации на каждом уровне детализации, является трудоемкой составляющей цикла разработки современных микропроцессоров [1]. При проверке соответствия RTL-описания микропроцессора системе команд требуется создание пакета тестов (architecture validation suite, AVS), проверяющих поведение микропроцессора в большом количестве ситуаций. Он должен проверять корректность работы всех инструкций с учетом состояния системных регистров и других условий, влияющих на их исполнение [2]. При этом если проверка корректности исполнения для возможных значений аргументов операций не является вычислительно возможной, как и проверка возможных вариантов взаимного влияния операций, то перебор режимов исполнения операций или условий генераций исключительных ситуаций в тестах AVS должны быть реализованы.

Тесты, проверяющие соответствие реализации специфицированной архитектуре, в большинстве случаев представлены в виде программ на языке ассемблера. Методы, применяемые при создании этих тестов, зависят от доступных ресурсов и сложности архитектуры, но в общем случае соответствуют описанному ниже маршруту.

Подробнее... Загрузить файл 

Содержание:

Введение

1. Методы генерация тестов

2. Анализ использованных решений

3. Выработка требований

4. Разработка спецификации

5. Особенности реализации

6. Верификация препроцессора

7. Опыт использования и направление дальнейших работ

Литература