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 条
  • [31] Integrating assertion-based verification into system-level synthesis methodology
    Hessabi, S
    Gharehbaghi, AM
    Yaran, BH
    Goudarzi, M
    16TH INTERNATIONAL CONFERENCE ON MICROELECTRONICS, PROCEEDINGS, 2004, : 232 - 235
  • [32] A system-level co-verification environment for ATM hardware design
    Post, G
    Muller, A
    Grotker, T
    DESIGN, AUTOMATION AND TEST IN EUROPE, PROCEEDINGS, 1998, : 424 - 428
  • [33] A Two-Level Waveform Relaxation Approach for System-Level Power Delivery Verification
    Moglia, Alessandro
    Carlucci, Antonio
    Grivet-Talocia, Stefano
    Mongrain, Scott
    Kulasekaran, Sid
    Radhakrishnan, Kaladhar
    IEEE ELECTRICAL DESIGN OF ADVANCED PACKAGING AND SYSTEMS, EDAPS 2023, 2023,
  • [34] System-Level Assertion-Based Performance Verification for Embedded Systems
    Hatefi-Ardakani, Hassan
    Gharehbaghi, Amir Masoud
    Hessabi, Shaahin
    ADVANCES IN COMPUTER SCIENCE AND ENGINEERING, 2008, 6 : 243 - 250
  • [35] SYSTEM-LEVEL DESIGN VERIFICATION IN THE AT-AND-T COMPUTER DIVISION - TOOLS
    ABRAMOVICI, M
    KULIKOWSKI, JJ
    MILLER, DT
    MENON, PR
    PROCEEDINGS - IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN : VLSI IN COMPUTERS & PROCESSORS, 1989, : 548 - 554
  • [36] On the verification of system-level information flow properties for virtualized execution platforms
    Christoph Baumann
    Oliver Schwarz
    Mads Dam
    Journal of Cryptographic Engineering, 2019, 9 : 243 - 261
  • [37] Comparison of System-Level Design Approaches on Different Types of Digitally-Controlled Ring-Oscillator
    Selvaraj, Santthosh
    Bayram, Erkan
    Nega, Renato
    TECHNOLOGIES, 2021, 9 (02)
  • [38] Comparison of Information Passing Strategies in System-Level Modeling
    Honda, Tomonori
    Ciucci, Francesco
    Lewis, Kemper E.
    Yang, Maria C.
    AIAA JOURNAL, 2015, 53 (05) : 1121 - 1133
  • [39] A Survey of Comparison-Based System-Level Diagnosis
    Duarte, Elias P., Jr.
    Ziwich, Roverli P.
    Albini, Luiz C. P.
    ACM COMPUTING SURVEYS, 2011, 43 (03)
  • [40] Comparison of information passing strategies in system-level modeling
    20152000842968
    1600, AIAA International (53):