Skip to main content
SpringerLink
Log in

Survey of modern technologies of simulation-based verification of hardware

  • Published:
Programming and Computer Software Aims and scope Submit manuscript

Abstract

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 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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. IEEE Standard VHDL Language Reference Manual, IEEE Std 1076-1987.

  2. IEEE Standard Hardware Description Language Based on the Verilog Hardware Description Language, IEEE Std 1364-1995.

  3. IEEE Standard SystemC Language Reference Manual, IEEE Std 1666-2005.

  4. IEEE Standard for SystemVerilog—Unified Hardware Design, Specification, and Verification Language, IEEE Std 1800-2005.

  5. Rose, A., Fitzpatrick, T., Rich, D., and Foster, H., Advanced Verification Methodology Cookbook, Mentor Graphics Corporation, 2008. http://www.mentor.com/go/cookbook

  6. OVM Whitepaper, Mentor Graphics Corporation, Cadence, 2007. http://www.ovmworld.org

  7. Ivannikov, V.P., Kamkin, A.S., Kuliamin, V.V., and Petrenko, A.K., Applying UniTESK Technology to Functional Testing of Hardware Models, Preprint of Inst. of System Programming RAN, Moscow, 2005 http://citforum.ru/SE/testing/unitesk_hard/.

Download references

Author information

Authors and Affiliations

  1. Institute for System Programming, Russian Academy of Sciences, ul. Solzhenitsyna 25, Moscow, 109004, Russia

    A. S. Kamkin & M. M. Chupilko

Authors
  1. A. S. Kamkin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. M. M. Chupilko
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to A. S. Kamkin.

Additional information

Original Russian Text © A.S. Kamkin, M.M. Chupilko, 2011, published in Programmirovanie, 2011, Vol. 37, No. 3.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Kamkin, A.S., Chupilko, M.M. Survey of modern technologies of simulation-based verification of hardware. Program Comput Soft 37, 147–152 (2011). https://doi.org/10.1134/S0361768811030017

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1134/S0361768811030017

Keywords

Search

Navigation