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.

Recursive Clustering Algorithm for Isomorphism Checking of Combinational Circuits

Combinational Equivalence Checking Based on Circuit Topology Analysis

Analyze and Design Network Architectures by Recursion Formulas

Complexity issues in some clustering problems in combinatorial circuits

Algorithm based on compressed improved maze-algorithm for isomorphic subcircuit recognition

A Novel Algorithm for Circuit Partitioning at Transistor Level

Efficient Subgraph Matching Framework for Fast Subcircuit Identification

Analytical Clustering Score with Application to Postplacement Register Clustering

2-D Hierarchical Compaction Algorithm for VLSI Layout Reuse

System partitioning on MCM using a new neural network model

An Improved Structure-Preserving Reduced-Order Interconnect Macromodeling for Large-Scale Equation Sets of Transient Interconnect Circuit Problems

Synthesis and verification of cyclic combinational circuits

Equivalence Checking Using Independent Cuts

Sequential Equivalence Checking Algorithm Using States Caching

Hierarchical Model Checking Based on Modules

A fast recursive detailed routing algorithm for hierarchical FPGAs

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

Model Checking on Clock Domain Crossing Design of System-on-Chip

A THEORETICAL ANALYSIS OF RECIPROCAL ITERATIVE ALGORITHM AND A DISCUSSION OF ITS SCHEMES

Analytical Clustering Score with Application to Post-Placement Multi-Bit Flip-Flop Merging.

Cluster Generation Algorithm for Hierarchical Networks-on-Chip Architecture