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

被引:4
|
作者
Zhao, Zhiqiang [1 ]
Feng, Zhuo [1 ]
机构
[1] Michigan Technol Univ, Dept ECE, Houghton, MI 49931 USA
基金
美国国家科学基金会;
关键词
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
相关论文
共 50 条
  • [11] GRASS: Graph Spectral Sparsification Leveraging Scalable Spectral Perturbation Analysis
    Feng, Zhuo
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2020, 39 (12) : 4944 - 4957
  • [12] A Hierarchical Matrix Inversion Algorithm for Vectorless Power Grid Verification
    Xiong, Xuanxing
    Wang, Jia
    2010 IEEE AND ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2010, : 543 - 550
  • [13] Selected Inversion for Vectorless Power Grid Verification by Exploiting Locality
    Yang, Jianlei
    Cai, Yici
    Zhou, Qiang
    Zhao, Wei
    2013 IEEE 31ST INTERNATIONAL CONFERENCE ON COMPUTER DESIGN (ICCD), 2013, : 257 - 263
  • [14] Unleashing the Power of Graph Spectral Sparsification for Power Grid Analysis via Incomplete Cholesky Factorization
    Li, Chunqiao
    An, Chengtao
    Gao, Zhengqi
    Yang, Fan
    Su, Yangfeng
    Zeng, Xuan
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2023, 42 (09) : 3053 - 3066
  • [15] Fast Vectorless Power Grid Verification Under an RLC Model
    Ghani, Nahi H. Abdul
    Najm, Farid N.
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2011, 30 (05) : 691 - 703
  • [16] Transient Noise Bounds using Vectorless Power Grid Verification
    Gupte, Naval
    Wang, Jia
    2015 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2015, : 713 - 720
  • [17] Incremental partitioning-based vectorless power grid verification
    Kouroussis, D
    Ferzli, IA
    Najm, FN
    ICCAD-2005: INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN, DIGEST OF TECHNICAL PAPERS, 2005, : 358 - 364
  • [18] Fast Vectorless Power Grid Verification Using an Approximate Inverse Technique
    Ghani, Nahi H. Abdul
    Najm, Farid N.
    DAC: 2009 46TH ACM/IEEE DESIGN AUTOMATION CONFERENCE, VOLS 1 AND 2, 2009, : 184 - 189
  • [19] Vectorless Transient Power Grid Verification: A Case Study with IBM Benchmarks
    Xiong, Xuanxing
    Wang, Jia
    2015 IEEE SYMPOSIUM ON ELECTROMAGNETIC COMPATIBILITY AND SIGNAL INTEGRITY, 2015, : 271 - 276
  • [20] Power grid voltage integrity verification
    Nizam, M
    Najm, FN
    Devgan, A
    ISLPED '05: PROCEEDINGS OF THE 2005 INTERNATIONAL SYMPOSIUM ON LOW POWER ELECTRONICS AND DESIGN, 2005, : 239 - 244