DocumentCode :
129460
Title :
Effective post-silicon failure localization using dynamic program slicing
Author :
Friedler, Ophir ; Kadry, Wisam ; Morgenshtein, Arkadiy ; Nahir, Amir ; Sokhin, Vitali
Author_Institution :
IBM Res. - Haifa, Haifa, Israel
fYear :
2014
fDate :
24-28 March 2014
Firstpage :
1
Lastpage :
6
Abstract :
In post-silicon functional validation, one of the most complex and time-consuming processes is the localization of an instruction that exposes a bug detected at system level. The task is particularly difficult due to the silicon´s limited observability and the long time between a failure´s occurrence and its detection. We propose a novel method that automates the architectural localization of post-silicon test-case failures. Our proposed tool analyzes a failing test-case, while leveraging the information derived from executing the test on an Instruction Set software Simulator (ISS), to identify a set of instructions that could lead to the faulty final state. The proposed failure localization process comprises the creation of a resource dependency graph based on the execution of the test-case on the ISS, determining a program slice of instructions that influence the faulty resources, and the reduction of the set of suspicious instructions by leveraging the knowledge of the correct resources. We evaluate our proposed solution through extensive experiments. Experimental results show that, in over 97% of all cases, our method was able to narrow down the list of suspicious instructions to under 2 instructions, on average, out of over 200. In over 59% of all cases, our method correctly reduced a test-case to a single faulty instruction.
Keywords :
instruction sets; program slicing; program testing; software fault tolerance; ISS; architectural localization; dynamic program slicing; instruction set software simulator; post-silicon failure localization; resource dependency graph; single faulty instruction; test-case failures; Debugging; Dynamic scheduling; Hardware; Heuristic algorithms; Observability; Program processors;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Design, Automation and Test in Europe Conference and Exhibition (DATE), 2014
Conference_Location :
Dresden
Type :
conf
DOI :
10.7873/DATE.2014.332
Filename :
6800533
Link To Document :
بازگشت