A firmware-based co-verification platform for SoC

CORC > 北京大学 > 信息科学技术学院

	A firmware-based co-verification platform for SoC
	Li, Hao ; Li, Xianfeng ; Pang, Jiufeng ; Huang, Kan ; Zheng, Yansong ; Tong, Dong ; Cheng, Xu
刊名	jisuanji fuzhu sheji yu tuxingxue xuebaojournal of computer aided design and computer graphics
	2011
英文摘要	Full-system emulation on FPGA is an effective way for rapid verification of platform-based SoC design. However, FPGA emulation requires complete implementation of key modules and provides weak visibility. It is time-consuming to perform hardware design error localization and design verification. This paper proposes FCVP, a firmware-based co-verification platform, to enable earlier full-system verification and to shorten the verification cycle with FPGA. Based on programming interfaces in firmware, FCVP enables simulation of DUT (design under test) modules and execution of real-world workloads on FPGA directly. Moreover, FCVP helps locate design errors through comparing behavior traces, generated when accessing FPGA DUT module and its simulation model respectively. The practical PKUnity86 SoC verification example demonstrated that FCVP allows early-stage SoC design verification, and also helps identify design errors effectively. In addition, evaluation results show that FCVP achieves better performance than software simulator.; EI; 0; 9; 1593-1602; 23
语种	英语
内容类型	期刊论文
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/412013]
专题	信息科学技术学院
推荐引用方式 GB/T 7714	Li, Hao,Li, Xianfeng,Pang, Jiufeng,et al. A firmware-based co-verification platform for SoC[J]. jisuanji fuzhu sheji yu tuxingxue xuebaojournal of computer aided design and computer graphics,2011.
APA	Li, Hao.,Li, Xianfeng.,Pang, Jiufeng.,Huang, Kan.,Zheng, Yansong.,...&Cheng, Xu.(2011).A firmware-based co-verification platform for SoC.jisuanji fuzhu sheji yu tuxingxue xuebaojournal of computer aided design and computer graphics.
MLA	Li, Hao,et al."A firmware-based co-verification platform for SoC".jisuanji fuzhu sheji yu tuxingxue xuebaojournal of computer aided design and computer graphics (2011).