Abstract:Software-Based Self-Test (SBST) is extended to the switches of complex Network-on-Chips (NoC). Test patterns for structural faults are turned into valid packets by using satisfiability (SAT) solvers. The test technique provides a high fault coverage for both manufacturing test and online test.
Preprint
General Copyright NoticeThis article may be used for research, teaching and private study purposes. Any substantial or systematic reproduction, re-distribution, re-selling, loan or sub-licensing, systematic supp… Show more
“…Alternatively, functional tests can be applied [1]. In reverse, structural faults can be diagnosed with functional techniques [16], and SAT-based ATPG can be employed to ensure high structural coverage of functional software-based self-test (SBST) [10]. Like on other layers, concurrent error detection with error detecting codes (e.g.…”
Networks-on-chip are inherently fault tolerant or at least gracefully degradable as both, connectivity and amount of resources, provide some useful redundancy. These properties can only be exploited extensively if test and diagnosis techniques support fault detection and error containment in an optimized way. On the one hand, all faulty components have to be isolated, and on the other hand, remaining faultfree functionalities have to be kept operational. In this contribution, behavioral end-to-end error detection is considered together with functional test methods for switches and gate level diagnosis to locate and to isolate faults in the network in an efficient way with low time overhead.
“…Alternatively, functional tests can be applied [1]. In reverse, structural faults can be diagnosed with functional techniques [16], and SAT-based ATPG can be employed to ensure high structural coverage of functional software-based self-test (SBST) [10]. Like on other layers, concurrent error detection with error detecting codes (e.g.…”
Networks-on-chip are inherently fault tolerant or at least gracefully degradable as both, connectivity and amount of resources, provide some useful redundancy. These properties can only be exploited extensively if test and diagnosis techniques support fault detection and error containment in an optimized way. On the one hand, all faulty components have to be isolated, and on the other hand, remaining faultfree functionalities have to be kept operational. In this contribution, behavioral end-to-end error detection is considered together with functional test methods for switches and gate level diagnosis to locate and to isolate faults in the network in an efficient way with low time overhead.
“…Aisopos et al [14] propose a modeling of variation-induced faults in NoCs to study the impact of delay faults at the system level. In [15], a software-based self-test approach generates test patterns targeting structural faults where the switch under test still must go to the test mode.…”
Section: A State Of the Artmentioning
confidence: 99%
“…The combinational core of the switch, Φ c , is transformed to a conjunctive normal form (CNF) using the Tseitin transformation [21]. The sequential behavior of the switch, Φ T s , is modeled by time-frame expansion of Φ c , as in [15]. The literals of the PPIs of each copy are connected to the literals of the PPOs of the previous copy in the SAT instance, as shown in Fig.…”
Structural tests provide high defect coverage by considering the low-level circuit details. Functional test provides a faster test with reduced test patterns and does not imply additional hardware overhead. However, it lacks a quantitative measure of structural fault coverage. This paper fills this gap by presenting a satisfiability based method to generate functional test patterns while considering structural faults. The method targets NoC switches and links, and it is independent of the switch structure and the network topology. It can be applied for any structural fault type as it relies on a generalized structural fault model.
“…Some other researchers have tried to invent new methods for functional testing of certain modules in complex processors [19,20]. Some others have tried to use SBST techniques to test non-processing components of a system such as main memory system, cache memory subsystem, or interconnections [21][22][23][24]. A lot of researches have recently focused on providing proper SBST techniques to test emerging multiprocessor systems [25][26][27][28][29][30][31].…”
In the past decades, software-based self-testing (SBST) which is testing of a processing core using its native instructions has attracted much attention. However, efficient SBST of a processing core which is deeply embedded in a multicore architecture is still an open issue. In this study, inspiring from built-in self-test methods, the authors place several number of hardware test components next to the processing cores in order to overcome existing SBST challenges. These test components facilitate quick testing of embedded cores by providing several mechanisms such as virtual fetch, virtual jump, fake load & store, and segmented test application. In order to enable segmented test application, they propose the concept of test snippet and a test snippet generation approach. The result is the capability of testing embedded cores in short idle times leading to efficient online testing of the cores with zero performance overhead. The authors' results show that their test snippet generation approach not only leads to the production of test snippets which are properly fitted the proposed test architecture but also its final fault coverage is comparable and even a little better than the fault coverage of the best existing methods.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.