スキュー調整を考慮した高位合成のMILP定式化

摘要

動作向上のために積極的にクロックスキューを利用する回路設計が提案されている．しかし，クロックスキュー調整による動作速度の向上は，スケジューリング及び資源割り当て結果によって変化する．本稿では，演算スケジューリング，資源割り当て，スキュースケジューリングを同時に最適化する高位合成問題に対する，混合整数線形計画問題（MILP）定式化を提案し，スキュー調整を考慮した回路最適化を可能とした．定式化の中で，演算ステップの非固定化，資源割り当てに依存して変化するマルチプレクサの結線数に応じたマルチプレクサ遅延の導入などによって，現実的かつより良い解の導出を目指した．