[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.5555/3130379.3130471guideproceedingsArticle/Chapter ViewAbstractPublication PagesConference Proceedingsacm-pubtype
research-article
Free access

Cost-effective analysis of post-silicon functional coverage events

Published: 27 March 2017 Publication History

Abstract

Post-silicon validation is a major challenge due to the combined effects of debug complexity and observability constraints. Assertions as well as a wide variety of checkers are used in pre-silicon stage to monitor certain functional scenarios. Pre-silicon checkers can be synthesized to coverage monitors in order to capture the coverage of certain events and improve the observability during post-silicon debug. Synthesizing thousands of coverage monitors can introduce unacceptable area and energy overhead. On the other hand, absence of coverage monitors would negatively impact post-silicon coverage analysis. In this paper, we propose a framework for cost-effective post-silicon coverage analysis by identifying hard-to-detect events coupled with trace-based coverage analysis. This paper makes three major contributions. We propose a method to utilize existing debug infrastructure to enable coverage analysis in the absence of synthesized coverage monitors. This analysis enables us to identify a small percentage of coverage monitors that need to be synthesized in order to provide a trade-off between observability and design overhead. To improve the observability further, we also present an observability-aware trace signal selection algorithm that gives priority to signals associated with important coverage monitors. Our experimental results demonstrate that an effective combination of coverage monitor selection and trace analysis can maintain the debugging observability with drastic reduction (up to 10 times) in the required coverage monitors.

References

[1]
S. Mitra et al., "Post-silicon validation opportunities, challenges and recent advances," in DAC, 2010.
[2]
A. Adir et al., "Threadmill: A post-silicon exerciser for multi-threaded processors," in DAC, 2011.
[3]
A. Adir et al., "A unified methodology for pre-silicon verification and post-silicon validation," in DATE, 2011.
[4]
M. Chen et al., System-level Validation - high-level modeling and directed test generation techniques, Springer, 2012.
[5]
F. Farahmandi et al., "Exploiting transaction level models for observability-aware post-silicon test generation," in DATE, 2016.
[6]
K. Balston et al., "Post-silicon code coverage for multiprocessor system-on-chip designs," in IEEE Transactions on Computers, 2013.
[7]
M. Boule et al., "Adding debug enhancements to assertion checkers for hardware emulation and silicon debug," in ICCD, 2006.
[8]
W. Kadry et al., "Comparative study of test generation methods for simulation accelerators," in DATE, 2015.
[9]
K. Rahmani et al., "Efficient Selection of Trace and Scan Signals for Post-Silicon Debug," IEEE Trans. on VLSI, 2016.
[10]
F. Farahmandi and P. Mishra, "Automated Test Generation for Debugging Arithmetic Circuits," DATE, 2016.
[11]
K. Basu and P. Mishra, "RATS: Restoration-aware trace signal selection for post-silicon validation," in VLSI Systems, 2013.
[12]
M. Li and A. Davoodi, "A hybrid approach for fast and accurate trace signal selection for post-silicon debug," in DATE, 2013.
[13]
S. Ma et al., "Can't see the forest for the trees: State restoration's limitations in post-silicon trace signal selection," in ICCAD, 2015.
[14]
M. Boulè and Z. Zilic, "Automata-based assertion-checker synthesis of psl properties," in ACM Transaction Design Autom. Electr. Syst., 2008.
[15]
L. Liu et al., "Towards coverage closure: Using goldmine assertions for generating design validation stimulus," in DATE, 2011.
[16]
S. BeigMohammadi et al., "Combinational trace signal selection with improved state restoration for post-silicon debug," in DATE, 2016.
[17]
A. Adir et al., "Reaching Coverage Closure in Post-Silicon Validation," in HVC, 2010.

Cited By

View all
  • (2019)DHOOMProceedings of the 56th Annual Design Automation Conference 201910.1145/3316781.3317799(1-6)Online publication date: 2-Jun-2019

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Guide Proceedings
DATE '17: Proceedings of the Conference on Design, Automation & Test in Europe
March 2017
1814 pages

Publisher

European Design and Automation Association

Leuven, Belgium

Publication History

Published: 27 March 2017

Qualifiers

  • Research-article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)26
  • Downloads (Last 6 weeks)3
Reflects downloads up to 10 Dec 2024

Other Metrics

Citations

Cited By

View all
  • (2019)DHOOMProceedings of the 56th Annual Design Automation Conference 201910.1145/3316781.3317799(1-6)Online publication date: 2-Jun-2019

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media