Abstract | ||
---|---|---|
This paper presents a new verification system for FPGA based designs described in the JHDL hardware description language. The method consists of performing hardware emulation of designer selected blocks in a co-simulation environment. Although JHDL has a Hardware execution mode it does not provide a fine control of which blocks have to be executed in Hardware and it is based on Xilinx readback technology. In this paper we present a method to extend the simulation environment to add a fine control of the Hardware emulation system, a method to instrument the design for debug, and the process that automatically creates the interface to communicate the simulator with the emulated hardware block. The resulting system does not offer 100% observability and controllability of hardware blocks. Nevertheless its interactivity provides a solid basis for incremental verification while offering the possibility of substantial simulation speedups. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1109/FCCM.2007.39 | FCCM |
Keywords | Field | DocType |
computational modeling,fpga,emulation,hardware emulation,hardware in the loop simulation,hardware description language,field programmable gate arrays,hardware description languages,observability,controllability | Hardware compatibility list,Computer science,Parallel computing,Field-programmable gate array,Real-time computing,Emulation,Hardware-in-the-loop simulation,JHDL,Debugging,Hardware description language,Hardware emulation,Embedded system | Conference |
ISBN | Citations | PageRank |
0-7695-2940-2 | 2 | 0.48 |
References | Authors | |
7 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
David Castells-Rufas | 1 | 45 | 7.70 |
Jordi Carrabina | 2 | 139 | 36.98 |