A Multilevel Spectral Framework for Scalable Vectorless Power/Thermal Integrity Verification
-
Published:2022-12-10
Issue:1
Volume:28
Page:1-25
-
ISSN:1084-4309
-
Container-title:ACM Transactions on Design Automation of Electronic Systems
-
language:en
-
Short-container-title:ACM Trans. Des. Autom. Electron. Syst.
Author:
Zhao Zhiqiang1ORCID,
Feng Zhuo1ORCID
Affiliation:
1. Stevens Institute of Technology, Hoboken, New Jersey, USA
Abstract
Vectorless integrity verification is becoming increasingly critical to the robust design of nanoscale integrated circuits. This article introduces a general vectorless integrity verification framework that allows computing the worst-case voltage drops or temperature (gradient) distributions across the entire chip under a set of local and global workload (power density) constraints. To address the computational challenges introduced by the large power grids and three-dimensional mesh-structured thermal grids, we propose a novel spectral approach for highly scalable vectorless verification of large chip designs by leveraging a hierarchy of almost linear-sized spectral sparsifiers of input grids that can well retain effective resistances between nodes. As a result, the vectorless integrity verification solution obtained on coarse-level problems can effectively help compute the solution of the original problem. Our approach is based on emerging spectral graph theory and graph signal processing techniques, which consists of a graph topology sparsification and graph coarsening phase, an edge weight scaling phase, as well as a solution refinement procedure. Extensive experimental results show that the proposed vectorless verification framework can efficiently and accurately obtain worst-case scenarios in even very large designs.
Funder
National Science Foundation
Publisher
Association for Computing Machinery (ACM)
Subject
Electrical and Electronic Engineering,Computer Graphics and Computer-Aided Design,Computer Science Applications
Reference46 articles.
1. Spectral sparsification of graphs
2. A unifying framework for spectrum-preserving graph sparsification and coarsening;Hermsdorff Gecia Bravo;Advances in Neural Information Processing Systems,2019
3. Graph Coarsening with Neural Networks;Cai Chen;International Conference on Learning Representations,2021
4. Algebraic Distance on Graphs