Proceedings of ISP RAS


Генерация тестовых данных для системного функционального тестирования микропроцессоров с учетом кэширования и трансляции адресов.

Е. В. Корныхин.

Abstract

В статье рассматривается задача генерации тестовых данных при генерации тестовых программ для системного функционального тестирования микропроцессоров (core-level verification), по абстрактной форме тестовой программы (тестовому шаблону). Для решения этой задачи в работе предложен алгоритм, сводящий ее к задаче разрешения ограничений. При этом учитываются такие особенности микропроцессора, как кэширование и трансляция адресов.

Edition

Proceedings of the Institute for System Programming, vol. 17 (in Russian), 2009, Стр. 145-160.

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

Full text of the paper in pdf (in Russian) Back to the contents of the volume