ItHELPS: Iterative high-accuracy error localization in post-silicon

The increasing complexity of modern digital circuits has exacerbated the challenge of verifying the functionality of these systems. To further compound the issue, shrinking time-to-market constraints place increased pressure on attaining correct devices in short amounts of time. As a result, more and more of the burden of validation has shifted to the post-silicon stage, when the first silicon prototypes of a design become available. This validation phase brings much faster test execution speeds, at the cost of a very limited ability of diagnosing bugs. To further compound the problem, intermittent failures are not uncommon, due to the physical nature of the device under validation. In this work we propose ItHELPS, a solution to identify the timing of a bug manifestation and the root signals responsible for it in industry-size complex digital designs. We employ a synergistic approach based on a machine-learning solution (DBSCAN) paired with an adaptive refinement analysis, capable of narrowing the location of a failure down to a handful of signals, possibly buried deep within the design hierarchy. We find experimentally that our approach outperforms the accuracy of prior state-of-the-art solutions by two orders of magnitude.

[1]  Alan J. Hu,et al.  BackSpace: Formal Analysis for Post-Silicon Debug , 2008, 2008 Formal Methods in Computer-Aided Design.

[2]  Qiang Xu,et al.  On Multiplexed Signal Tracing for Post-Silicon Validation , 2013, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[3]  Harry Foster,et al.  Increasing the Efficiency of Simulation-Based Functional Verification Through Unsupervised Support Vector Analysis , 2010, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[4]  Valeria Bertacco,et al.  Machine learning-based anomaly detection for post-silicon bug diagnosis , 2013, 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[5]  Bart Vermeulen,et al.  Silicon debug: scan chains alone are not enough , 1999, International Test Conference 1999. Proceedings (IEEE Cat. No.99CH37034).

[6]  Peter Dahlgren,et al.  Latch divergency in microprocessor failure analysis , 2003, International Test Conference, 2003. Proceedings. ITC 2003..

[7]  Dimitris Gizopoulos Advances in electronic testing : challenges and methodologies , 2006 .

[8]  Sharad Malik,et al.  Post-silicon fault localisation using maximum satisfiability and backbones , 2011, 2011 Formal Methods in Computer-Aided Design (FMCAD).

[9]  Hans-Peter Kriegel,et al.  A Density-Based Algorithm for Discovering Clusters in Large Spatial Databases with Noise , 1996, KDD.

[10]  Nicola Nicolici,et al.  Low Cost Debug Architecture using Lossy Compression for Silicon Debug , 2007, 2007 Design, Automation & Test in Europe Conference & Exhibition.

[11]  Priyadarsan Patra,et al.  Efficient combination of trace and scan signals for post silicon validation and debug , 2011, 2011 IEEE International Test Conference.

[12]  Valeria Bertacco,et al.  Post-silicon bug diagnosis with inconsistent executions , 2011, 2011 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).