DocumentCode :
1953475
Title :
GVE: Godson-T Verification Engine for many-core architecture rapid prototyping and debugging
Author :
Lei, Zhengmeng ; Zhang, Lunkai ; Song, Fenglong ; Tang, Shibin ; Fan, Dongrui
Author_Institution :
Key Lab. of Comput. Syst. & Archit., Chinese Acad. of Sci., Beijing, China
fYear :
2010
fDate :
8-10 Dec. 2010
Firstpage :
253
Lastpage :
256
Abstract :
In this paper, we present a Godson-T Verification Engine (GVE) to rapidly prototype and debug our Godson-T many-core processor design. GVE adopts the state-of-the-art hardware platform which contains 6 Xilinx Virtex-5 LX330 FPGAs, thus permitting us to map our many-core processor and peripheral devices into it. Besides the hardware, our toolkit Godson-T Studio provides the compiler, program loader, debugger and monitor to fulfil the purpose of developing, profiling and debugging, while the accuracy loss problem is settled by our novel techniques: Check-point and ILA-Check, presented in this paper. To our experience, GVE greatly reduces the verification cycle due to its high execution speed, for example, it finishes thousands of testcases in an hour, where the software-based approach takes few days to run. And by the help of the checkpoint framework, we can easily locate the faults. Because of these features, GVE makes a great contribution to the 16-tile Godson-T tape-out Project.
Keywords :
checkpointing; field programmable gate arrays; formal verification; program compilers; program debugging; 16-tile Godson-T tape-out project; 6 Xilinx Virtex-5 LX330 FPGA; GVE; Godson-T many-core processor design; Godson-T verification engine; ILA-Check; checkpoint framework; compiler; debugger; many-core architecture rapid prototyping; program loader; Clocks; Computer architecture; Emulation; Field programmable gate arrays; Hardware; Registers; Synchronization;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Field-Programmable Technology (FPT), 2010 International Conference on
Conference_Location :
Beijing
Print_ISBN :
978-1-4244-8980-0
Type :
conf
DOI :
10.1109/FPT.2010.5681490
Filename :
5681490
Link To Document :
بازگشت