Proceedings of ISP RAS


Formal specifications-based automation of system testing of hardware designs.

M.M. Chupilko.

Abstract

This paper touches upon the problem of the system testing of interconnected hardware modules when the resulted hardware design cannot be verified by means of module-level techniques due to its complexity. Brief analysis of the ways to develop test systems based on formal specifications is made in the paper. Also the method of verification is suggested which extends the module-based approach implementing the UniTESK technology.

Keywords

hardware designs, functional verification, formal specifications.

Edition

Proceedings of the Institute for System Programming, vol. 18, 2010, pp. 115-128.

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

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