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
Link To Document