Hierarchical Verification Framework for Samsung Reconfigurable Processor Video System

被引:12
作者
Kim, Hoyoung [1 ]
Jeong, Seonghun [1 ]
Kwon, Sunmin [1 ]
Ryu, Soojung [1 ]
机构
[1] Samsung Elect Co Ltd, SAIT, Processor Architecture Lab, Yongin 446712, Gyeonggi Do, South Korea
来源
2013 14TH INTERNATIONAL WORKSHOP ON MICROPROCESSOR TEST AND VERIFICATION (MTV): COMMON CHALLENGES AND SOLUTIONS | 2013年
关键词
SRP; Video system; Hierarchical verification; CGRA;
D O I
10.1109/MTV.2013.18
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
The Samsung reconfigurable processor (SRP) is developed to accelerate multimedia applications such as video decoding, audio decoding, and image processing. Owing to coarse-grained reconfigurable array (CGRA) acceleration via software (SW) pipelining and application-specific intrinsic instructions, SRP outperforms other digital signal processors (DSPs) in these application domains. In addition, recent video systems include not only the SRP core but also hardware (HW) accelerators, coupled with demand for better performance. Consequently, the system becomes very complex. and the difficulty of debugging the system increases. Here we propose a hierarchical verification framework for the SRP video system. This approach, coupled with a proper verification plan, not only boosts the verification time for various aspects of the video system (e.g., CGRA specific features), but also helps to achieve verification closure without any verification holes.
引用
收藏
页码:14 / 18
页数:5
相关论文
共 8 条
[1]  
Appenzeller D.P., 1995, FORMAL VERIFICATION
[2]  
Behm M., 2004, P 41 ANN DES AUT C
[3]  
Bentley B., 2002, P 7 IEEE INT HIGH LE
[4]  
BERGERON J, 2003, WRITING TESTBENCHES
[5]  
Shimizu K., 2006, P 43 ANN DES AUT C
[6]  
Shin D. Y., 2013, ASPDAC 2013 UNPUB
[7]  
Tahar S., 1993, METHODOLOGY FORMAL H
[8]  
Watanabe Y., 2006, AS S PAC DES AUT C