• DocumentCode
    2633048
  • Title

    SoC HW/SW verification and validation

  • Author

    Chung-Yang Huang ; Yu-Fan Yin ; Chih-Jen Hsu ; Huang, T.B. ; Ting-Mao Chang

  • Author_Institution
    Grad. Inst. of Electron. Eng., Nat. Taiwan Univ., Taipei, Taiwan
  • fYear
    2011
  • fDate
    25-28 Jan. 2011
  • Firstpage
    297
  • Lastpage
    300
  • Abstract
    In modern SoC design flow, verification and validation are key components to reduce time-to-market and enhance product quality. To avoid trade-offs between timing accuracy and simulation speed in RTL simulation and C++/SystemC virtual prototyping, FPGA prototyping has become a better choice in the design flow. However, the time-consuming bring-up procedure and insufficient debugging visibility has impaired its potential strengths in verification and validation. In this paper, we present the technology from InPA Systems in which four different modes of operations, RTL-FPGA co-simulation, SystemC-FPGA co-emulation, vector prototyping, and in-circuit prototyping, are supported. With these different modes of FPGA operations, users can develop and verify their SoCs in different stages of the design flow with different abstraction levels. This methodology efficiently and robustly completes the SoC HW/SW verification and validation flow.
  • Keywords
    C++ language; field programmable gate arrays; formal verification; logic design; system-on-chip; virtual prototyping; HW-SW verification; InPA system; RTL-FPGA co-simulation; SoC design; SystemC FPGA co-emulation; component debugging; in-circuit prototyping; product quality; time to market; vector prototyping; Clocks; Debugging; Field programmable gate arrays; Hardware; Prototypes; Software; System-on-a-chip;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Design Automation Conference (ASP-DAC), 2011 16th Asia and South Pacific
  • Conference_Location
    Yokohama
  • ISSN
    2153-6961
  • Print_ISBN
    978-1-4244-7515-5
  • Type

    conf

  • DOI
    10.1109/ASPDAC.2011.5722202
  • Filename
    5722202