• DocumentCode
    1158358
  • Title

    PrePack: Predictive Packetizing Scheme for Reducing Channel Traffic in Transaction-Level Hardware/Software Co-Emulation

  • Author

    Lee, Jae-Gon ; Kyung, Chong-Min

  • Author_Institution
    Korea Adv. Inst. of Sci. & Technol., Daejeon
  • Volume
    25
  • Issue
    10
  • fYear
    2006
  • Firstpage
    1935
  • Lastpage
    1949
  • Abstract
    This paper presents a scheme called PrePack for suppressing the channel traffic between simulator and accelerator in the accelerator-based hardware/software co-emulation where the accelerator models some register transfer level (RTL) subblocks while the simulator runs transaction-level modeling (TLM) of the remaining part of the design under verification (DUV). With the conventional simulation accelerator, a cycle consisting of a pair of evaluations of simulator and accelerator occurs at every valid simulation time, which results in poor simulation performance due to the overhead of simulator-accelerator channel access, often accounting for more than 99% of total channel traffic time (total channel traffic time consists of channel-access time for arbitration/protocol exchange and pure data/signal transmission time). The overhead due to channel access can be reduced by merging as many channel transactions on the channel as possible into a single burst traffic, which is achieved in this paper by "prediction and rollback." In the proposed "prediction and rollback" scheme, one of the two verification domains, i.e., software simulation and hardware acceleration, leads the other, while the leading domain predicts the states of the lagging domain. Therefore, the evaluation of simulator and accelerator no longer need to alternate at every simulation cycle. Under an ideal condition with 100% prediction accuracy, PrePack has shown a 15times speedup compared to the conventional scheme. When applied to advanced encryption standard (AES) and joint photographic experts group (JPEG) example systems, PrePack showed performance gains of 8.7 and 2.9, respectively
  • Keywords
    formal verification; hardware-software codesign; integrated circuit design; integrated circuit modelling; PrePack scheme; channel traffic; channel-access time; design under verification; hardware acceleration; hardware/software co-emulation; prediction and rollback scheme; predictive packetizing scheme; register transfer level; simulator-accelerator channel access; software simulation; transaction-level modeling; Acceleration; Access protocols; Accuracy; Clocks; Cryptography; Hardware; Merging; Predictive models; System-on-a-chip; Traffic control; Simulation acceleration; SystemC; system-level modeling; system-on-a-chip (SoC); transaction-level modeling (TLM);
  • fLanguage
    English
  • Journal_Title
    Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0278-0070
  • Type

    jour

  • DOI
    10.1109/TCAD.2005.859501
  • Filename
    1677682