DocumentCode :
2849502
Title :
FPGA verification methodology for SiSoC based SoC design
Author :
Huang, Xu ; Liu, Lintao ; Li, YuJing ; Liu, LunCai ; Huang, XiaoZong
Author_Institution :
Sichuan Inst. of Solid State Circuits, Chongqing, China
fYear :
2011
fDate :
17-18 Nov. 2011
Firstpage :
1
Lastpage :
2
Abstract :
This paper proposes an efficient FPGA verification methodology for SiSoC-based SoC design. FPGA-based verification platform is an effective way to verify the SoC design, and it is becoming very important to build a prototype of the SoC design in FPGA. SiSoC is a high-performance and low-power processor. The SiSoC-based SoC design adopts AMBA bus to connect SiSoC processor to peripheral IPs and external memory system. FPGA-based verification platform can improve the time-to-market and help avoid costly re-spins by enabling early embedded software development and allowing hardware and software co-verification well ahead of chip fabrication.
Keywords :
field programmable gate arrays; formal verification; integrated circuit design; logic design; low-power electronics; system-on-chip; time to market; AMBA bus; FPGA verification; SiSoC based SoC design; SiSoC processor; chip fabrication; external memory system; low-power processor; peripheral IP; time-to-market; Computer architecture; Field programmable gate arrays; Hardware; Linux; Software; System-on-a-chip; FPGA; SoC; Verification;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Electron Devices and Solid-State Circuits (EDSSC), 2011 International Conference of
Conference_Location :
Tianjin
ISSN :
Pending
Print_ISBN :
978-1-4577-1998-1
Electronic_ISBN :
Pending
Type :
conf
DOI :
10.1109/EDSSC.2011.6117612
Filename :
6117612
Link To Document :
بازگشت