Abstract:The relentless pursuit of energy-efficient electronic devices necessitates advanced methodologies for low-power design verification, with a particular focus on mitigating power supply noise. The challenges posed by shrinking voltage margins in low-power designs lead to a significant demand for rapid and accurate power supply noise simulation and verification techniques. Too large supply noise inevitably results in the raise of supply level, thereby hurting the lower power design target. Spectral methods have demonstrated as a great alternative to produce a sparse sub-matrix with spectral-similarity property as the preconditioner to efficiently reduce the iteration number and solve the linear system for supply noise verification. However, existing methods either suffer from high computational complexity or rely on approximations to reduce computational time. Therefore, a novel approach is needed to efficiently generate high-quality preconditioners. In this paper, we propose a two-stage spectral-aware algorithm to address these challenges. Our approach has three main highlights. Firstly, by introducing spectral-aware weights, we can better assess the priority of edges and construct high-quality spanning trees with the minimum relative condition number. Secondly, by leveraging eigenvalue transformation strategies, we can quickly and accurately recover off-tree edges that are spectrally critical, avoiding time-consuming iterative computations. Thirdly, we proposed a fast computation method to further decrease the computational complexity of the effective resistance. Compared with two SOTA methods, GRASS and feGRASS, our approach demonstrates higher accuracy and efficiency in preconditioner generation (37.3x and 2.13x speedup, respectively) as well as significant improvements in accelerating the linear solver for power supply noise analysis in power grid simulation and other Laplacian graphs (5.16x and 1.70x speedup, respectively).

Statistical Modeling and Analysis of Chip-Level Leakage Power by Spectral Stochastic Method

Statistical analysis of full-chip leakage power for 65nm CMOS node and beyond

Full-Chip Leakage Analysis for 65 Nm Cmos Technology and Beyond

Statistical Analysis of On-Chip Power Delivery Networks Considering Lognormal Leakage Current Variations with Spatial Correlation

Efficient Full-Chip Statistical Leakage Analysis Based on Fast Matrix Vector Product.

Statistical Analysis of Full-Chip Leakage Power Considering Junction Tunneling Leakage

An efficient algorithm for modeling spatially-correlated process variation in statistical full-chip leakage analysis.

Run-time Demand Estimation and Modulation of On-Chip Decaps at System Level for Leakage Power Reduction in Multicore Chips

Full-Chip Leakage Analysis In Nano-Scale Technologies: Mechanisms, Variation Sources, And Verification

Temperature-Aware Leakage Estimation Using Piecewise Linear Power Models

Gate Leakage Analysis of Nano-MOSFETs Using Ensemble Full Band Monte Carlo with Quantum Correction

A statistical approach for full-chip gate-oxide reliability analysis

Efficient Spectral-Aware Power Supply Noise Analysis for Low-Power Design Verification

Study on leakage power estimation and reduction methodology of CMOS circuit

A Silicon-Validated Methodology for Power Delivery Modeling and Simulation

Stochastic Extended Krylov Subspace Method for Variational Analysis of On-Chip Power Grid Networks

A Leakage Power Estimation Method for Standard Cell Based Design

Leakage Power Analysis and Estimation in SRAMs

Accurate Temperature-Dependent Integrated Circuit Leakage Power Estimation is Easy

Full-Chip Leakage Verification for Manufacturing Considering Process Variations

VSF: A Leakage Power Evaluation Model for CMOS Combinational Circuits