Title :
Functional verifications for SoC software/hardware co-design: From virtual platform to physical platform
Author :
Lin, Yi-Li ; Su, Alvin W Y
Author_Institution :
Comput. Sci. & Inf. Eng. Dept., Nat. Cheng Kung Univ., Tainan, Taiwan
Abstract :
This paper applies heterogeneous simulation to achieve system and functional level co-verification throughout SoC design flow. It reduces high verification complexity resulted from covering software and hardware works and involving various tools. Stubs for data transport and a Verification Router for heterogeneous simulation management are proposed. A functional module is transformed from a highly abstract model to its target design progressively through a series of intermediate models. Those models can be validated as a portion of a complete SoC system model. The proposed heterogeneous verification is demonstrated with a jpeg encoder.
Keywords :
hardware-software codesign; system-on-chip; JPEG encoder; SoC software-hardware codesign; abstract model; data transport; functional level coverification throughout; heterogeneous simulation management; intermediate models; physical platform; system-on-a-chip design flow; virtual platform; Data models; Field programmable gate arrays; Hardware; Hardware design languages; Software; System-on-a-chip; Timing;
Conference_Titel :
SOC Conference (SOCC), 2011 IEEE International
Conference_Location :
Taipei
Print_ISBN :
978-1-4577-1616-4
Electronic_ISBN :
2164-1676
DOI :
10.1109/SOCC.2011.6085104