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
Link To Document