DocumentCode
2893536
Title
Maximizing Efficiency in Reference Model Based Verification of 2D Graphics Engine
Author
Pinto, Anita ; Harish, Y.S.
Author_Institution
Samsung India Software Oper. Pvt Ltd., Bangalore, India
fYear
2011
fDate
18-20 Nov. 2011
Firstpage
290
Lastpage
295
Abstract
This paper presents an approach to maximize efficiency in reference model based verification of a 2D Graphics Accelerator IP. Most of the Imaging IPs like 2D Graphics Accelerator, JPEG Encoder/Decoder, involve complex mathematical process on image data for which C Reference Models are readily available for Data checking. Verifying a 2D Graphics Engine primarily consists of configuring the rendering parameters, loading image data to the memory and starting the 2D Engine through setting appropriate command registers and finally comparing the output image data with the C Reference Model Output Data. In this paper, we describe and compare different ways of hooking up a C Reference Model in a Specman based verification environment. We also demonstrate the advantages of exploiting the VR AD Register package to configure the C Reference Model directly from the HVL based Testbench.
Keywords
C language; IP networks; formal verification; image coding; rendering (computer graphics); 2D graphics accelerator; C reference model; VR_AD register package; data checking; formal verification; imaging IP; rendering; Data models; Loading; Mathematical model; Memory management; Registers; Rendering (computer graphics); graphics accelerator; reference model; rendering;
fLanguage
English
Publisher
ieee
Conference_Titel
Emerging Trends in Engineering and Technology (ICETET), 2011 4th International Conference on
Conference_Location
Port Louis
ISSN
2157-0477
Print_ISBN
978-1-4577-1847-2
Type
conf
DOI
10.1109/ICETET.2011.22
Filename
6120599
Link To Document