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 条
  • [1] System-level assertions: approach for electronic system-level verification
    Sohofi, Hassan
    Navabi, Zainalabedin
    IET COMPUTERS AND DIGITAL TECHNIQUES, 2015, 9 (03): : 142 - 152
  • [2] System-level verification tool rolls
    McGrath, Dylan
    Electronic Engineering Times, 2006, (1427) : 38 - 39
  • [3] TIMING VERIFICATION FOR SYSTEM-LEVEL DESIGNS
    CHIANG, M
    BLOOM, M
    VLSI SYSTEMS DESIGN, 1987, 8 (13): : 46 - +
  • [4] System-level approaches to perinatal depression
    Lugo-Candelas, Claudia
    Monk, Catherine
    LANCET PUBLIC HEALTH, 2024, 9 (01): : e4 - e5
  • [5] Design for verification in system-level models and RTL
    Mathur, Anmol
    Krishnaswamy, Venkat
    2007 44TH ACM/IEEE DESIGN AUTOMATION CONFERENCE, VOLS 1 AND 2, 2007, : 193 - 198
  • [6] A Verification Approach for System-Level Concurrent Programs
    Daum, Matthias
    Doerrenbaecher, Jan
    Schmidt, Mareike
    Wolff, Burkhart
    VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 5295 : 161 - 176
  • [7] Challenges in using system-level models for RTL verification
    Ng, Kelvin
    2008 45TH ACM/IEEE DESIGN AUTOMATION CONFERENCE, VOLS 1 AND 2, 2008, : 812 - 815
  • [8] Synchronization verification in system-level design with ILP solvers
    Sakunkonchak, T
    Komatsu, S
    Fujita, M
    THIRD ACM & IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2005, : 121 - 130
  • [9] Synchronization verification in system-level design with ILP solvers
    Sakunkonchak, Thanyapat
    Komatsu, Satoshi
    Fujita, Masahiro
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2006, E89A (12) : 3387 - 3396
  • [10] System-Level Verification of Embedded Operating Systems Components
    Ludwich, Mateus Krepsky
    Froehlich, Antonio Augusto
    2012 BRAZILIAN SYMPOSIUM ON COMPUTING SYSTEM ENGINEERING (SBESC 2012), 2012, : 161 - 165