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