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).

Lightweight Noise Detection

Leveraging Code Snippets to Detect Variations in the Performance of HPC Systems

vSensor: leveraging fixed-workload snippets of programs for performance variance detection.

Vs Ensor

Detecting Performance Variance for Parallel Applications Without Source Code

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

Varcatcher: A Framework for Tackling Performance Variability of Parallel Workloads on Multi-Core

VAPRO: Performance Variance Detection and Diagnosis for Production-Run Parallel Applications

Time-sharing Parallel Applications Through Performance-Targeted Feedback-Controlled Real-Time Scheduling.

GVARP: Detecting Performance Variance on Large-Scale Heterogeneous Systems

HPC System Software Enhanced by Source Code Analysis

An Online Performance Anomaly Detector in Cluster File Systems

Design and Evaluation of an Online Anomaly Detector for Distributed Storage Systems.

Lightweight detection and recovery mechanisms to extend algorithm resiliency in noisy computation

Quantification and Analysis of Performance Fluctuation in Distributed File System

Efficient Detection of Silent Data Corruption in HPC Applications with Synchronization-Free Message Verification

Timing Performance Benchmarking of Out-of-Distribution Detection Algorithms

NO2: Speeding Up Parallel Processing of Massive Compute-Intensive Tasks

Prediction of High-Performance Computing Input/Output Variability and Its Application to Optimization for System Configurations

Identifying Scalability Bottlenecks for Large-Scale Parallel Programs with Graph Analysis

Predicting the Performance-Cost Trade-off of Applications Across Multiple Systems