Proceedings of ISP RAS

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

Evgeni Kornykhin.


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.


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


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