Sökning: id:"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 (författare)
- Tongji Univ, Peoples R China
-
- Ji, Peng-Fei (författare)
- Tongji Univ, Peoples R China
-
- Zhu, Pan-Wei (författare)
- Tongji Univ, Peoples R China
-
visa fler...
-
- Peng, Zebo (författare)
- Linköpings universitet,Programvara och system,Tekniska fakulteten
-
- Li, Hua-Wei (författare)
- Chinese Acad Sci, Peoples R China
-
- Jiang, Jian-Hui (författare)
- Tongji Univ, Peoples R China
-
visa färre...
-
(creator_code:org_t)
- SPRINGER SINGAPORE PTE LTD, 2023
- 2023
- Engelska.
-
Ingår i: Journal of Computer Science and Technology. - : SPRINGER SINGAPORE PTE LTD. - 1000-9000 .- 1860-4749. ; 38:2, s. 405-421
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- software-based self-testing (SBST); parallel test; kilo-core networks-on-chip (NoCs); online testing
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
Till lärosätets databas