DocumentCode :
3234165
Title :
A fast virtual device framework for improving RTL verification efficiency
Author :
An, Jianfeng ; Fan, Xiaoya ; Zhang, Shangang
Author_Institution :
Dept. of Comput. Sci. & Eng., Northwestern Polytech. Univ., Xi´´an, China
fYear :
2011
fDate :
27-29 May 2011
Firstpage :
73
Lastpage :
75
Abstract :
Functional verification is time-consuming in design of processors. In order to rapidly build a reference model and automatically compare simulation resulting, this paper proposes a virtual device framework based full system simulator. The framework can speed up construction of verification environment for processors, from internal components to full processors. We demonstrate the method using the decoder component verification in Longteng C1 processor. The result shows the framework is efficient.
Keywords :
formal verification; microprocessor chips; virtual machines; Longteng C1 processor; RTL verification; decoder component verification; full system simulator; virtual device; Computational modeling; full system simulator; functional verification; virtual device;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Communication Software and Networks (ICCSN), 2011 IEEE 3rd International Conference on
Conference_Location :
Xi´an
Print_ISBN :
978-1-61284-485-5
Type :
conf
DOI :
10.1109/ICCSN.2011.6014392
Filename :
6014392
Link To Document :
بازگشت