DocumentCode :
2002650
Title :
Hierarchy Communication Channel in Transaction-Level Hardware/Software Co-emulation System
Author :
Liao, Y.B. ; Li, P. ; Ruan, A.W. ; Wang, Y.W. ; Li, W.C. ; Li, W.
Author_Institution :
State key Lab. of Electron. Thin Films & Integrated Devices, Univ. of Electron. Sci. & Technol. of China, Chengdu
fYear :
2008
fDate :
8-10 Dec. 2008
Firstpage :
94
Lastpage :
99
Abstract :
Hierarchy communication channel in transaction-level hardware/software co-emulation system for system-on-a-chip (SOC) verification is proposed in the paper. The hierarchy communication channel consists of physical layer, transport layer, transaction layer and application layer. In the paper, research for the channel focuses on communication protocol for transport layer, hardware and software for physical, transport and transaction layer, respectively. This hierarchy communication channel can enhance verification reliability and efficiency because end-user, transactor implementor, infrastructure implementor is only required to concentrate on the work relevant to their specified layers, i.e. physical and transport layers for infrastructure implementor, application layer for end user, transaction layer for transactor implementor. As a verification example, the hierarchy-based transaction-level verification technique has been applied to verification of a digital audio-specific DSP core for AC-3 decoding.
Keywords :
formal verification; hardware-software codesign; integrated circuit design; system-on-chip; application layer; hierarchy communication channel; physical layer; system-on-a-chip verification; transaction layer; transaction-level hardware/software coemulation system; transport layer; Application software; Communication channels; Communication system software; Decoding; Digital signal processing; Hardware; Physical layer; Software systems; System-on-a-chip; Transport protocols; HW/SW co-verification; SOC; communication protocol; emulator; hierarchy; transaction-level;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Microprocessor Test and Verification, 2008. MTV '08. Ninth International Workshop on
Conference_Location :
Austin, TX
ISSN :
1550-4093
Print_ISBN :
978-1-4244-3682-8
Type :
conf
DOI :
10.1109/MTV.2008.11
Filename :
5070941
Link To Document :
بازگشت