Advanced SearchSearch Tips
Analysis of Verification Methodologies Based on a SoC Platform Design
facebook(new window)  Pirnt(new window) E-mail(new window) Excel Download
 Title & Authors
Analysis of Verification Methodologies Based on a SoC Platform Design
Lee, Je-Hoon; Kim, Sang-Choon;
  PDF(new window)
In a SoC (system-on-chip) design, a design complexity is a big bottleneck. In order to overcome the design complexity, platform based design method is widely adopted for designers. Most complex SoCs need a heterogeneous design development environment for hardware and software co-design. In this paper, we discuss about some kinds of verification approaches with platform based design methodology at various abstraction levels of SoC design. We separate the verification process to two steps according to the different levels of verification. We employ a flexible SoC design environment to support simultaneous hardware and software development. We demonstrate the verification strategy of a target SoC design, IEEE 802.11a WLAN SoC.
SoC design;Platform-based design;Hardware-Software Co-design;Verification;
 Cited by
A programmable Soc for Var ious Image Applications Based on Mobile Devices,;

한국멀티미디어학회논문지, 2014. vol.17. 3, pp.324-332 crossref(new window)
A programmable Soc for Var ious Image Applications Based on Mobile Devices, Journal of Korea Multimedia Society, 2014, 17, 3, 324  crossref(new windwow)
J. Bergeron, Ed., Writing Testbenches: Functional Verification of HDL Models, Kluwer Academic Publishers, London, 2000.

Y. Nakamura, K. I. Hosokawa, I. Kuroda, K. Yoshikawa, and T. Yoshimura, “A fast hardware/software coverification method for system-on-chip by using C/C++ simulator and FPGA emulator with shared register communication,” Proc. of DAC, pp. 299-304, 2004. crossref(new window)

S. Yoo, G. Nicolescu, L. Gauthier, and A. Jerraya, “Automatic generation of fast timed simulation models for operating systems in SoC design,” Proc. of DATE, pp. 620-627, 2002. crossref(new window)

J. Bieger, S. A. Huss, M. Jung, S. Klaus, and T. Steininger, “Rapid prototyping for configurable systemon-chip platforms – a simulation based approach,” Proc. of the 17th Int'l Conf. on VLSI Design, pp. 577-584, 2004. crossref(new window)

T. Li, S. Li, J. Yu, and Y. Guo, “A novel collaborative verification environment for SoC co-verification,” Proc. of the 11th Int'l Conf. on Computer Supported Cooperative Work in Design, pp. 145-150, 2007. crossref(new window)

Dynalith Systems, iPROVE: A Block Design and Verification Platform, 2003.

K. Ahn, S. Kim, J. Kim, and C. Min, Implementation of a flexible development platform for simultaneous support of software and hardware development flow, Proc. of ASICON, Vol. 2, pp. 881-885, 2005. crossref(new window)

Milan Saini and Ross Nelson, “Today’s platform FPGA systems require a proven co-verification methodology,”

H. Lee, J. Lee, S. M. Kim, and K. Cho, “Implementation of IEEE 802.11a Wireless LAN,” Proc. of 3rd Int'l Conf. on Convergence and Hybrid Information Technology, pp. 291-296, 2008. crossref(new window)

Dynalith Systems, Probase : A Block Design and Verification Platform,, 2003.