Title | ||
---|---|---|
Generating RTL Synthesizable Code from Behavioral Testbenches for Hardware-Accelerated Verification |
Abstract | ||
---|---|---|
Hardware Accelerated Simulation is widely used in validation of complicated hardware designs. The process of designing a circuit consists of writing the HDL code, and writing and applying the testbenches to the design. Unfortunately, testbenches are often not synthesizable and cannot be used in hardware accelerated simulation. In this paper we propose a method to convert an existing non-synthesizable testbench to a synthesizable one, and apply it to some case studies to show its effectiveness in the hardware accelerated simulation. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1109/DSD.2008.128 | DSD |
Keywords | Field | DocType |
generating rtl synthesizable code,hdl code,hardware-accelerated verification,hardware accelerated simulation,complicated hardware design,case study,existing non-synthesizable testbench,behavioral testbenches,writing,design methodology,emulation,hardware accelerator,system testing,software performance | Design for testing,Hardware compatibility list,System testing,Computer science,Intelligent verification,Real-time computing,Software performance testing,Register-transfer level,Computer hardware,Hardware architecture,Hardware emulation | Conference |
Citations | PageRank | References |
2 | 0.50 | 4 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mohammad Reza Kakoee | 1 | 87 | 8.68 |
M. Riazati | 2 | 15 | 1.78 |
Siamak Mohammadi | 3 | 62 | 10.62 |