Survey of modern technologies of simulation-based verification of hardware

被引：6
|
作者：
Kamkin, A. S. [1 ]
Chupilko, M. M. [1 ]
机构：
[1] Russian Acad Sci, Inst Syst Programming, Moscow 109004, Russia
来源：
PROGRAMMING AND COMPUTER SOFTWARE | 2011年 / 37卷 / 03期
关键词：
Register Transfer Level; Test Oracle; Hardware Model; Transac Tion Level Modeling; Mentor Graphic;
D O I：
10.1134/S0361768811030017
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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.
引用
收藏
页码：147 / 152
页数：6
相关论文
共 50 条
  • [1] Survey of modern technologies of simulation-based verification of hardware
    A. S. Kamkin
    M. M. Chupilko
    Programming and Computer Software, 2011, 37 : 147 - 152
  • [2] vlogsl: A Strategy Language for Simulation-Based Verification of Hardware
    Katelman, Michael
    Meseguer, Jose
    HARDWARE AND SOFTWARE: VERIFICATION AND TESTING, 2011, 6504 : 129 - 145
  • [3] Simulation-Based Hardware Verification with a Graph-Based Specification
    Lv, Zhao
    Chen, Shuming
    Wang, Yaohua
    MATHEMATICAL PROBLEMS IN ENGINEERING, 2018, 2018
  • [4] Formal meaning of coverage metrics in simulation-based hardware design verification
    Ugarte, I
    Sanchez, P
    HLDVT'05: TENTH ANNUAL IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2005, : 221 - 228
  • [5] Hardware Based Verification and Methodologies for Modern SoCs
    Jayaswal, Sudhanshu
    2021 IEEE INTERNATIONAL SYMPOSIUM ON SMART ELECTRONIC SYSTEMS (ISES 2021), 2021, : XXX - XXX
  • [6] A Survey on Assertion-based Hardware Verification
    Witharana, Hasini
    Lyu, Yangdi
    Charles, Subodha
    Mishra, Prabhat
    ACM COMPUTING SURVEYS, 2022, 54 (11S)
  • [7] Requirement verification in simulation-based automation testing
    Siivola, Eero
    Sierla, Seppo
    Niemisto, Hannu
    Karhela, Tommi
    Vyatkin, Valeriy
    2016 IEEE 14TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2016, : 740 - 743
  • [8] Simulation-Based Work Plan Verification in Shipyards
    Lee, Dong Kun
    Shin, Jong Gye
    Kim, Youngmin
    Jeong, Yong Kuk
    JOURNAL OF SHIP PRODUCTION AND DESIGN, 2014, 30 (02): : 49 - 57
  • [9] Hybrid Intelligent Testing in Simulation-Based Verification
    Masamba, Nyasha
    Eder, Kerstin
    Blackmore, Tim
    2022 FOURTH IEEE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE TESTING (AITEST 2022), 2022, : 26 - 33
  • [10] Applying formal techniques in simulation-based verification
    Zhu, YS
    2005 6TH INTERNATIONAL CONFERENCE ON ASIC PROCEEDINGS, BOOKS 1 AND 2, 2005, : 946 - 951
12345