• DocumentCode
    2981119
  • Title

    System-level verification-a comparison of approaches

  • Author

    Turner, Ray

  • Author_Institution
    Quickturn Design Syst., San Jose, CA, USA
  • fYear
    1999
  • fDate
    36342
  • Firstpage
    154
  • Lastpage
    159
  • Abstract
    Design verification is beginning to dominate design cycle times 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
  • Keywords
    application specific integrated circuits; field programmable gate arrays; formal verification; hardware-software codesign; minimisation; ASIC/IC; FPGA programming; board-level design; design verification; electronic products; project delays; project schedule minimization; software verification; system-level verification; Application specific integrated circuits; Delay; Electrical capacitance tomography; Field programmable gate arrays; Hardware; Product development; Silicon; Software debugging; Software performance; Testing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Rapid System Prototyping, 1999. IEEE International Workshop on
  • Conference_Location
    Clearwater, FL
  • Print_ISBN
    0-7695-0246-6
  • Type

    conf

  • DOI
    10.1109/IWRSP.1999.779046
  • Filename
    779046