A Spectral Graph Sparsification Approach to Scalable Vectorless Power Grid Integrity Verification

被引:5
作者
Zhao, Zhiqiang [1 ]
Feng, Zhuo [1 ]
机构
[1] Michigan Technol Univ, Dept ECE, Houghton, MI 49931 USA
来源
PROCEEDINGS OF THE 2017 54TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC) | 2017年
基金
美国国家科学基金会;
关键词
Vectorless verification; spectral graph theory; graph sparsification; algebraic multigrid;
D O I
10.1145/3061639.3062193
中图分类号
TM [电工技术]; TN [电子技术、通信技术];
学科分类号
0808 ; 0809 ;
摘要
Vectorless integrity verification is becoming increasingly critical to robust design of nanoscale power delivery networks (PDNs). To dramatically improve efficiency and capability of vectorless integrity verifications, this paper introduces a scalable multilevel integrity verification framework by leveraging a hierarchy of almost linear-sized spectral power grid sparsifiers that can well retain effective resistances between nodes, as well as a recent graph-theoretic algebraic multigrid (AMG) algorithmic framework. As a result, vectorless integrity verification solution obtained on coarse level problems can effectively help find the solution of the original problem. Extensive experimental results show that the proposed vectorless verification framework can always efficiently and accurately obtain worst-case scenarios in even very large power grid designs.
引用
收藏
页数:6
相关论文
共 18 条
[1]   Spectral Sparsification of Graphs: Theory and Algorithms [J].
Batson, Joshua ;
Spielman, Daniel A. ;
Srivastava, Nikhil ;
Teng, Shang-Hua .
COMMUNICATIONS OF THE ACM, 2013, 56 (08) :87-94
[2]  
Feng Z., 2016, P IEEE ACM DAC
[3]  
Feng Z., 2013, P IEEE ACM DAC
[4]   Fast Thermal Analysis on GPU for 3D ICs With Integrated Microchannel Cooling [J].
Feng, Zhuo ;
Li, Peng .
IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, 2013, 21 (08) :1526-1539
[5]  
Ghani NHA, 2009, DES AUT CON, P184
[6]  
GOYAL A, 2011, AUT TEST EUROPE, P257
[7]   Incremental partitioning-based vectorless power grid verification [J].
Kouroussis, D ;
Ferzli, IA ;
Najm, FN .
ICCAD-2005: INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN, DIGEST OF TECHNICAL PAPERS, 2005, :358-364
[8]  
Kouroussis D, 2003, DES AUT CON, P99
[9]   Model problems for the multigrid optimization of systems governed by differential equations [J].
Lewis, RM ;
Nash, SG .
SIAM JOURNAL ON SCIENTIFIC COMPUTING, 2005, 26 (06) :1811-1837
[10]   LEAN ALGEBRAIC MULTIGRID (LAMG): FAST GRAPH LAPLACIAN LINEAR SOLVER [J].
Livne, Oren E. ;
Brandt, Achi .
SIAM JOURNAL ON SCIENTIFIC COMPUTING, 2012, 34 (04) :B499-B522