Abstract:Equations system constructors of hierarchical circuits play a central role in device modeling, nonlinear equations solving, and circuit design automation. However, existing constructors present limitations in applications to different extents. For example, the costs of developing and reusing device models -- especially coarse-grained equivalent models of circuit modules -- remain high while parameter sensitivity analysis is complex and inefficient. Inspired by differentiable programming and leveraging the ecosystem benefits of open-source software, we propose an equations system constructor using the computational graph representation, along with its JSON format netlist, to address these limitations. This representation allows for runtime dependencies between signals and subcircuit/device parameters. The proposed method streamlines the model development process and facilitates end-to-end computation of gradients of equations remainders with respect to parameters. This paper discusses in detail the overarching concept of hierarchical subcircuit/device decomposition and nested invocation by drawing parallels to functions in programming languages, and introduces rules for parameters passing and gradient propagation across hierarchical circuit modules. The presented numerical examples, including (1) an uncoupled CMOS model representation using "equivalent circuit decomposition+dynamic parameters" and (2) operational amplifier (OpAmp) auto device sizing, have demonstrated that the proposed method supports circuit simulation and design and particularly subcircuit modeling with improved efficiency, simplicity, and decoupling compared to existing techniques.

Schematic Comparison Method Based on Tree Structure

Automated Analysis of Differences in the Functionality and Performance of 3D CAD Systems for Collaborative Design

Combinational Equivalence Checking Based on Circuit Topology Analysis

A New Method for Power-Aware Signal Integrity Analysis with Spice Model of Power Distribution Network

A Physics-Aware Methodology for Equivalent Circuit Model Extraction of TSV-inductors

Combinational equivalence checking method based on universal cut and special cut

Variant X-Tree Clock Distribution Network and Its Performance Evaluations.

Application of Optimized Circuit Simulation--Identiifcation of Isomorphic Hybrid Switching

Incremental Circuit Simulation Analysis for Design Modification and Verification

Array Based HV/VH Tree: an Effective Data Structure for Layout Representation.

A Statistical Equivalent Circuit Modelling Based On Measured And De-Embedded S-Parameters

Automated analog circuits symmetrical layout constraint extraction by partition

A Fast Simulating Algorithm for Power/ground Network with Tree Mesh Hybrid Structure

Specification Comparison and Circuit Optimization for Mixed-signal Validation

Computational Graph Representation of Equations System Constructors in Hierarchical Circuit Simulation

Dccb And Scc Based Fast Circuit Partition Algorithm For Parallel Spice Simulation

A layout transformation method for the high-precision parasitic extraction and timing analysis of VLSI interconnects

ProDiff: A Process Difference Detection Method Based on Hierarchical Decomposition

Accelerating Logic Rewiring Using Implication Analysis Tree.

DesignDiff: Continuously Modeling Software Design Difference from Code Revisions.

Efficient Circuit Structure Analysis for Automatic Behavioral Model Generation in Mixed-Signal System Simulation