Abstract:In recent years, the continued miniaturization of VLSI circuits leads to the need for more efficient simulation of large-scale linear dynamical systems with ever-increasing state-space dimension. The linear dynamical systems in VLSI circuit simulation are RC or RCL models of the VLSI circuit's interconnected system. Model-order reduction is an important technique to reduce such a high complexity. Along the technology scaling, the indetermination in the manufacturing process causes variations in the critical dimensions and interlevel dielectric thickness of interconnects, which could make the system performance unpredictable and produce a significant parametric yield loss. An efficient exploitation of these design activities results in a parameterized model-order reduction technique able to reduce large systems of equations with respect to all of the variable parameters of the circuit, (i.e., resistance, capacitance, and inductance). For this purpose, we propose a novel parameterized model-order reduction method for interconnect variation systems, which is based on an efficient and reliable combination of invariable structure-preserving model-order reduction (SPMOR) methods and variable parameter retaining schemes. It is referred to as a parameterized interconnect model-order reduction via structure-preserving algorithm. The SPMOR model yields the same form of the original state equation and preserves the passivity of the parameterized RC and RLC networks, like the well-known passive reduced-order interconnect algorithm for nonparameterized RC and RLC networks. The most important benefit it entails is the ability to preserve the probability characteristic of the original interconnect systems. Pertinent numerical examples are proposed to validate the proposed SPMOR approach.

A Study of Model-Order Reduction Techniques for Verification

Model Order Reduction for High Dimensional Linear Systems Based on Rank-1 Incremental Proper Orthogonal Decomposition.

Parameter Optimization of Reduced Fluid Model Via Sparse Point Measurements.

A Review of Model Order Reduction Methods for Large-Scale Structure Systems

Practical Model Reductions for Verification of Multi-Agent Systems

Power System Dynamic Model Reduction Based on Extended Krylov Subspace Method

Reachability Analysis Of Hybrid Control Systems Using Reduced-Order Models

Structure based model reduction in real-time optimization

Structured Model Order Reduction of System-Level Power Delivery Networks

A Model Order Reduction Algorithm Using Observability Canonical Form

Towards Evaluating Size Reduction Techniques for Software Model Checking

Model order reduction of deep structured state-space models: A system-theoretic approach

CONCURRENT SYSTEM VERIFICATION BASED ON PARTIAL ORDER REDUCTION

Model Optimization Techniques in a Verification Platform for Classified Properties.

Incremental Online Verification Of Dynamic Cyber-Physical Systems

Model order reduction in parallel of discrete-time linear systems based on Meixner and Krawtchouk polynomials

Parallel Model Order Reduction Methods Based on Structured Matrix Analysis for Discrete-Time Systems with Parametric Uncertainty

Model Reduction for Large Scale Systems

Review and analysis of model order reduction techniques for high-dimensional complex systems

Model Reduction for Control System Design

Structure-Preserving-Based Model-Order Reduction of Parameterized Interconnect Systems