Ivannikov Institute for System Programming of the RAS

A TLM-based approach to functional verification of hardware components at different abstraction levels.


M. Chupilko, A. Kamkin.


Verification has long been recognized as an integral part of the hardware design process. When designing a system, engineers usually use various design representations and concretize them step by step up to a physical layout. At the beginning of the process, when there is much of indeterminacy, only abstract reference models are applicable to verification; when the process is close to the end, more concrete ones can be utilized. The article concerns problems of developing reusable verification systems (testbenches), which can be used to analyze different versions of the same component at different abstraction levels. We suggest an approach to construct reusable reaction checkers basing on a concept of Transaction Level Modeling (TLM). The paper includes general description of the approach, considers several particular cases, and outlines our experience.

Full text of the paper in pdf


hardware design; functional verification; simulationbased- verification; co-simulation; testbench automation; reaction checking; transaction level modeling (TLM).


Test Workshop (LATW), 2011 12th Latin American, 1-6.

Research Group

Software Engineering

All publications during 2011 All publications