System-level verification - A comparison of approaches

被引:7
|
作者
Turner, R [1 ]
机构
[1] Quickturn Design Syst, San Jose, CA 95131 USA
关键词
D O I
10.1109/IWRSP.1999.779046
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
Design verification is beginning to dominate design cycle rimes as design complexity increases. As more and more electronic products have software content-and many of them large software content -software verification is often the pacing factor in completing a product. Designers are often faced with serious project delays when they wait for first silicon to begin software debugging. System-level verification addresses verification of ASIC/IC, board-level design, FPGA programming, and software with as much concurrency as possible with the goal of minimizing the project schedule. There are a variety of approaches to system-level verification depending on the verification objectives and performance requirements. This paper will describe four different approaches to system verification and the trade-offs of each approach. Examples from actual projects will be used to demonstrate the application of each approach. Recommendations for determining the best verification approach are also given.
引用
收藏
页码:154 / 159
页数:6
相关论文
共 50 条
  • [41] Is it time to peek under the hood of system-level approaches to quality and safety?
    Yakusheva, Olga
    Needleman, Jack
    Bettencourt, Amanda P.
    Buerhaus, Peter I.
    NURSING OUTLOOK, 2020, 68 (02) : 141 - 144
  • [42] SYSTEM-LEVEL DESIGN VERIFICATION IN THE AT-AND-T COMPUTER DIVISION - OVERVIEW AND STRATEGY
    ABRAMOVICI, M
    BIERBAUER, JW
    HELLMAN, RH
    HONG, CL
    MILLER, DT
    TAYLOR, RG
    PROCEEDINGS - IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN : VLSI IN COMPUTERS & PROCESSORS, 1989, : 542 - 547
  • [43] An interactive verification and debugging environment by concrete/symbolic simulations for system-level designs
    Kojima, Yoshihisa
    Nishihara, Tasuku
    Matsumoto, Takeshi
    Fujita, Masahiro
    PROCEEDINGS OF THE 17TH ASIAN TEST SYMPOSIUM, 2008, : 315 - +
  • [44] Model-driven system-level validation and verification on the space software domain
    Montalvo, Aaron
    Parra, Pablo
    Rodriguez Polo, Oscar
    Carrasco, Alberto
    Da Silva, Antonio
    Martinez, Agustin
    Sanchez, Sebastian
    SOFTWARE AND SYSTEMS MODELING, 2022, 21 (06): : 2367 - 2394
  • [45] An efficient system-level to RTL verification framework for computation-intensive applications
    Liveris, ND
    Zhou, H
    Banerjee, P
    14TH ASIAN TEST SYMPOSIUM, PROCEEDINGS, 2005, : 28 - 33
  • [46] A System-Level Approach for Model-Based Verification of Distributed Software Systems
    Mireslami, Seyedehmehrnaz
    Far, Behrouz H.
    2013 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC 2013), 2013, : 2545 - 2550
  • [47] Introspection mechanisms for semi-formal verification in a system-level design environment
    Metzger, M.
    Bastien, F.
    Rousseau, F.
    Vachon, J.
    Aboulhamid, E. M.
    SEVENTEENTH IEEE INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING, 2006, : 91 - +
  • [48] System-Level Development and Verification of the FlexRay Communication Controller Model Based on SystemC
    Kim, Woo Sik
    Kim, Hyun Ah
    Ahn, Jin-Ho
    Moon, Byungin
    FGCN: PROCEEDINGS OF THE 2008 SECOND INTERNATIONAL CONFERENCE ON FUTURE GENERATION COMMUNICATION AND NETWORKING, VOLS 1 AND 2, 2008, : 620 - +
  • [49] Model-driven system-level validation and verification on the space software domain
    Aarón Montalvo
    Pablo Parra
    Óscar Rodríguez Polo
    Alberto Carrasco
    Antonio Da Silva
    Agustín Martínez
    Sebastián Sánchez
    Software and Systems Modeling, 2022, 21 (6): : 2367 - 2394
  • [50] SYSTEM-LEVEL AND SYSTEM PROPERTY
    NOELL, JJ
    AMERICAN SOCIOLOGICAL REVIEW, 1974, 39 (06) : 885 - 886