
浏览全部资源
扫码关注微信
1. 中国科学院 长春光学精密机械与物理研究所,吉林 长春,中国,130033
2. 海军驻长春地区航空军代表室,吉林 长春 130033,E-mail:18943154295@189.cn
收稿日期:2009-05-20,
修回日期:1900-01-02,
网络出版日期:2010-02-20,
纸质出版日期:2010-02-20
移动端阅览
李 波;王德江;逄浩辰;刘妍妍;李文明. 一种平板显示器定标器的软硬件验证平台[J]. 液晶与显示, 2010,25(1): 134-138
LI Bo;WANG De-jiang;PANG Hao-chen;LIU Yan-yan;LI Wen-ming. Software and Hardware Verification Platform for Flat Panel Scaler[J]. 液晶与显示, 2010,25(1): 134-138
以一款视频图像定标器为研究对象
提出了一种适用于大规模数字集成电路的软件功能性验证平台
详细阐述了平台的结构、平台中测试向量的选择、生成以及测试结果的验证
采用自动向量生成与结果自检测方法
对定标器完成了1 200个测试类型的验证。描述了基于Xilinx开发板的定标器硬件验证平台
将经功能性验证后的硬件描述语言植入开发板的FPGA中
完成了硬件验证。为流片后的定标器芯片搭建了一个测试环境
试验结果完全符合预期设计。
As a kind of signal processing component
the scaler plays an important role in the flat panel display. Taking a video image scaler as researching target
a software verification platform suiting for VLSI chip design is introduced
whose testing vectors selection
testing vectors generation
results checking and architecture are explained thoroughly. Meanwhile
1 200 testing vectors are verified adopting patterns automating generation method. A hardware emulation platform based on Xilinx developing board is presented
and the verification is also finished with loading hardware description language into FPGA. A testing environment for scaler has been implemented
and tape-out results shows that the scaler works well and meets the expectations.
. 王德江, 陈柠檬, 王经典, 等. 一种定标器的低硬件复杂度设计[J]. 微电子学, 2007, 37(6):870-873.
. McFarland M C. Formal verification of sequential hardware: a Tutorial [J]. IEEE Trans. on CAD, 1993, 12(5):633-654.
. 梁茂, 魏廷存, 魏晓敏, 等. 单片集成TFT-LCD驱动芯片内置SRAM验证技术研究[J]. 液晶与显示, 2008, 23(1):91-95.
. 程鹏, 魏廷存, 魏晓敏, 等. 单片集成TFT-LCD驱动芯片的设计验证策略[J]. 集成电路设计与开发, 2008, 33(3):264-268.
. 蔡希昌, 翟林培, 周九飞,等. 基于FPGA的非XGA标准图像显示控制器的设计[J]. 液晶与显示, 2008, 23(3):301-305.
. 王德江, 匡海鹏, 周刚,等. 一种红外探测器的图像采集系统[J]. 液晶与显示, 2009,24(3):122-126.
. Kim H C, Kwon B H, Choi M R. An image interpolator with image improvement for LCD controller[J]. IEEE Trans. on Consumer Electronics, 2001, 47(2):263-271.
. Lehmann T M, Gonner C, Spitzer K. Survey: Interpolation methods in medical image processing [J]. IEEE Trans. Med. Imag., 1999, 18(11):1049-1075.
. Asaad H, Hayes J. Design verification via simulation and automatic test pattern generation //Proceedings of 1995 IEEE/ACM International Conference on computer-aided Design, San Jose, USA:IEEE, 1995:174-180.
. Skarabot A, Ramponi G, Buriola L. FPGA architecture for a video wall image processor //Proc. SPIE Int. Symp. Electronic Imaging 2001, San Jose, California: SPIE, 2001:75-84.
. Xilinx. Virtex- II Pro FPGAs:Complete datasheet . .http://www.xilinx.com.
0
浏览量
24
下载量
2
CSCD
关联资源
相关文章
相关作者
相关机构
京公网安备11010802024621