Skip to main content

High-Level Debugging of Post-Silicon Failures

  • Chapter
  • First Online:
Post-Silicon Validation and Debug

Abstract

Due to the continuous increase of chip design complexity, some logic design bugs may not be detected by pre-silicon verification efforts, and as a result, post-silicon debugging (verification, analysis, and debugging processes after producing silicon) becomes more and more important, especially from the viewpoint of shorter time to market. In this chapter, we discuss two different issues on dealing with post-silicon failures in relation to high-level designs such as C-based designs. The first one is to partially use programmable circuits, such as LUT (Lookup Table). In order to reduce the time for debugging, partial programmability in silicon is incorporated into our method by adding patchable logic circuits to the original designs. Those partial programmability is used to eliminate the bugs found in post-silicon phases as well as analyzing the bugs. The second one is to reproduce equivalent high-level design descriptions after the post-silicon debugging processes are applied. After debugging in post-silicon, the functionality of the debugged implementation may be different from the original high-level design description, which must be adjusted for documentation purposes as well as keeping the consistency of the designs. We propose a template-based method by which high-level descriptions are automatically generated as modifications of the original high-level descriptions by repeatedly simulating the debugged implementations. The experimental results on several examples demonstrate the effectiveness of the proposed methods.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 89.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 119.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. A. Solar-Lezama, Program Synthesis by Sketching, Ph.D thesis, University of California, Berkeley, 2008

    Google Scholar 

  2. M. Fujita, H. Yoshida, Post-silicon patching for verification/debugging with high-level models and programmable logic, in ASP-DAC (2012)

    Google Scholar 

  3. D. Gajski, N. Dutt, A. Wu, S. Lin, High-Level Synthesis: Introduction to Chip and System Design (Kluwer Academic Publisher, Dordrecht, 1992)

    Google Scholar 

  4. M. Fujita, Toward unification of synthesis and verification in topologically constrained logic design. Proc. IEEE 103(11), 2052–2060 (2015)

    Article  Google Scholar 

  5. M. Fujita, Y. Kimura, Q. Wang: Template based synthesis for high performance computing, in IFIP WG10.5 VLSI-SoC (2017)

    Google Scholar 

  6. P. Subramanyan, Y. Vizel, S. Ray, S. Malik, Template-based synthesis of instruction-level abstractions for SoC verification, in Formal Methods in Computer-Aided Design (FMCAD) (2015)

    Google Scholar 

  7. J. Matai, D. Lee, A. Althoff, R. Kastner, Composable, parameterizable templates for high-level synthesis, in Design, Automation & Test in Europe Conference & Exhibition (DATE) (2015)

    Google Scholar 

  8. http://www.cprover.org/cbmc/

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Masahiro Fujita .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Fujita, M., Wang, Q., Kimura, Y. (2019). High-Level Debugging of Post-Silicon Failures. In: Mishra, P., Farahmandi, F. (eds) Post-Silicon Validation and Debug. Springer, Cham. https://doi.org/10.1007/978-3-319-98116-1_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-98116-1_12

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-98115-4

  • Online ISBN: 978-3-319-98116-1

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics