Title :
A Novel Collaborative Verification Environment for SoC Co-Verification
Author :
Li, Tun ; Li, Sikun ; Yu, Jinshan ; Guo, Yang
Author_Institution :
Nat. Univ. of Defense Technol., Changsha
Abstract :
We designs and implements a system-on-chip SW/HW co-verification environment SoC-Gen, which collaborates formal verification and simulation techniques for SoC co-verification. This paper first give an overview of SoC-Gen, and then focus on the simulation based verification environment: SoC-CBSHVE, which based on componential design and integration methodology The environment adopts automatic software, hardware and simulation wrappers. Simulator adopts asynchronous parallel algorithm and bus-based communication mechanism. Five data buses support verification components simulation communication. Standard message format and unify simulation interfaces easy SoC components design and verification. Experimental results show that SoC-CBSHVE enables easy debugging, rich portability, and high verification speed, at a low cost for system-on-chip system-level software and hardware co-verification.
Keywords :
formal verification; hardware-software codesign; logic design; system-on-chip; SoC co-verification; SoC components design; SoC-CBSHVE; asynchronous parallel algorithm; automatic software; bus-based communication mechanism; collaborative verification environment; componential design; data buses; formal verification; hardware co-verification; integration methodology; simulation interfaces; simulation techniques; simulation wrappers; system-on-chip system-level software; verification components simulation communication; Collaboration; Costs; Data buses; Design methodology; Formal verification; Hardware; Parallel algorithms; Software debugging; Software systems; System-on-a-chip; Co-Verification; Components; SoC;
Conference_Titel :
Computer Supported Cooperative Work in Design, 2007. CSCWD 2007. 11th International Conference on
Conference_Location :
Melbourne, Vic.
Print_ISBN :
1-4244-0963-2
Electronic_ISBN :
1-4244-0963-2
DOI :
10.1109/CSCWD.2007.4281425