• 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