Article

Precise identification of the worst-case voltage drop conditions in power grid verification

Authors:

Nestoras Evmorfopoulos,

Dimitris Karampatzakis,

Georgios StamoulisAuthors Info & Claims

ICCAD '06: Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design

Pages 112 - 118

https://doi.org/10.1145/1233501.1233526

Published: 05 November 2006 Publication History

Abstract

Identifying worst-case voltage drop conditions in every module supplied by the power grid is a crucial problem in modern IC design. In this paper we develop a novel methodology for power grid verification which is based on accurately constructing the space of current variations of the supplied modules and locating its precise points that yield the worst-case voltage drop conditions. The construction of the current space is performed via plain simulation and statistical extrapolation using results from extreme value theory. The method overcomes limitations of past methods which either relied on loosely bounding the worst-case voltage drop, or abstracted the current space in a vague and incomplete set of bound-type constraints. Experimental results verify the potential of the proposed method to identify worst-case conditions and demonstrate the pessimism inherent in previous bound-type approaches.

References

[1]

A. Dharchoudhury, R. Panda, D. Blaauw, R. Vaidyanathan, B. Tutuianu, and D. Bearden, "Design and analysis of power distribution networks in PowerPC microprocessors", ACM/IEEE Design Automation Conf., 1998.

Digital Library

[2]

G. Steele, D. Overhauser, S. Rochel, and S. Hussain, "Fullchip verification methods for DSM power distribution systems", ACM/IEEE Design Automation Conf., 1998.

Digital Library

[3]

S. Chowdhury and J. Barkatullah, "Estimation of maximum currents in MOS IC logic circuits", IEEE Trans. Computer-Aided Design, vol. 9, pp. 642--654, 1990.

Digital Library

[4]

H. Kriplani, F. Najm, and I. Hajj, "Pattern independent maximum current estimation in power and ground buses of CMOS VLSI circuits: algorithms, signal correlations and their resolution", IEEE Trans. Computer-Aided Design, vol. 14, pp. 998--1012, 1995.

Digital Library

[5]

A. Hill, C. Teng, and S. Kang, "Simulation-based maximum power estimation", IEEE Int. Symp. Circuits and Systems, 1996.

[6]

C. Ding, Q. Wu, C. Hsieh, and M. Pedram, "Statistical estimation of the cumulative distribution function for power dissipation in VLSI circuits", ACM/IEEE Design Automation Conf., 1997.

Digital Library

[7]

Q. Wu, Q. Qiu, and M. Pedram, "Estimation of peak power dissipation in VLSI circuits using the limiting distributions of extreme order statistics", IEEE Trans. Computer-Aided Design, vol. 20, pp. 942--956, 2001.

Digital Library

[8]

N. Evmorfopoulos, G. Stamoulis, and J. Avaritsiotis, "A Monte Carlo approach for maximum power estimation based on extreme value theory", IEEE Trans. Computer-Aided Design, vol. 21, pp. 415--432, 2002.

Digital Library

[9]

J. Galambos, The Asymptotic Theory of Extreme Order Statistics, 2^nd ed., Krieger, 1987

[10]

D. Kouroussis and F. Najm, "A static pattern-independent technique for power grid voltage integrity verification", ACM/IEEE Design Automation Conf., 2003.

Digital Library

[11]

H. Qian, S. Nassif, and S. Sapatnekar, "Early-stage power grid analysis for uncertain working modes", ACM/IEEE Int. Symp. Physical Design, 2004.

Digital Library

[12]

L. Pillage, R. Rohrer, and C. Visweswariah, Electronic Circuit and System Simulation Methods, McGraw-Hill, 1995.

Digital Library

[13]

H. Royden, Real Analysis, 3^rd ed., Prentice-Hall, 1988.

[14]

S. Resnick, Extreme Values, Regular Variation and Point Processes, Springer, 1987.

[15]

I. Ibragimov and Y. Linnik, Independent and Stationary Sequences of Random Variables, Wolters-Noordhoff, 1971.

[16]

H. Joe, Multivariate Models and Dependence Concepts, Chapman and Hall, 1996.

[17]

S. Kotz, N. Balakrishnan, and N. Johnson, Continuous Multivariate Distributions, vol. 1, Wiley, 2000.

[18]

S. Kotz and S. Nadarajah, Extreme Value Distributions, Imperial College Press, 2002.

[19]

H. Kung, F. Luccio, and F. Preparata, "On finding the maxima of a set of vectors", J. ACM, vol. 22, pp. 469--476, 1975.

Digital Library

[20]

D. Luenberger, Linear and Nonlinear Programming, 2^nd ed., Addison-Wesley, 1984.

[21]

R. Fletcher, Practical Methods of Optimization, 2^nd ed., Wiley, 1987.

Digital Library

Cited By

Hung SChakrabarty KDi Natale GFummi F(2020)Design of a reliable power delivery network for monolithic 3D ICsProceedings of the 23rd Conference on Design, Automation and Test in Europe10.5555/3408352.3408754(1746-1751)Online publication date: 9-Mar-2020
https://dl.acm.org/doi/10.5555/3408352.3408754
Evmorfopoulos NRammou MStamoulis GMoondanos JScheffer LPhillips JHu A(2010)Characterization of the worst-case current waveform excitations in general RLC-model power grid analysisProceedings of the International Conference on Computer-Aided Design10.5555/2133429.2133600(824-830)Online publication date: 7-Nov-2010
https://dl.acm.org/doi/10.5555/2133429.2133600

Index Terms

Precise identification of the worst-case voltage drop conditions in power grid verification
1. Hardware

Recommendations

Scalable Multilevel Vectorless Power Grid Voltage Integrity Verification

With the current aggressive integrated circuit technology scaling, vectorless power grid voltage integrity verification becomes key to designing reliable power delivery networks. To address the challenges of existing vectorless power grid verification ...
Electromigration and voltage drop aware power grid optimization for power gated ICs
ISLPED '07: Proceedings of the 2007 international symposium on Low power electronics and design

Power gating is an efficient technique for reducing leakage power by disconnecting idle blocks from power supply. Gated blocks cause changes in current densities on the grid. Even in DC conditions for some power gating configuration (PGC), current ...
A static pattern-independent technique for power grid voltage integrity verification
DAC '03: Proceedings of the 40th annual Design Automation Conference

Design verification must include the power grid. Checking that the voltage on the power grid does not drop by more than some critical threshold is a very difficult problem, for at least two reasons: i) the obviously large size of the power grids for ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

ICCAD '06: Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design

November 2006

147 pages

ISBN:1595933891

DOI:10.1145/1233501

General Chair:
Soha Hassoun
Tufts Univ., Medford, MA

Copyright © 2006 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGDA: ACM Special Interest Group on Design Automation
IEEE-CAS: Circuits & Systems
IEEE-CS: Computer Society

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 05 November 2006

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

ICCAD06

Sponsor:

SIGDA
IEEE-CAS
IEEE-CS

ICCAD06: The International Conference on Computer-Aided Design 2006

November 5 - 9, 2006

California, San Jose

Acceptance Rates

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

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
182
Total Downloads

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

Reflects downloads up to 07 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Hung SChakrabarty KDi Natale GFummi F(2020)Design of a reliable power delivery network for monolithic 3D ICsProceedings of the 23rd Conference on Design, Automation and Test in Europe10.5555/3408352.3408754(1746-1751)Online publication date: 9-Mar-2020
https://dl.acm.org/doi/10.5555/3408352.3408754
Evmorfopoulos NRammou MStamoulis GMoondanos JScheffer LPhillips JHu A(2010)Characterization of the worst-case current waveform excitations in general RLC-model power grid analysisProceedings of the International Conference on Computer-Aided Design10.5555/2133429.2133600(824-830)Online publication date: 7-Nov-2010
https://dl.acm.org/doi/10.5555/2133429.2133600

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.

Figures

Tables

Media

View Table of Conten