2グラフ制約表現による温度依存クロック·スキュー·スケジュール

摘要

フリップフロップ間の信号伝搬遅延の温度依存性とクロックスキューの温度依存性を同時に考慮したスキュー·スケジュールを行うことにより、指定のクロック周波数の下で、動作可能温度範囲を拡大したり、逆に指定の動作可能温度範囲の下で、クロック周波数を高めることなどが期待される。2グラフ·アプローチは、線形温度依存モデルの性質に立脚し、指定された稼働最低温度におけるタイミング制約を表現する制約グラフ、稼働最高温度におけるタイミング制約を表現するスキュー制約グラフ、両者の間のスキュー値の拘束関係を2つのグラフ間をまたぐ制約辺にて表現した一つの制約グラフを構成し、その上での各頂点への最大バス長を求める問題として捉えるものである。ここで、ある種のスキュー調整制約を2グラフ制約アプローチに沿ってグラフ表現するとき、“乗算辺”による制約表現が必要になることから、乗算辺にて拡張きれた制約グラフに対する解法が必要となる。本稿では、2グラフ制約アプローチにおける乗算辺の取り扱いを含めた実行可能解計算について検討を行った。