Ivannikov Institute for System Programming of the RAS

Developing test systems for multi-modules hardware designs.




The paper proposes the approach of creating test systems for complex hardware designs. The designs can be subdivided into modules and verified separately. The proposed architecture of separated verification systems and the way to combine them into a complex test system are based on simulation-based verification of hardware designs. The components of test systems are connected in a TLM-like way that allows to use high-level model of commutation based on messages and thereby to simplify merging of several test systems into a test system for the complex component.

Full text of the paper in pdf


complex hardware designs; simulation-based verification;combination of test systems


Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering, 2011, pp. 111-116.

DOI: 10.15514/SYRCOSE-2011-5-19

ISBN 978-5-91474-017-4

Research Group

Software Engineering

All publications during 2011 All publications