Parallel Software-Based Self-Testing with Bounded Model Checking for Kilo-Core Networks-on-Chip
文献类型：期刊论文
| 作者 | Zhang, Ying2; Ji, Peng-Fei2; Zhu, Pan-Wei2; Peng, Zebo1; Li, Hua-Wei3; Jiang, Jian-Hui2 |
| 刊名 | JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY
 |
| 出版日期 | 2023-04-01 |
| 卷号 | 38期号:2页码:405-421 |
| 关键词 | software-based self-testing (SBST) parallel test kilo-core networks-on-chip (NoCs) online testing |
| ISSN号 | 1000-9000 |
| DOI | 10.1007/s11390-022-2553-3 |
| 英文摘要 | 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. |
| 资助项目 | 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记录号 | WOS:001017832400013 |
| 出版者 | SPRINGER SINGAPORE PTE LTD |
| 源URL | [http://119.78.100.204/handle/2XEOYT63/21311]  |
| 专题 | 中国科学院计算技术研究所期刊论文_英文 |
| 通讯作者 | Jiang, Jian-Hui |
| 作者单位 | 1.Linkoping Univ, Dept Comp & Informat Sci, S-58183 Linkoping, Sweden 2.Tongji Univ, Sch Software Engn, Shanghai 200092, Peoples R China 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. |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。