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