• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊

Computer Engineering & Science ›› 2023, Vol. 45 ›› Issue (04): 571-576.

• High Performance Computing • Previous Articles     Next Articles

An agile verification method of IO Die

LUO Li,SHI Wei,HE Hong-jun,PAN Guo-teng,WANG Lei,GONG Rui   

  1. (College of Computer Science and Technology,National University of Defense Technology,Changsha 410073,China)
  • Received:2022-10-03 Revised:2022-12-25 Accepted:2023-04-25 Online:2023-04-25 Published:2023-04-13

Abstract: IO Die can be used as an IO extension chip, or a chiplet, which can be reused for multiple projects. This paper proposes an agile verification method of an IO Die. In order to reuse cross-level test cases, three levels (sub-system level, cluster level and whole chip level) are realized on the verification platform, and test cases at each verification level are optimized. Coverage drive, configurable constraint generation and multi-objective optimization methods are adopted respectively to improve the generation efficiency of test cases. Experimental results show that, this method can reduce the cost and time and effectively achieve Known Good Die (KGD) on the premise of ensuring efficiency and reliability. 

Key words: Die, agile verification, coverage-driven, configurable constraint, multi-objective optimization