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.

Match and Replace: A Functional ECO Engine for Multierror Circuit Rectification

Match and replace: a functional ECO engine for multi-error circuit rectification

A Robust ECO Engine by Resource-Constraint-aware Technology Mapping and Incremental Routing Optimization

Functional Verification of EPA Chip

Combinational Equivalence Checking Based on Circuit Topology Analysis

Eliminating Timing Errors Through Collaborative Design to Maximize the Throughput

Advanced Parallel Algorithm for System-Level EMC Modeling of High-Speed Electronic Package

2021 CAD Contest Problem A: Functional ECO with Behavioral Change Guidance Invited Paper

Confix: Combining Node-Level Fix Templates and Masked Language Model for Automatic Program Repair

Elixir: Effective object-oriented program repair

Parallel AIG Refactoring via Conflict Breaking

A new error masking flip-flop with one cycle correction penalty

Combining Half Adder Graph for Equivalence Checking of Arithmetic Circuits

MEC: An Open-source Fine-grained Mapping Equivalence Checking Tool for FPGA

SAT-controlled Redundancy Addition and Removal: a Novel Circuit Restructuring Technique

E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis

Computational Graph Representation of Equations System Constructors in Hierarchical Circuit Simulation

EDA-Driven Preprocessing for SAT Solving

LEMAR: A novel length matching routing algorithm for analog and mixed signal circuits

An Event-Driven Parallel Acceleration Real-Time Simulation for Power Electronic Systems Without Simulation Distortion in Circuit Partitioning

Automating Constraint-Aware Datapath Optimization using E-Graphs