Proceedings of ISP RAS

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

M.M. Chupilko.


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.


hardware designs, functional verification, formal specifications.


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