DocumentCode :
3531184
Title :
Design aware scheduling of dynamic testbench controlled design element accesses in FPGA-based HW/SW co-simulation systems for fast functional verification
Author :
Banerjee, Somnath ; Gupta, Tushar
Author_Institution :
Mentor Graphics India Pvt. Ltd., India
fYear :
2010
fDate :
3-4 Aug. 2010
Firstpage :
175
Lastpage :
181
Abstract :
In HW/SW co-simulation based logic verification systems, the design under test (DUT) is executed on an FPGA based emulator and the behavioral testbench written in some high level language like C or HDL is run on a SW simulator or a general purpose CPU. In such systems it is essential to reduce the communication between SW and HW sides to enhance overall verification speed. Therefore it is of significant importance to efficiently schedule testbench controlled accesses to design elements like flip-flops, memories etc, which require access to FPGA HW. Such accesses by static HDL testbenches which are specified at design compilation time and are mainly to design IOs are optimized by synthesis of RTL transactors, which make use of specialized high speed links and standardized interfaces like SCE-MI for optimizing the transactions. It is seen that apart from static testbenches, verification engineers and designers often make use of dynamic random access to design elements (e.g a series of register sets) through C or TCL based dynamic testbenches typically specified post design compilation. Such dynamic accesses are not routed through the transaction link and follow a fixed cost scheduling, resulting in sub-optimal communication pattern between SW and HW verification engines. The paper presents a design aware scheduling system for optimizing such dynamic accesses, by extracting and making use of design characteristics for intelligently clubbing and scheduling various read/write accesses while maintaining modeling fidelity. This complements the streaming transaction based interfaces available for static accesses. It is seen that when this scheduling system is implemented in an industry standard FPGA based co-simulator, evaluation fidelity is maintained and significant enhancement in overall functional verification performance is achieved.
Keywords :
benchmark testing; field programmable gate arrays; formal verification; hardware-software codesign; scheduling; FPGA based emulator; FPGA-based HW/SW co-simulation systems; design aware scheduling; design under test; dynamic random access; logic verification systems; read/write accesses; streaming transaction based interfaces; Control systems; Design optimization; Dynamic scheduling; Field programmable gate arrays; Hardware design languages; High level languages; Job shop scheduling; Logic design; Logic testing; System testing; Emulation; FPGA; HW-SW co-verification;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Quality Electronic Design (ASQED), 2010 2nd Asia Symposium on
Conference_Location :
Penang
Print_ISBN :
978-1-4244-7809-5
Type :
conf
DOI :
10.1109/ASQED.2010.5548239
Filename :
5548239
Link To Document :
بازگشت