research-article

A geometric approach for early power grid verification using current constraints

Authors:

Imad A. Ferzli,

Farid N. Najm,

Lars KruseAuthors Info & Claims

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

Pages 40 - 47

Published: 05 November 2007 Publication History

Get Access

Abstract

The verification of power grids in modern integrated circuits must start at design time, where circuit information is unknown but could be specified or inferred from design or architectural considerations. This work builds on previously proposed techniques to deal with circuit uncertainty in the framework of linear current constraints, but proposes a cost-controlled solution, by following a geometric approach, and transforming a problem that requires as many linear programs as there are power grid nodes, to another involving a user-limited number of solutions of one linear system.

References

[1]

M. Nizam, F. N. Najm, and A. Devgan. Power grid voltage integrity verification. In ACM/IEEE International Symposium on Low Power Electronics and Design, pages 239--244, San Diego, CA, August 8--10 2005.

Digital Library

Google Scholar

[2]

I. A. Ferzli, F. N. Najm, and L. Kruse. Early power grid verification under circuit current uncertainties. In ACM/IEEE International Symposium on Low Power Electronics and Design, Portland, OR, August 27--29 2007.

Digital Library

Google Scholar

[3]

Y. Saad. Iterative Methods for Sparse Linear Systems. SIAM, 2003.

Digital Library

Google Scholar

[4]

R. Horst, P. P. Pardalos, and N. V. Thoai. Introduction to Global Optimization. Kluwer, 2000.

Digital Library

Google Scholar

[5]

E. Chiprout. Fast flip-chip power grid analysis via locality and grid shells. In IEEE/ACM International Conference on Computer-Aided Design, pages 485--488, San Jose, CA, November 7--11 2004.

Digital Library

Google Scholar

[6]

H. Kellerer, U. Pferschy, and D. Pisinger. Knapsack problems. Springer, 2004.

Crossref

Google Scholar

Cited By

View all

Fawaz MNajm FParameswaran S(2017)Power grid verification under transient constraintsProceedings of the 36th International Conference on Computer-Aided Design10.5555/3199700.3199779(593-600)Online publication date: 13-Nov-2017
https://dl.acm.org/doi/10.5555/3199700.3199779
Lu CJiang I(2017)Fast low power rule checking for multiple power domain designProceedings of the Conference on Design, Automation & Test in Europe10.5555/3130379.3130786(1749-1754)Online publication date: 27-Mar-2017
https://dl.acm.org/doi/10.5555/3130379.3130786
Fawaz MNajm FFanucci LTeich J(2016)Accurate verification of RC power gridsProceedings of the 2016 Conference on Design, Automation & Test in Europe10.5555/2971808.2971995(814-817)Online publication date: 14-Mar-2016
https://dl.acm.org/doi/10.5555/2971808.2971995
Show More Cited By

A geometric approach for early power grid verification using current constraints
1. Theory of computation

Recommendations

Scalable vectorless power grid current integrity verification
DAC '13: Proceedings of the 50th Annual Design Automation Conference

To deal with the growing phenomenon of electromigration (EM), power grid current integrity verification becomes indispensable to designing reliable power delivery networks (PDNs). Unlike previous works that focus on vectorless voltage integrity ...
More realistic power grid verification based on hierarchical current and power constraints
ISPD '11: Proceedings of the 2011 international symposium on Physical design

Vectorless power grid verification algorithms, by solving linear programming (LP) problems under current constraints, enable worst-case voltage drop predictions at an early design stage. However, worst-case current patterns obtained by many existing ...
Early power grid verification under circuit current uncertainties
ISLPED '07: Proceedings of the 2007 international symposium on Low power electronics and design

As power grid safety becomes increasingly important in modern integrated circuits, so does the need to start power grid verification early in the design cycle and incorporate circuit uncertainty of the early stages into useful power grid information. ...

Comments

Information & Contributors

Information

Published In

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

November 2007

933 pages

ISBN:1424413826

General Chair:
Georges Gielen
ESAT-MICAS, Katholieke Univ. Leuven, Leuven, Belgium

Publisher

IEEE Press

Publication History

Published: 05 November 2007

Check for updates

Qualifiers

Research-article

Conference

ICCAD07

Sponsor:

CEDA
SIGDA
IEEE-CS\DATC

ICCAD07: The International Conference on Computer-Aided Design 2007

November 5 - 8, 2007

California, San Jose

Acceptance Rates

ICCAD '07 Paper Acceptance Rate 139 of 510 submissions, 27%;

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

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

16
Total Citations
View Citations
137
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

View all

Fawaz MNajm FParameswaran S(2017)Power grid verification under transient constraintsProceedings of the 36th International Conference on Computer-Aided Design10.5555/3199700.3199779(593-600)Online publication date: 13-Nov-2017
https://dl.acm.org/doi/10.5555/3199700.3199779
Lu CJiang I(2017)Fast low power rule checking for multiple power domain designProceedings of the Conference on Design, Automation & Test in Europe10.5555/3130379.3130786(1749-1754)Online publication date: 27-Mar-2017
https://dl.acm.org/doi/10.5555/3130379.3130786
Fawaz MNajm FFanucci LTeich J(2016)Accurate verification of RC power gridsProceedings of the 2016 Conference on Design, Automation & Test in Europe10.5555/2971808.2971995(814-817)Online publication date: 14-Mar-2016
https://dl.acm.org/doi/10.5555/2971808.2971995
Gupte NWang JMarculescu DLiu F(2015)Transient Noise Bounds using Vectorless Power Grid VerificationProceedings of the IEEE/ACM International Conference on Computer-Aided Design10.5555/2840819.2840918(713-720)Online publication date: 2-Nov-2015
https://dl.acm.org/doi/10.5555/2840819.2840918
Zhang XLu JLiu YCheng C(2014)Worst-Case Noise Area Prediction of On-Chip Power Distribution NetworkProceedings of SLIP (System Level Interconnect Prediction) on System Level Interconnect Prediction Workshop10.1145/2633948.2633950(1-8)Online publication date: 1-Jun-2014
https://dl.acm.org/doi/10.1145/2633948.2633950
Xiong XWang J(2013)Constraint abstraction for vectorless power grid verificationProceedings of the 50th Annual Design Automation Conference10.1145/2463209.2488841(1-6)Online publication date: 29-May-2013
https://dl.acm.org/doi/10.1145/2463209.2488841
Najm FHu A(2012)Overview of vectorless/early power grid verificationProceedings of the International Conference on Computer-Aided Design10.1145/2429384.2429530(670-677)Online publication date: 5-Nov-2012
https://dl.acm.org/doi/10.1145/2429384.2429530
Abhishek Najm FGroeneveld PSciuto DHassoun S(2012)Incremental power grid verificationProceedings of the 49th Annual Design Automation Conference10.1145/2228360.2228390(151-156)Online publication date: 3-Jun-2012
https://dl.acm.org/doi/10.1145/2228360.2228390
Xiong XWang JPhillips JHu AGraeb H(2011)Vectorless verification of RLC power grids with transient current constraintsProceedings of the International Conference on Computer-Aided Design10.5555/2132325.2132452(548-554)Online publication date: 7-Nov-2011
https://dl.acm.org/doi/10.5555/2132325.2132452
Al Haddad PNajm FStok LDutt NHassoun S(2011)Power grid correction using sensitivity analysis under an RC modelProceedings of the 48th Design Automation Conference10.1145/2024724.2024880(688-693)Online publication date: 5-Jun-2011
https://dl.acm.org/doi/10.1145/2024724.2024880
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.

PDF

eReader

View online with eReader.

eReader

Abstract

References

Cited By

Recommendations

Scalable vectorless power grid current integrity verification

More realistic power grid verification based on hierarchical current and power constraints

Early power grid verification under circuit current uncertainties

Comments

Information

Published In

Sponsors

Publisher

Publication History

Check for updates

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations