Survey of Modern Technologies of Simulation-Based Verification of Hardware

摘要

Comparative analysis of modern approaches to simulation-based verification (testing) of hardware 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 LJniTESK technology and its unification with the QVM methodology, which is currently widely used and pretends to be a standard in the field of hardware verification, are given.