Proceedings of ISP RAS


Mirror-based method of constraints generation for test programs generation by test template.

Evgeni Kornykhin.

Abstract

The article is devoted to core-level functional verification of memory management units. The article presents method of directed test cases generation. This generation supposes systematic construction of test programs by given test templates. The proposing method has been applied to test cases generation for memory management units of MIPS64-compatible microprocessors.

Keywords

microprocessors, core-level verification, functional verification, test cases generation, test template, directed test cases generation, memory management unit.

Edition

Proceedings of the Institute for System Programming, vol. 18, 2010, pp. 67-80.

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

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