Parallel Software-Based Self-Testing with Bounded Model Checking for Kilo-Core Networks-on-Chip

doi:10.1007/s11390-022-2553-3

	Parallel Software-Based Self-Testing with Bounded Model Checking for Kilo-Core Networks-on-Chip
	Zhang, Ying 1; Ji, Peng-Fei 1; Zhu, Pan-Wei 1; Peng, Zebo 2; Li, Hua-Wei 3; Jiang, Jian-Hui 1
	2023-04-01
发表期刊	JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY
ISSN	1000-9000
卷号	38 期号:2 页码:405-421
摘要	Online testing is critical to ensuring reliable operations of the next generation of supercomputers based on a kilo-core network-on-chip (NoC) interconnection fabric. We present a parallel software-based self-testing (SBST) solution that makes use of the bounded model checking (BMC) technique to generate test sequences and parallel packets. In this method, the parallel SBST with BMC derives the leading sequence for each router's internal function and detects all functionally- testable faults related to the function. A Monte-Carlo simulation algorithm is then used to search for the approximately optimum configuration of the parallel packets, which guarantees the test quality and minimizes the test cost. Finally, a multi-threading technology is used to ensure that the Monte-Carlo simulation can reach the approximately optimum configuration in a large random space and reduce the generating time of the parallel test. Experimental results show that the proposed method achieves a high fault coverage with a reduced test overhead. Moreover, by performing online testing in the functional mode with SBST, it effectively avoids the over-testing problem caused by functionally untestable turns in kilo-core NoCs.
关键词	software-based self-testing (SBST) parallel test kilo-core networks-on-chip (NoCs) online testing
DOI	10.1007/s11390-022-2553-3
收录类别	SCI
语种	英语
资助项目	National Key Research and Development Program of China[2020YFB1600201] ; National Natural Science Foundation of China (NSFC)[61974105] ; National Natural Science Foundation of China (NSFC)[62090024] ; National Natural Science Foundation of China (NSFC)[U20A20202] ; Zhejiang Lab[2021KC0AB01]
WOS研究方向	Computer Science
WOS类目	Computer Science, Hardware & Architecture ; Computer Science, Software Engineering
WOS记录号	WOS:001017832400013
出版者	SPRINGER SINGAPORE PTE LTD
引用统计
文献类型	期刊论文
条目标识符	http://119.78.100.204/handle/2XEOYT63/21312
专题	中国科学院计算技术研究所期刊论文_英文
通讯作者	Jiang, Jian-Hui
作者单位	1.Tongji Univ, Sch Software Engn, Shanghai 200092, Peoples R China 2.Linkoping Univ, Dept Comp & Informat Sci, S-58183 Linkoping, Sweden 3.Chinese Acad Sci, Inst Comp Technol, Beijing 100190, Peoples R China
推荐引用方式 GB/T 7714	Zhang, Ying,Ji, Peng-Fei,Zhu, Pan-Wei,et al. Parallel Software-Based Self-Testing with Bounded Model Checking for Kilo-Core Networks-on-Chip[J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,2023,38(2):405-421.
APA	Zhang, Ying,Ji, Peng-Fei,Zhu, Pan-Wei,Peng, Zebo,Li, Hua-Wei,&Jiang, Jian-Hui.(2023).Parallel Software-Based Self-Testing with Bounded Model Checking for Kilo-Core Networks-on-Chip.JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,38(2),405-421.
MLA	Zhang, Ying,et al."Parallel Software-Based Self-Testing with Bounded Model Checking for Kilo-Core Networks-on-Chip".JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY 38.2(2023):405-421.