Title :
A hardware/software co-verification platform for ASIC design
Author :
Dai, Xue-Qiu ; Liu, Bu-Min ; Xie, Chun-Yi ; Wang, Wan-Cai
Author_Institution :
Dept. of Microelectron. & Solid-State Electron., Univ. of Electron. Sci. & Technol. of China (UESTC), Chengdu, China
Abstract :
This paper presents a hardware/software co-verification platform for ASIC design, which is based on Windows-Linux operating systems. The platform is not only used for verifying the hardware/software compatibility of maintain-and-update development ASIC chips, but also used for achieving that the hardware and software develop synchronously when developing absolutely new ASIC chips. Adopting this platform, we can not only give full functional verifications to our hardware and software more efficiently, but can also shorten the entire developmental period of our productions. In this paper, the system scheme of this platform and its operating principles are introduced, and the arithmetic of the bus-functional-model interface is illustrated. The hardware/software compatibility of several maintain-and-update chips have been guaranteed by using this platform, and the final productions´ time-to-market decreased 3 months on average.
Keywords :
application specific integrated circuits; electronic engineering computing; formal verification; hardware-software codesign; ASIC design; bus-functional-model interface; hardware-software compatibility; hardware-software coverification platform; maintain-and-update chip; Application specific integrated circuits; Field programmable gate arrays; Hardware; Operating systems; Production; Programming; Software maintenance; Software quality; Software testing; System testing; ASIC; bus-functional-model interface; hardware/software co-verification; socket;
Conference_Titel :
Apperceiving Computing and Intelligence Analysis, 2009. ICACIA 2009. International Conference on
Conference_Location :
Chengdu
Print_ISBN :
978-1-4244-5204-0
Electronic_ISBN :
978-1-4244-5206-4
DOI :
10.1109/ICACIA.2009.5361068
