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 条
  • [21] An assertion-based verification methodology for system-level design
    Gharehbaghi, Amir Masoud
    Yaran, Benyamin Hamdin
    Hessabi, Shaahin
    Goudarzi, Maziar
    COMPUTERS & ELECTRICAL ENGINEERING, 2007, 33 (04) : 269 - 284
  • [22] A comparison of evolutionary algorithms for system-level diagnosis
    Nassu, Bogdan Tomoyuki
    Duarte, Elias Procopio, Jr.
    Ramirez Pozo, Aurora T.
    GECCO 2005: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOLS 1 AND 2, 2005, : 2053 - 2060
  • [23] Comparison of the operating system-level virtualization implementation
    Sokol, Pavol
    Pisarcik, Peter
    INFORMATICS 2013: PROCEEDINGS OF THE TWELFTH INTERNATIONAL CONFERENCE ON INFORMATICS, 2013, : 33 - 38
  • [24] Comparison of System-Level Availability in Industrial Grids
    Emmers, G.
    Driesen, J.
    2022 24TH EUROPEAN CONFERENCE ON POWER ELECTRONICS AND APPLICATIONS (EPE'22 ECCE EUROPE), 2022,
  • [25] System-Level Development and Verification Framework for High-Performance System Accelerator
    Wang, Chen-Chieh
    Wong, Ro-Pun
    Lin, Jing-Wun
    Chen, Chung-Ho
    2009 INTERNATIONAL SYMPOSIUM ON VLSI DESIGN, AUTOMATION AND TEST (VLSI-DAT), PROCEEDINGS OF TECHNICAL PROGRAM, 2009, : 359 - 362
  • [26] Policy- and system-level approaches to health promotion in Australia
    Hawe, P
    Wise, M
    Nutbeam, D
    HEALTH EDUCATION & BEHAVIOR, 2001, 28 (03) : 267 - 273
  • [27] TRANSLATING SCIENCE INTO PRACTICE AND MAKING IT STICK: SYSTEM-LEVEL APPROACHES
    Wray, Laura
    Curyto, Kim
    Sullivan, Jennifer
    INNOVATION IN AGING, 2021, 5 : 535 - 536
  • [28] System-level modeling and verification of a Micro Pitch-tunable Grating
    Lv Xianglian
    Xu Jinghui
    Yu Yiting
    He Yang
    Yuan Weizheng
    5TH INTERNATIONAL SYMPOSIUM ON ADVANCED OPTICAL MANUFACTURING AND TESTING TECHNOLOGIES: DESIGN, MANUFACTURING, AND TESTING OF MICRO- AND NANO-OPTICAL DEVICES AND SYSTEMS, 2010, 7657
  • [29] On the verification of system-level information flow properties for virtualized execution platforms
    Baumann, Christoph
    Schwarz, Oliver
    Dam, Mads
    JOURNAL OF CRYPTOGRAPHIC ENGINEERING, 2019, 9 (03) : 243 - 261
  • [30] System-level verification of a packaged silicon photonics-based transceiver
    Dong, Po
    Chen, Simon
    Li, Changyi
    Zheng, Kejia
    Zhang, Li
    Si, Wei
    Zeng, Shanshan
    Sun, Yao
    Ran, Shihuan
    Zhou, Linjie
    IEEE 72ND ELECTRONIC COMPONENTS AND TECHNOLOGY CONFERENCE (ECTC 2022), 2022, : 1875 - 1881