Nothing Special   »   [go: up one dir, main page]

skip to main content
10.1109/ICCAD.2015.7372655guideproceedingsArticle/Chapter ViewAbstractPublication PagesConference Proceedingsacm-pubtype
research-article

Reducing post-silicon coverage monitoring overhead with emulation and Bayesian feature selection

Published: 01 November 2015 Publication History

Abstract

With increasing design complexity, post-silicon validation has become a critical problem. In pre-silicon validation, coverage is the primary metric of validation effectiveness, but in post-silicon, the lack of observability makes coverage measurement problematic. On-chip coverage monitors are a possible solution, but prior research has shown that the overhead is prohibitive for anything beyond a small number of coverage points. This paper presents a novel solution for post-silicon coverage monitoring: fully instrument the design in emulation to sample the relationships between coverage points, and then use this statistical data to choose a small set of coverage points whose coverage provides high probability that all the other coverage points are covered as well; only that small set is instrumented on silicon. To demonstrate the method, we propose a simple feature selection algorithm based on Bayesian networks to choose the small set of coverage points. In experiments emulating a non-trivial SoC, our technique reduces the number of coverage monitors by 92%, yet predicts over 98% probability that all coverage points are covered.

References

[1]
M. Abramovici, P. Bradley, K. Dwarakanath, P. Levin, G. Memmi, and D. Miller. A Reconfigurable Design-for-Debug Infrastructure for SoCs. DAC, 2006, pp. 7–12.
[2]
A. Adir, A. Nahir, A. Ziv, C. Meissner, and J. Schumann. Reaching coverage closure in post-silicon validation. Haifa Verification Conf, 2011, pp. 60–75.
[3]
K. Balston, A. Hu, S. Wilton, and A. Nahir. Emulation in post-silicon validation: It's not just for functionality anymore. High Level Design Validation and Test Workshop, 2012, pp. 110–117.
[4]
K. Balston, M. Karimibiuki, A. Hu, A. Ivanov, and S. Wilton. Post-silicon code coverage for multiprocessor system-on-chip designs. IEEE Trans on Computers, 62 (2): 242–246, Feb 2013.
[5]
P. Bastani, B. N. Lee, L.-C. Wang, S. Sundareswaran, and M. S. Abadir. Analyzing the risk of timing modeling based on path delay tests. Intl Test Conf 2007.
[6]
T. Bojan, M. Arreola, E. Shlomo, and T. Shachar. Functional Coverage Measurements and Results in postSilicon validation of Core 2 Duo family. High Level Design Validation and Test Workshop 2007, pp. 145–150.
[7]
G. F. Cooper and E. Herskovits. A Bayesian method for the induction of probabilistic networks from data. Machine Learning, 9 (4): 309–347, Oct 1992.
[8]
A. DeOrio, Q. Li, M. Burgess, and V. Bertacco. Machine learning-based anomaly detection for post-silicon bug diagnosis. Design Automation and Test in Europe, 2013.
[9]
S. Fine and A. Ziv. Coverage directed test generation for functional verification using Bayesian networks. DAC, 2003, pp. 286–291.
[11]
J. Goodenough and R. Aitken. Post-silicon is too late: avoiding the $50 million paperweight starts with validated designs. DAC, 2010, pp. 8–11.
[12]
D. Heckerman, D. Geiger, and D. M. Chickering. Learning Bayesian Networks: The Combination of Knowledge and Statistical Data. Machine Learning, 20: 197–243, Mar 1995.
[13]
A. Jain and D. Zongker. Feature selection: evaluation, application, and small sample performance. IEEE Trans on Pattern Analysis and Machine Intelligence, 19 (2): 153–158, Feb 1997.
[14]
G. H. John, R. Kohavi, and K. Pfleger. Irrelevant features and the subset selection problem. Intl Conf Machine Learning, 1994, pp. 121–129.
[15]
M. Karimibiuki, K. Balston, A. Hu, and A. Ivanov. Post-silicon Code Coverage Evaluation with Reduced Area Overhead for Functional Verification of SoC. High Level Design Validation and Test Workshop, 2011, pp. 92–97.
[16]
J. Keshava, N. Hakim, and C. Prudvi. Post-silicon validation challenges: How EDA and academia can help. DAC, 2010, pp. 3–7.
[17]
S. Mitra, S. A. Seshia, and N. Nicolici. Post-silicon validation opportunities, challenges and recent advances. DAC, 2010, pp. 12–17.
[18]
K. P. Murphy. The Bayes Net Toolbox for MATLAB. Computing Science and Statistics, 33: 2001, 2001.
[19]
A. Nahir, A. Ziv, and S. Panda. Optimizing Test-Generation to the Execution Platform. Asia and South Pacific Design Automation Conf, 2012, pp. 304–309.
[20]
J. Pearl. Bayesian Networks: A Model of Self-Activated Memory for Evidential Reasoning. TR CSD-850017, UCLA, April 1985.
[21]
G. Schelle, J. Collins, E. Schuchman, P. Wang, X. Zou, G. Chinya, R. Plate, T. Mattner, F. Olbrich, P. Hammarlund, R. Singhal, J. Brayton, S. Steibl, and H. Wang. Intel Nehalem Processor Core Made FPGA Synthesizable. Intl Conf on FPGA, 2010, pp. 3–12.
[22]
P. Wang, J. Collins, C. Weaver, B. Kuttanna, S. Salamian, G. Chinya, E. Schuchman, O. Schilling, T. Doil, S. Steibl, and H. Wang. Intel Atom Processor Core Made FPGA-Synthesizable. Intl Conf on FPGA, 2009, pp. 209–218.
[23]
X. Yang, Y. Chen, E. Eide, and J. Regehr. Finding and understanding bugs in C compilers. Programming Language Design and Implementation, 2011, pp. 283–294.

Index Terms

  1. Reducing post-silicon coverage monitoring overhead with emulation and Bayesian feature selection
    Index terms have been assigned to the content through auto-classification.

    Recommendations

    Comments

    Please enable JavaScript to view thecomments powered by Disqus.

    Information & Contributors

    Information

    Published In

    cover image Guide Proceedings
    2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)
    929 pages

    Publisher

    IEEE Press

    Publication History

    Published: 01 November 2015

    Qualifiers

    • Research-article

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • 0
      Total Citations
    • 0
      Total Downloads
    • Downloads (Last 12 months)0
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 14 Nov 2024

    Other Metrics

    Citations

    View Options

    View options

    Login options

    Media

    Figures

    Other

    Tables

    Share

    Share

    Share this Publication link

    Share on social media