research-article

Leveraging pre-silicon verification resources for the post-silicon validation of the IBM POWER7 processor

Authors:

Charles Meissner,

John SchumannAuthors Info & Claims

DAC '11: Proceedings of the 48th Design Automation Conference

Pages 569 - 574

https://doi.org/10.1145/2024724.2024856

Published: 05 June 2011 Publication History

Abstract

The growing importance of post-silicon validation in ensuring functional correctness of high-end designs has increased the need for synergy between the pre-silicon verification and post-silicon validation. This synergy starts with a common verification plan. It continues with common verification goals and shared tools and techniques. This paper describes our experience in improving this synergy in the pre- and post-silicon verification of IBM's POWER7 processor chip and by leveraging pre-silicon methodologies and techniques in the post-silicon validation of the chip.

References

[1]

M. Abramovici, P. Bradley, K. Dwarakanath, P. Levin, G. Memmi, and D. Miller. A reconfigurable design-for-debug infrastructure for SoCs. In Proceedings of the 43rd Design Automation Conference, pages 7--12, July 2006.

Digital Library

[2]

A. Adir, S. Copty, S. Landa, A. Nahir, G. Shurek, and A. Ziv. A unified methodology for pre-silicon verification and post-silicon validation. In Proceedings of the 2011 Design, Automation and Test in Europe Conference, pages 1590--1595, 2011.

[3]

A. Adir, A. Nahir, A. Ziv, C. Meissner, and J. Schumann. Reaching coverage closure in post-silicon validation. In Proceedings of the 6th Haifa Verification Conference, LNCS 6504, pages 60--74. Springer-Verlag, 2010.

Digital Library

[4]

M. L. Behm, J. M. Ludden, Y. Lichtenstein, M. Rimon, and M. Vinov. Industrial experience with test generation languages for processor verification. In Proceedings of the 41st Design Automation Conference, pages 36--40, 2004.

Digital Library

[5]

J. Bergeron. Writing Testbenches: Functional Verification of HDL Models. Kluwer Academic Publishers, January 2000.

Digital Library

[6]

E. Buchnik and S. Ur. Compacting regression-suites on-the-fly. In Proceedings of the 4th Asia Pacific Software Engineering Conference, pages 385--394, December 1997.

Digital Library

[7]

H. B. Carter and S. G. Hemmady. Metric Driven Design Verification: An Engineer's and Executive's Guide to First Pass Success. Springer, 2007.

[8]

K. Chen, S. Malik, and P. Patra. Runtime validation of memory ordering using constraint graph checking. In Proceedings of the 14th International Symposium on High-Performance Computer Architecture, pages 415--426, 2008.

[9]

J. Darringer et al. EDA in IBM: past, present, and future. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 19(12):1476--1497, December 2000.

Digital Library

[10]

S. Fine, S. Ur, and A. Ziv. A probabilistic regression suite for functional verification. In Proceedings of the 41st Design Automation Conference, pages 49--54, June 2004.

Digital Library

[11]

R. Kalla, B. Sinharoy, W. Starke, and M. Floyd. POWER7: IBM's next-generation server processor. IEEE Micro, 30(2):7--15, 2010.

Digital Library

[12]

A. Piziali. Functional Verification Coverage Measurement and Analysis. Springer, 2004.

Digital Library

[13]

H. G. Rotithor. Postsilicon validation methodology for microprocessors. IEEE Design & Test of Computers, 17(4):77--88, 2000.

Digital Library

[14]

K.-D. Schubert. POWER7: verification challenge of a multi-core processor. In ICCAD '09: Proceedings of the 2009 International Conference on Computer-Aided Design, pages 809--812, 2009.

Digital Library

[15]

I. Wagner and V. Bertacco. Reversi: Post-silicon validation system for modern microprocessors. In Proceedings of the IEEE International Conference on Computer Design, pages 307--314, 2008.

[16]

B. Wile, J. C. Goss, and W. Roesner. Comprehensive Functional Verification -- The Complete Industry Cycle. Elsevier, 2005.

Digital Library

Cited By

Witharana HSanjaya SMishra P(2023)Dynamic Refinement of Hardware Assertion Checkers2023 Design, Automation & Test in Europe Conference & Exhibition (DATE)10.23919/DATE56975.2023.10137306(1-6)Online publication date: Apr-2023
https://doi.org/10.23919/DATE56975.2023.10137306
Jindal NPanda PSarangi S(2018)Reusing Trace Buffers as Victim CachesIEEE Transactions on Very Large Scale Integration (VLSI) Systems10.1109/TVLSI.2018.282792826:9(1699-1712)Online publication date: Sep-2018
https://doi.org/10.1109/TVLSI.2018.2827928
Jayaraman PParthasarathi R(2017)A Survey on Post-Silicon Functional Validation for Multicore ArchitecturesACM Computing Surveys10.1145/310761550:4(1-30)Online publication date: 25-Aug-2017
https://dl.acm.org/doi/10.1145/3107615
Show More Cited By

Index Terms

Leveraging pre-silicon verification resources for the post-silicon validation of the IBM POWER7 processor
1. Hardware
  1. Hardware validation
    1. Functional verification

Recommendations

Threadmill: a post-silicon exerciser for multi-threaded processors
DAC '11: Proceedings of the 48th Design Automation Conference

Post-silicon validation poses unique challenges that bring-up tools must face, such as the lack of observability into the design, the typical instability of silicon bring-up platforms and the absence of supporting software (like an OS or debuggers). ...
Bridging pre-silicon verification and post-silicon validation
DAC '10: Proceedings of the 47th Design Automation Conference

Post-silicon validation is a necessary step in a design's verification process. Pre-silicon techniques such as simulation and emulation are limited in scope and volume as compared to what can be achieved on the silicon itself. Some parts of the ...
Post-silicon validation opportunities, challenges and recent advances
DAC '10: Proceedings of the 47th Design Automation Conference

Post-silicon validation is used to detect and fix bugs in integrated circuits and systems after manufacture. Due to sheer design complexity, it is nearly impossible to detect and fix all bugs before manufacture. Post-silicon validation is a major ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

DAC '11: Proceedings of the 48th Design Automation Conference

June 2011

1055 pages

ISBN:9781450306362

DOI:10.1145/2024724

General Chair:
Leon Stok
IBM Corp., Hopewell Jct., NY
,
Program Chairs:
Nikil Dutt
Univ. of California, Irvine, CA
,
Soha Hassoun
Tufts Univ., Medford, MA

Copyright © 2011 Authors.

Sponsors

EDAC: Electronic Design Automation Consortium
SIGDA: ACM Special Interest Group on Design Automation
IEEE Council on Electronic Design Automation (CEDA)

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 05 June 2011

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

DAC '11

Sponsor:

EDAC
SIGDA

DAC '11: The 48th Annual Design Automation Conference 2011

June 5 - 10, 2011

California, San Diego

Acceptance Rates

Overall Acceptance Rate 1,770 of 5,499 submissions, 32%

Upcoming Conference

DAC '25

Sponsor:
sigda

62nd ACM/IEEE Design Automation Conference

June 22 - 26, 2025

San Francisco , CA , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

16
Total Citations
View Citations
236
Total Downloads

Downloads (Last 12 months)3
Downloads (Last 6 weeks)1

Reflects downloads up to 23 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Witharana HSanjaya SMishra P(2023)Dynamic Refinement of Hardware Assertion Checkers2023 Design, Automation & Test in Europe Conference & Exhibition (DATE)10.23919/DATE56975.2023.10137306(1-6)Online publication date: Apr-2023
https://doi.org/10.23919/DATE56975.2023.10137306
Jindal NPanda PSarangi S(2018)Reusing Trace Buffers as Victim CachesIEEE Transactions on Very Large Scale Integration (VLSI) Systems10.1109/TVLSI.2018.282792826:9(1699-1712)Online publication date: Sep-2018
https://doi.org/10.1109/TVLSI.2018.2827928
Jayaraman PParthasarathi R(2017)A Survey on Post-Silicon Functional Validation for Multicore ArchitecturesACM Computing Surveys10.1145/310761550:4(1-30)Online publication date: 25-Aug-2017
https://dl.acm.org/doi/10.1145/3107615
Taatizadeh PNicolici N(2017)Emulation Infrastructure for the Evaluation of Hardware Assertions for Post-Silicon ValidationIEEE Transactions on Very Large Scale Integration (VLSI) Systems10.1109/TVLSI.2017.265856425:6(1866-1880)Online publication date: Jun-2017
https://doi.org/10.1109/TVLSI.2017.2658564
Chandran SPanda PSarangi SBhattacharyya AChauhan DKumar S(2017)Managing Trace Summaries to Minimize Stalls During Postsilicon ValidationIEEE Transactions on Very Large Scale Integration (VLSI) Systems10.1109/TVLSI.2017.265760425:6(1881-1894)Online publication date: Jun-2017
https://doi.org/10.1109/TVLSI.2017.2657604
Taatizadeh PNicolici N(2016)Automated Selection of Assertions for Bit-Flip Detection During Post-Silicon ValidationIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2016.253808735:12(2118-2130)Online publication date: 1-Nov-2016
https://dl.acm.org/doi/10.1109/TCAD.2016.2538087
Chandran SPanda PChauhan DKumar SSarangi S(2016)Extending trace history through tapered summaries in post-silicon validation2016 21st Asia and South Pacific Design Automation Conference (ASP-DAC)10.1109/ASPDAC.2016.7428099(737-742)Online publication date: Jan-2016
https://doi.org/10.1109/ASPDAC.2016.7428099
Taatizadeh PNicolici NNebel WAtienza D(2015)A methodology for automated design of embedded bit-flips detectors in post-silicon validationProceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition10.5555/2755753.2755770(73-78)Online publication date: 9-Mar-2015
https://dl.acm.org/doi/10.5555/2755753.2755770
Taatizadeh PNicolici N(2015)Emulation-based selection and assessment of assertion checkers for post-silicon validationProceedings of the 2015 33rd IEEE International Conference on Computer Design (ICCD)10.1109/ICCD.2015.7357083(46-53)Online publication date: 18-Oct-2015
https://dl.acm.org/doi/10.1109/ICCD.2015.7357083
Widhalm DTauner SHorauer MSchumacher AHaggenmiller A(2015)A common platform for bridging pre- and post-silicon verification in mixed-signal designs2015 IEEE International Instrumentation and Measurement Technology Conference (I2MTC) Proceedings10.1109/I2MTC.2015.7151515(1584-1589)Online publication date: May-2015
https://doi.org/10.1109/I2MTC.2015.7151515
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents