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
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;
Conference_Titel :
Design Automation Conference (ASP-DAC), 2011 16th Asia and South Pacific
Conference_Location :
Yokohama
Print_ISBN :
978-1-4244-7515-5
DOI :
10.1109/ASPDAC.2011.5722202