-
题名3D图形处理器API符合性验证方法关键技术研究
被引量：3
- 1
-
-
作者
刘晖
田泽
黎小玉
陈佳
-
机构
中航工业西安航空计算技术研究所
-
出处
《计算机技术与发展》
2014年第10期193-196,201,共5页
-
基金
"十二五"微电子预研(51308010601)
中国航空工业集团公司创新基金(2010BD63111)
-
文摘
3D图形API(Application Programming Interface,应用程序编程接口)是三维图形处理函数接口的简称,它将图形系统的上层应用程序和底层驱动隔离,使得应用软件具有良好的可移植性。OpenGL(Open Graphics Library,开放图形接口库)是为了规避不同硬件驱动而定义的与上层接口的标准库函数。如何开发出符合OpenGL标准的API,是3D图形处理器研制及应用的关键。首先系统分析了OpenGL标准API的属性,提出了自研3D图形处理器API与OpenGL标准API符合性验证关键技术,基于FPGA平台从函数的接口参数、绘图功能、显示功能和错误反馈处理这四个方面来验证。上述验证方法具有很强的操作性,验证覆盖范围更广,验证用例的设计更为复杂。该方法加速了验证过程,提高了验证的充分性。
-
关键词
opengl核心库
标准符合性验证
读写可靠性
功能完整性
鲁棒性
-
Keywords
opengl kernel lib
accordance verification of standard
reliability of reading and writing
integrity of function
robustness
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
