Институт системного программирования им. В.П. Иванникова РАН

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.

Полный текст статьи в формате 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

Научная группа

Технологии программирования

Все публикации за 2011 год Все публикации