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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
A. Solar-Lezama, Program Synthesis by Sketching, Ph.D thesis, University of California, Berkeley, 2008
M. Fujita, H. Yoshida, Post-silicon patching for verification/debugging with high-level models and programmable logic, in ASP-DAC (2012)
D. Gajski, N. Dutt, A. Wu, S. Lin, High-Level Synthesis: Introduction to Chip and System Design (Kluwer Academic Publisher, Dordrecht, 1992)
M. Fujita, Toward unification of synthesis and verification in topologically constrained logic design. Proc. IEEE 103(11), 2052–2060 (2015)
M. Fujita, Y. Kimura, Q. Wang: Template based synthesis for high performance computing, in IFIP WG10.5 VLSI-SoC (2017)
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)
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)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this chapter
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)