DocumentCode :
2350745
Title :
Automatic translation of behavioral testbench for fully accelerated simulation
Author :
Kim, Young-Il ; Kyung, Chong-Min
Author_Institution :
Dept. of Electr. Eng. & Comput. Sci., Korea Adv. Inst. of Sci. & Technol., Daejeon, South Korea
fYear :
2004
fDate :
7-11 Nov. 2004
Firstpage :
218
Lastpage :
221
Abstract :
This work presents the automated process of translating behavioral testbench into synthesizable one for the hardware-accelerated simulation. Testbench is mainly implemented in unsynthesizable HDL description such as time delay, event control, non-static loops and sequential statements. Nonetheless, FPGA-based accelerator is limited to synthesizable design. To apply hardware acceleration to behavioral testbench, the proposed method automatically translates testbench into equivalent hardware by emulating the standard simulation reference model. By mapping testbench into hardware accelerator to be merged with the design under verification, we can accelerate behavioral testbench and remove the communication overhead between the software simulator and hardware accelerator. Our experiments demonstrated that the simulation time is reduced by a factor of about 1000 as compared to the conventional hardware accelerated simulation.
Keywords :
circuit simulation; formal verification; hardware description languages; FPGA-based accelerator; automatic translation; behavioral testbench; communication overhead; design under verification; event control; fully accelerated simulation; hardware accelerator; hardware-accelerated simulation; nonstatic loops; sequential statements; simulation reference model; simulation time reduction; software simulator; synthesizable design; time delay; unsynthesizable HDL description; Acceleration; Automatic control; Automatic testing; Computational modeling; Computer simulation; Delay effects; Hardware design languages; Life estimation; Logic testing; Software testing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer Aided Design, 2004. ICCAD-2004. IEEE/ACM International Conference on
ISSN :
1092-3152
Print_ISBN :
0-7803-8702-3
Type :
conf
DOI :
10.1109/ICCAD.2004.1382574
Filename :
1382574
Link To Document :
بازگشت