Skip to main content
Log in

Exemplar-based Failure Triage for Regression Design Debugging

  • Published:
Journal of Electronic Testing Aims and scope Submit manuscript

Abstract

Modern regression verification often exposes myriads of failures at the pre-silicon stage. Typically, these failures need to be properly grouped into bins, which then have to be distributed to engineers for detailed analysis. The above process is coined as failure triage, and is nowadays increasing in complexity, as the size of both design logic and verification environment continues to grow. However, it remains a predominantly manual process that can prolong the debug cycle and jeopardize time-sensitive design milestones. In this paper, we propose an exemplar-based data-mining formulation of failure triage that efficiently automates both failure grouping and bin distribution. The proposed framework maps failures as data points, applies an affinity-propagation (AP) clustering algorithm, and operates in both metric and non-metric spaces, offering complete flexibility and significant user control over the process. Experimental results show that the proposed approach groups related failures together with 87 % accuracy on the average, and improves bin distribution accuracy by 21 % over existing methods.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10

Similar content being viewed by others

References

  1. Berryhill R, Veneris A (2015) Automated rectification methodologies to functional state-space unreachability. In: Proc. Design, automation and test in Europe, pp 1401–1406

  2. Bishop CM (2007) Pattern recognition and machine learning (Information Science and Statistics). Springer

  3. Chang KH, Wagner I, Bertacco V, Markov IL (2007) Automatic error diagnosis and correction for rtl designs. In: Proceedings International High Level Design Validation and Test Workshop (HLDVT), pp 65–72

  4. Foster H (2011) From volume to velocity: the transforming landscape in function verification. In: Proc. Design and Verification Conf

  5. Frey BJ, Dueck D (2007) Clustering by passing messages between data points. Science 315:972–976

    Article  MathSciNet  MATH  Google Scholar 

  6. Keng B, Veneris A (2012) Path directed abstraction and refinement in sat-based design debugging. In: Proc. Design Automation Conf

  7. Mirzaeian S, Zheng F, Cheng K (2008) Rtl error diagnosis using a word-level sat-solver. In: Proceedings of IEEE international test conference, pp 1–8

  8. OpenCores (2007). http://www.opencores.org

  9. Poulos Z, Veneris A (2014) Clustering-based failure triage for rtl regression debugging. In: Proceedings IEEE international test conference, pp 1–10

  10. Poulos Z, Yang Y, Veneris A (2014) Simulation and satisifiability guided counter-example triage for rtl design debugging. In: Proceedings of IEEE international symposium on quality electronic design, pp 394–399

  11. Safarpour S, Keng B, Yang YS, Qin E (2012) Failure triage: the neglected debugging problem. In: Proc. Design and verification conference

  12. Safarpour S, Veneris A, Najm F (2010) Managing verification error traces with bounded model debugging. In: Proc. ASP design automation conference, pp 601–606

  13. Sarbishei O, Tabandeh M, Alizadeh B, Fujita M (2009) A formal approach for debugging arithmetic circuits. IEEE Trans CAD 28:742–754

    Article  Google Scholar 

  14. Smith A, Veneris A, Ali MF, Viglas A (2005) Fault diagnosis and logic debugging using Boolean satisfiability. IEEE Trans CAD 24(10):1606–1621

    Article  Google Scholar 

  15. Vasudevan S, Sheridan D, Patel S, Tcheng D, Tuohy B, Johnson D (2010) Goldmine: automatic assertion generation using data mining and static analysis. In: Proc. Design, automation and test in Europe, pp 626–629

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Zissis Poulos.

Additional information

Responsible Editor: L. M. Bolzani Poehls

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Poulos, Z., Veneris, A. Exemplar-based Failure Triage for Regression Design Debugging. J Electron Test 32, 125–136 (2016). https://doi.org/10.1007/s10836-016-5577-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10836-016-5577-1

Keywords

Navigation