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
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);
Journal_Title :
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on
DOI :
10.1109/TCAD.2005.859501