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 条
  • [1] Scalable Vectorless Power Grid Current Integrity Verification
    Feng, Zhuo
    [J]. 2013 50TH ACM / EDAC / IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2013,
  • [2] A Spectral Approach to Scalable Vectorless Thermal Integrity Verification
    Zhao, Zhiqiang
    Feng, Zhuo
    [J]. PROCEEDINGS OF THE 2020 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE 2020), 2020, : 412 - 417
  • [3] Scalable Multilevel Vectorless Power Grid Voltage Integrity Verification
    Feng, Zhuo
    [J]. IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, 2013, 21 (08) : 1388 - 1397
  • [4] A Multilevel Spectral Framework for Scalable Vectorless Power/Thermal Integrity Verification
    Zhao, Zhiqiang
    Feng, Zhuo
    [J]. ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2023, 28 (01)
  • [5] feGRASS: Fast and Effective Graph Spectral Sparsification for Scalable Power Grid Analysis
    Liu, Zhiqiang
    Yu, Wenjian
    Feng, Zhuo
    [J]. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2022, 41 (03) : 681 - 694
  • [6] A Selected Inversion Approach for Locality Driven Vectorless Power Grid Verification
    Yang, Jianlei
    Cai, Yici
    Zhou, Qiang
    Zhao, Wei
    [J]. IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, 2015, 23 (11) : 2617 - 2628
  • [7] Constraint Abstraction for Vectorless Power Grid Verification
    Xiong, Xuanxing
    Wang, Jia
    [J]. 2013 50TH ACM / EDAC / IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2013,
  • [8] Overview of Vectorless/Early Power Grid Verification
    Najm, Farid N.
    [J]. 2012 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2012, : 670 - 677
  • [9] pGRASS-Solver: A Parallel Iterative Solver for Scalable Power Grid Analysis Based on Graph Spectral Sparsification
    Liu, Zhiqiang
    Yu, Wenjian
    [J]. 2021 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN (ICCAD), 2021,
  • [10] An Efficient Spectral Graph Sparsification Approach to Scalable Reduction of Large Flip-Chip Power Grids
    Zhao, Xueqian
    Feng, Zhuo
    Zhuo, Cheng
    [J]. 2014 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2014, : 218 - 223