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
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;
Conference_Titel :
Communication Software and Networks (ICCSN), 2011 IEEE 3rd International Conference on
Conference_Location :
Xi´an
Print_ISBN :
978-1-61284-485-5
DOI :
10.1109/ICCSN.2011.6014392