Ivannikov Institute for System Programming of the RAS

Survey of modern technologies of simulation-based verification of hardware.


A.S. Kamkin, M.M. Chupilko.


Comparative analysis of modern approaches to simulationbased verification (testing) of hard ware models—AVM (advanced verification methodology) developed by the Mentor Graphics Corporation, OVM (open verification methodology) developed jointly by Mentor Graphics and Cadence Design Systems, and the UniTESK (unified testing and specification tool kit) technology developed at the Institute for System Programming of Russian Academy of Sciences—is given. In the paper,  advantages and disadvantages of these approaches are analyzed, and architectures of the test systems are compared. Recommendations on the development of the UniTESK technology and its unification with the OVM methodology, which is currently widely used and pretends to be a standard in the field of hardware verification, are given.

Full text of the paper in pdf


Programming and Computer Software 37 (3), 147-152.

DOI: 10.1134/S0361768811030017

Research Group

Software Engineering

All publications during 2011 All publications