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