Search: onr:"swepub:oai:DiVA.org:liu-196923" >
Parallel Software-B...
Parallel Software-Based Self-Testing with Bounded Model Checking for Kilo-Core Networks-on-Chip
-
- Zhang, Ying (author)
- Tongji Univ, Peoples R China
-
- Ji, Peng-Fei (author)
- Tongji Univ, Peoples R China
-
- Zhu, Pan-Wei (author)
- Tongji Univ, Peoples R China
-
show more...
-
- Peng, Zebo (author)
- Linköpings universitet,Programvara och system,Tekniska fakulteten
-
- Li, Hua-Wei (author)
- Chinese Acad Sci, Peoples R China
-
- Jiang, Jian-Hui (author)
- Tongji Univ, Peoples R China
-
show less...
-
(creator_code:org_t)
- SPRINGER SINGAPORE PTE LTD, 2023
- 2023
- English.
-
In: Journal of Computer Science and Technology. - : SPRINGER SINGAPORE PTE LTD. - 1000-9000 .- 1860-4749. ; 38:2, s. 405-421
- Related links:
-
https://urn.kb.se/re...
-
show more...
-
https://doi.org/10.1...
-
show less...
Abstract
Subject headings
Close
- 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 routers 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.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Keyword
- software-based self-testing (SBST); parallel test; kilo-core networks-on-chip (NoCs); online testing
Publication and Content Type
- ref (subject category)
- art (subject category)
Find in a library
To the university's database