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 :
بازگشت