アーカイブ / Generative AI
圧縮木と加算器を生成し、合成後の遅延・面積で乗算器を探すAC-Refiner
AC-Refiner
AC-Refinerの原論文から掲載した図です。細部はクリックして拡大できます。
原論文の図の説明を読む
Fig. 1: (a) Image generation with conditional diffusion model. (b) AC-Refiner represents arithmetic circuits similar to images, and conditionally samples circuit designs with desired properties, enabling efficient optimization.
概要
- 圧縮木と最終段の加算器を配列で表し、拡散モデルで乗算器の構造候補を生成する。
- 遅延・面積の予測で生成を誘導し、設計規則の修正と合成評価後の再学習を行う。
- 著者らは報告された合成条件で、ArithmeticTree比の遅延最大15％減、面積最大10％減を示した。
補足：編集した模式図で仕組みを確認する
VISUAL EXPLAINER
図でつかむ、AC-Refinerの仕組み
- 01乗算器の設計例と目標値
- 02回路構造の生成
- 03設計規則の修正
- 04RTL化と合成
- 05遅延・面積付き候補
原論文の説明をもとにした模式図です。処理の細部は省略しています。
研究の背景
AC-Refinerは、デジタル回路で掛け算を担う乗算器の構造を探す。乗算器は信号処理やニューラルネットワークの計算に使われ、その遅延、消費電力、回路面積はシステムの設計に関わる。
入力のビット幅が増えるほど構造の候補は急増する。また、論理段数などの理論値だけでは、配線の混雑や信号の負荷を受ける実装後の性能を捉えにくい。限られた評価回数で有望な設計を見つけることが課題だ。
手法
掛け算の途中で生じる値を減らす「圧縮木」と、残った値を足す最終段の「加算器」を配列で表す。拡散モデルは配列に加えたノイズを取り除く学習を行い、生成時にはノイズから回路候補を作る。遅延・面積の予測モデルが、指定した目標値へ近づく方向に生成を誘導する。
例えば対象のビット幅と目標値を与え、生成した圧縮木と加算器の設計規則違反を修正する。候補をRTLという回路記述に変換し、一部を合成して遅延・面積を測る。得られた設計と測定値を次の学習に加え、探索を繰り返す。
新規性
著者らは、乗算器の圧縮木と最終段の加算器を画像に似た配列で表し、目標とする合成後の遅延・面積に向けて拡散モデルの生成過程を誘導する。配列で生成した構造には設計規則を満たすための修正を施す。
評価した候補のうち良い設計を次の学習に加え、探索を繰り返す点も提案の一部だ。個々の構造の生成から合成評価後の再学習までを、乗算器の探索手順としてつないでいる。
従来手法との違い
比較対象は手設計のWallace乗算器、整数計画法を使うGOMIL、強化学習を使うRL-MULとArithmeticTreeである。強化学習は、設計と評価を繰り返して選択方法を学ぶ手法を指す。
本文によると、RL-MULは列ごとの圧縮器数を変更し、AC-Refinerは段ごとの配置と最終段の加算器も扱う。ArithmeticTreeはゲートを一つずつ配置する。遅延と面積の優劣は、報告された合成条件での比較として読む必要がある。
実験結果
著者らはWallace乗算器、GOMIL、RL-MUL、ArithmeticTreeと比較した。YosysとOpenROAD、NanGate 45nmのライブラリを用い、各手法から選んだ乗算器を目標遅延0～2nsの範囲で合成し、合成後の遅延と面積の関係を調べた。
著者らはArithmeticTree比で遅延最大15％減、面積最大10％減を報告する。各指標の最大値であり、同じ設計で同時に達成した値とは示されていない。合成ツールの呼び出しは計3000回で、RL-MULとArithmeticTreeにそろえた条件だ。
応用の可能性
編集上の応用案 · 論文が実証した用途とは区別しています。
編集上の応用案：固定小数点の積和演算器に使う乗算器を選ぶ。入力には対象のビット幅、既存の乗算器設計、圧縮木と加算器の学習用設計群、同一条件で合成して得た遅延・面積のラベルが要る。外部センサーの入力は想定しない。
対象回路に合わせて設計の表現と修正規則を調整し、生成候補をRTLへ変換して合成する。出力は遅延・面積と機能検証結果を添えた候補一覧とし、演算器全体での採用効果は別途確かめる。
応用先の候補からNauhに相談できます。
導入時の検証
導入時の検証案 · 対象データでの再評価が必要です。
導入時の検証案：対象のビット幅と既存乗算器を決め、圧縮木・加算器の設計例を学習用に集める。同じ合成条件で各設計の遅延・面積ラベルを作り、対象に合わせて配列表現と設計規則の修正手順を調整する。追加の外部センサーは想定しない。
既存設計を基準に、候補の有効率、修正時間、合成回数、合成後の遅延と面積を記録する。候補をRTLに変換して乗算機能の一致を検証し、目標遅延を変えた場合も比較する。
限界と課題
著者らは、目標値へ強く誘導すると生成構造が無効になり得ると説明し、設計規則違反の修正を組み込んでいる。圧縮木の修正では、違反を直ちに減らせない場合に迂回操作を選ぶことも記している。
編集上の検証事項は、対象のビット幅や設計条件を変えたときの有効候補率、修正時間、合成後の遅延と面積である。応用先への組み込みに関する結果の詳細は、確認できた本文の範囲では判断できない。
出典
元のタイトル・要旨を確認する（英語）
AC-Refiner: Efficient Arithmetic Circuit Optimization Using Conditional Diffusion Models
Arithmetic circuits, such as adders and multipliers, are fundamental components of digital systems, directly impacting the performance, power efficiency, and area footprint. However, optimizing these circuits remains challenging due to the vast design space and complex physical constraints. While recent deep learning-based approaches have shown promise, they struggle to consistently explore high-potential design variants, limiting their optimization efficiency. To address this challenge, we propose AC-Refiner, a novel arithmetic circuit optimization framework leveraging conditional diffusion models. Our key insight is to reframe arithmetic circuit synthesis as a conditional image generation task. By carefully conditioning the denoising diffusion process on target quality-of-results (QoRs), AC-Refiner consistently produces high-quality circuit designs. Furthermore, the explored designs are used to fine-tune the diffusion model, which focuses the exploration near the Pareto frontier. Experimental results demonstrate that AC-Refiner generates designs with superior Pareto optimality, outperforming state-of-the-art baselines. The performance gain is further validated by integrating AC-Refiner into practical applications.
論文本体の取得範囲に基づく解説。AIが作成した未校閲の記事です。性能の数値は著者の評価条件に依存します。応用例と検証計画は編集上の提案です。解説更新：2026-10-01