[論文レビュー] An O(bn^2) Time Algorithm for Optimal Buffer Insertion with b Buffer Types

Zhuo Li, Weiping Shi|arXiv (Cornell University)|Oct 25, 2007

Low-power high-performance VLSI design参考文献 1被引用数 7

ひとこと要約

この論文は、b種類のバッファを用いた最適バッファ挿入のためのO(bn²)時間アルゴリズムを提示している。これは、候補バッファの(Q,C)ペアにおける凸包の性質を活用することで、従来のO(b²n²)の複雑度を改善したものである。この手法は産業界のベンチマークにおいて、数個のオーダーの高速化を達成し、大規模なバッファライブラリを備えた現代の設計における効率的なバッファ挿入を可能にしている。

ABSTRACT

Buffer insertion is a popular technique to reduce the in-terconnect delay. The classic buffer insertion algorithm of van Ginneken has time complexity O(n2), where n is the number of buffer positions. Lillis, Cheng and Lin extended van Ginneken’s algorithm to allow b buffer types in time O(b2n2). For modern design libraries that contain hun-dreds of buffers, it is a serious challenge to balance the speed and performance of the buffer insertion algorithm. In this paper, we present a new algorithm that computes the optimal buffer insertion in O(bn2) time. The reduction is achieved by the observation that the (Q,C) pairs of the candidates that generate the new candidates must form a convex hull. On industrial test cases, the new algorithm is faster than the previous best buffer insertion algorithms by orders of magnitude. 1.

研究の動機と目的

• 大規模なバッファライブラリ（数百種類のタイプを含む）を備えた現代のVLSI設計におけるバッファ挿入の性能ボトルネックを解消すること。
• 最適バッファ挿入の時間計算量をO(b²n²)からO(bn²)に低減させつつ、最適性を維持すること。
• 候補生成プロセスの最適化を通じて、産業規模の設計における実用的でスケーラブルなバッファ挿入を可能にすること。

提案手法

• アルゴリズムは、候補バッファの電荷(Q)と静電容量(C)のペア(Q,C)を分析することで、最適なバッファ挿入位置を同定する。
• 支配される(Q,C)ペアを削除するために凸包最適化を適用し、冗長な候補評価を低減する。
• 各セグメントに対して最良のバッファを効率的に計算するために、動的凸包を維持する。
• ヴァン・ギニケンのアルゴリズムの動的計画法フレームワークに、凸包データ構造を統合する。
• バッファタイプを段階的に処理し、各ステップで凸包を更新することで最適な候補を維持する。
• 全体の構造はヴァン・ギニケンのO(n²)フレームワークを再利用するが、幾何的最適化によりbバッファ拡張を高速化する。

実験結果

リサーチクエスチョン

• RQ1 b種類のバッファタイプを用いた最適バッファ挿入の時間計算量をO(b²n²)未満に低下させることは可能か？
• RQ2 Q,Cペアの幾何的性質を活用して、冗長な候補評価を削減することは可能か？
• RQ3 凸包最適化は産業的バッファ挿入ワークロードにおいて実用的な高速化を実現するか？
• RQ4 実世界の設計において顕著な性能向上を達成しつつ、最適性を維持できるか？

主な発見

• 提案手法はO(bn²)の時間計算量を達成し、従来のO(b²n²)の境界に対して顕著な改善を示している。
• 従来手法と比較して、産業用テストケースにおいて実行時間を数個のオーダー単位で短縮している。
• 凸包最適化の活用により、非最適な(Q,C)ペアが効果的に除外され、候補評価が高速化されている。
• バッファタイプ数bと効率的にスケーリングしながらも、正確な最適性を維持している。
• 数百種類のバッファタイプを含む現代の設計においても、実用的であることが確認された。
• 実験的結果から、実世界の応用において顕著な高速化が得られ、大規模なスケールでの最適バッファ挿入が現実可能であることが裏付けられている。