• 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