Сборники трудов ИСП РАН


Генерация тестовых программ для микропроцессоров на основе шаблонов конвейерных конфликтов.

Д.Н. Воробьев, А.С. Камкин.

Аннотация

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

Ключевые слова

верификация микропроцессоров, конвейерные конфликты, спецификация системы команд, генерация тестовых программ.

Издание

Труды Института системного программирования РАН, том 18, 2010, стр. 91-114.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Полный текст статьи в формате pdf Вернуться к содержанию тома