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

skip to main content
10.5555/2840819.2840933acmconferencesArticle/Chapter ViewAbstractPublication PagesiccadConference Proceedingsconference-collections
tutorial

Reducing Post-Silicon Coverage Monitoring Overhead with Emulation and Bayesian Feature Selection

Published: 02 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 post-Silicon 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.
[10]
A. Gaisler. Leon3 SoC. http://www.gaisler.com/products/grlib/grlib-gpl-1.3.7-b4144.tar.gz, 2012.
[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.

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences
ICCAD '15: Proceedings of the IEEE/ACM International Conference on Computer-Aided Design
November 2015
955 pages
ISBN:9781467383899
  • General Chair:
  • Diana Marculescu,
  • Program Chair:
  • Frank Liu

Sponsors

Publisher

IEEE Press

Publication History

Published: 02 November 2015

Check for updates

Qualifiers

  • Tutorial
  • Research
  • Refereed limited

Conference

ICCAD '15
Sponsor:

Acceptance Rates

Overall Acceptance Rate 457 of 1,762 submissions, 26%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

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

Other Metrics

Citations

View Options

Get Access

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media