SAT-based techniques for determining backbones for post-silicon fault localisation

Charlie Shucheng Zhu, Georg Weissenbacher, Divjyot Sethi, Sharad Malik

Research output: Chapter in Book/Report/Conference proceedingConference contribution

27 Scopus citations

Abstract

The localisation of faults in integrated circuits is a dominating factor in the overall verification effort. The limited observability of internal signals of chips complicates the spatial and temporal localisation of bugs in post-silicon validation. We address the problem of recovering the values of unobservable signals of a chip prototype from state bits recorded in a trace-buffer of limited size using a SAT-based analysis. Our technique is a novel application of backbones. This term refers to the set of parameters of a Boolean function that need to be fixed to a constant value for that function to evaluate to true. There is a range of known SAT-based techniques targeting this problem. We discuss a number of existing techniques and gradually extend these techniques with novel ideas, leading to novel and previously unstudied algorithms. We evaluate the performance of these algorithms using the aforementioned application in post-silicon validation. Our results show that these SAT-based techniques are suitable for large-scale applications with even millions of variables. Moreover, we evaluate the utility of backbones by quantifying the restored state bits in a number of case studies, including two processor cores.

Original languageEnglish (US)
Title of host publication2011 IEEE International High Level Design Validation and Test Workshop, HLDVT'11
Pages84-91
Number of pages8
DOIs
StatePublished - 2011
Event16th IEEE International High Level Design Validation and Test Workshop, HLDVT'11 - Napa Valley, CA, United States
Duration: Nov 10 2011Nov 11 2011

Publication series

NameProceedings - IEEE International High-Level Design Validation and Test Workshop, HLDVT
ISSN (Print)1552-6674

Other

Other16th IEEE International High Level Design Validation and Test Workshop, HLDVT'11
Country/TerritoryUnited States
CityNapa Valley, CA
Period11/10/1111/11/11

All Science Journal Classification (ASJC) codes

  • Software
  • Computer Science Applications
  • Theoretical Computer Science
  • Artificial Intelligence

Fingerprint

Dive into the research topics of 'SAT-based techniques for determining backbones for post-silicon fault localisation'. Together they form a unique fingerprint.

Cite this