Proceedings of ISP RAS


Some issues of automation of test program generation for branch units of microprocessors.

A.S. Kamkin.

Abstract

In this work, some issues of automated construction of test programs intended for functional verification of branch units of microprocessors are considered. Problems appearing when creating such programs are defined, and techniques for their automated solution are suggested. The article focuses on the general issues of branch processing mechanisms and does not touch upon the problems specific for concrete microprocessor architectures. The suggested techniques can be used in industrial test program generators.

Keywords

microprocessor design, functional verification, test program generation.

Edition

Proceedings of the Institute for System Programming, vol. 18, 2010, pp. 129-150.

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

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