回路の再合成に合わせてGNNを更新するか事前判断する
ReDIL-GNN: Resynthesis Domain Incremental Learning for Circuit Graph Neural Networks
この論文をやさしく読む
ひとことで言うと
回路の機能が同じでもゲート構成が変わると学習モデルが苦手になるため、更新すべきか、今のモデルを使うか、判断を保留するかを事前に評価します。
何に役立つ？
異なる論理合成フローで作られた回路をGNNで扱う際、過去の性能を維持しつつ新しい構造に対応する運用判断に使うことを想定しています。
この研究の面白いところ
更新手法の比較だけでなく、そもそも更新を支える構造的な情報があるかをRAIで測る点が特徴です。
どこまで分かった？
0.001や0.824はRAIの値で、分類精度や改善率ではありません。要旨は調査したパイプラインの結果を述べていますが、すべての再合成で適応が成功するという保証は示していません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
論理再合成は回路の機能を保ちながら、ゲートの種類、トポロジー、構造統計を変えるため、タスクのラベルを変えずに回路グラフニューラルネットワーク（GNN）にドメインシフトを生じさせる。この設定を研究するため、再合成によるドメイン逐次学習の枠組みReDIL-GNNを導入する。新しい合成様式が現れるにつれて、固定された予測ヘッドまたは表現ヘッドの下で適応を行い、これまでに観測したすべてのドメインで性能保持を評価する。 あらゆる変化に無条件に適応すべきではないため、適応前のスコアである再合成適応可能性指標（RAI）も導入する。これは、適応の必要性、元の回路との等価性の復元可能性、構造的な網羅性、更新の適合性を組み合わせたものである。教師ありのハードウェアセキュリティ課題と表現学習モデルを評価し、分類器にはタスク固有の指標、埋め込みモデルには元の回路との等価性の検索指標を用いる。単純な微調整を、LwF、Online EWC、MAS、ER、A-GEM、DER++、ER+LwF、等価性に基づくリプレイと比較する。 調べたパイプライン全体で、RAIは裏付けの乏しい変化と有望な更新を区別する。値は、構造的にカバーされていないGNN-REのABC-rewriteによる変化の0.001から、元のデータのみを使う最良のGNN-RE適応例の0.824までにわたる。実運用では、ReDIL-GNNは再合成を考慮した回路学習を導入時の制御ループにする。RAIによって更新前に新しい合成フローを調べ、現行モデルの再利用、既存性能の保持を考慮した適応、変化をより十分に扱えるまでの適応延期のいずれを選ぶかを導く。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-16（UTC）
- 最新改訂
- 2026-09-16 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-16 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Logic resynthesis preserves circuit functionality while changing gate vocabulary, topology, and structural statistics, creating domain shift for circuit graph neural networks (GNNs) without changing task labels. To study this setting, we introduce ReDIL-GNN, a resynthesis domain-incremental learning framework that adapts a fixed prediction or representation head as new synthesis styles arrive and evaluates retention on all previously observed domains. Because not every shift should be adapted blindly, ReDIL-GNN further introduces the Resynthesis Adaptability Index (RAI), a pre-adaptation score that combines adaptation need, source-equivalence recoverability, structural coverage, and update compatibility. We evaluate supervised hardware-security tasks and representation-learning models using task-native metrics for classifiers and source-equivalence retrieval metrics for embedding models, comparing naive fine-tuning with LwF, Online EWC, MAS, ER, A-GEM, DER++, ER+LwF, and equivalence-guided replay. Across the studied pipelines, RAI separates unsupported shifts from promising updates, ranging from 0.001 for a structurally uncovered GNN-RE ABC-rewrite shift to 0.824 for the best original-only GNN-RE adaptation case. In practice, ReDIL-GNN turns resynthesis-aware circuit learning into a deployment control loop: RAI screens each new synthesis flow before update, guiding whether to reuse the current model, apply retention-aware adaptation, or defer adaptation until the shift is better supported.
著者のコメント
12 pages
arXiv ID: 2609.18595 ／ 要約の誤りについて