A GNN-based region ranking plus VF2 verification matches all target circuits in large netlists with lower runtime than VF2 and neural baselines.
Subislands: The probabilistic match assignment algorithm for subcircuit recognition,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
background 1
citation-polarity summary
fields
cs.LG 1years
2025 1verdicts
CONDITIONAL 1roles
background 1polarities
background 1representative citing papers
citing papers explorer
-
Target Circuit Matching in Large-Scale Netlists using GNN-Based Region Prediction
A GNN-based region ranking plus VF2 verification matches all target circuits in large netlists with lower runtime than VF2 and neural baselines.