Abstract:Subcircuit identification finds wide applications in logic synthesis, physical design, and design verification. With the continuous increase in the scale of integrated circuits, the exploration of efficient identification algorithms has become a key issue. By modeling circuits as graphs, subcircuit identification can be formulated as a subgraph isomorphism problem. Previous efforts either use combinatorial methods to search for isomorphic subgraphs node-by-node, or perform learning-based methods by extracting the structural graph features using vanilla graph neural networks (GNNs). These methods either suffer from slow matching speeds or low accuracy, failing to meet the requirements of large-scale tasks. In this work, we propose a fast and accurate subgraph matching framework for large-scale circuit identification. Firstly, we propose a hypergraph representation method to capture the structure and device attributes of the circuit efficiently. Secondly, we develop an approximate matching method based on a hypergraph convolutional network (HGCN), enhanced with multiple techniques to improve the accuracy and matching speed. Finally, the potential isomorphic subgraphs identified by our HGCN method are further verified by an exact matching method. Our framework outperforms previous graph learning methods by achieving a 16.46% improvement in accuracy. Compared to exact matching methods, our identification framework demonstrates over a 20.29x speedup in matching time while maintaining high accuracy.

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

IDENTIFICATION OF ISOMORPHIC HYBRID SWITCHING TOPOLOGY

Combinational Equivalence Checking Based on Circuit Topology Analysis

Identifiability and Identification of Switching Dynamical Networks: A Data-Based Approach

MSH: A Multi-Stage HiZ-Aware Homotopy Framework for Nonlinear DC Analysis

FAULT DIAGNOSIS FOR POWER ELECTRONIC CIRCUITS BASED ON HYBRID SYSTEM THEORYAND EVENT IDENTIFICATION

LioeSim: A Network Simulator for Hybrid Opto-Electronic Networks-on-Chip Analysis

Simulation approach of hybrid optical-electrical on-chip interconnects for multicore systems

Enhancing Short-Circuit Current Calculation in Active Distribution Networks Through Fusing Superposition Theorem and Data-Driven Approach

An Interface Algorithm in Power System Electromechanical Transient and Electromagnetic Transient Hybrid Simulation

A Hybrid Direct-Iterative Parallel Matrix Solving Algorithm for Post Layout Circuit Simulation

Design and Implementation of Reconfigurable Array Adaptive Optoelectronic Hybrid Interconnect Shunting Network

Topology searching algorithm for multi-port hybrid circuit breakers based on graph theory

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

Efficient Subgraph Matching Framework for Fast Subcircuit Identification

A Non-Iterative Switching Status Combination Judgement Algorithm for Half-Bridge Sub-Circuit Based Voltage-Source Converters in EMTP-type Simulation Program

A Novel Impedance Compensation Algorithm for Improving the Stability of Digital-Physical Hybrid Simulation.

An optimization-based approach to automated design

Isomorphism Detection of Kinematic Chains Based on the Improved Circuit Simulation Method

Hybrid Field-Circuit Simulation By Coupling Dgtd With Behavioral Macromodel

Automated Technology Migration Methodology for Mixed-Signal Circuit Based on Multistart Optimization Framework