Title :
The study of HW/SW co-verification on ARM-prototype system
Author :
Wang, Guozhang ; Shi, Qiaolin ; Yu, Zhiguo ; Yu, Zongguang
Author_Institution :
Sch. of Inf. Eng., Jiangnan Univ., Wuxi, China
Abstract :
With the ever-increasing complexity and the cost on SoC¿s verification, more attentions are paid to the hardware/software co-verification. In this paper, two HW/SW co-verification methods are compared between virtual-prototype machine and HW-board platform. A hardware platform on ARM-prototype system for an application-specific SoC¿s HW/SW co-verification is implemented complied with software design and system-debugging. The function of the SoC has been verified on the developed platform.
Keywords :
formal verification; hardware-software codesign; program debugging; system-on-chip; ARM-prototype system; HW-SW co-verification; SoC verification; application-specific SoC; software design; system-debugging; Costs; Design engineering; Field programmable gate arrays; Frequency; Hardware design languages; Software debugging; Software design; Software prototyping; Timing; Virtual prototyping;
Conference_Titel :
Solid-State and Integrated-Circuit Technology, 2008. ICSICT 2008. 9th International Conference on
Conference_Location :
Beijing
Print_ISBN :
978-1-4244-2185-5
Electronic_ISBN :
978-1-4244-2186-2
DOI :
10.1109/ICSICT.2008.4734917
