準ブール充足可能性判定によるクラスタ型VLIW DSPの最適コードスケジューリング

摘要

本稿では，クラスタ型VLIW DSP TMS320C62xのデータパスの詳細やデータ転送演算の挿入まで考慮した最適コードスケジューリングを，準ブール充足可能性判定（以下PBSAT）により求める方法を提案する．ユニット毎のオペランドの非対称性レジスタファイルの記憶容量，および主記憶やレジスタファイル間のデータ転送まで考慮した最適スケジューリング問題を定式化する．PBSATは充足可能性判定に一次不等式の制約を追加したものであり，記憶容量制約を効率的に表現し，かつ本桐のスケジューリング問題の解を高速に求めることができる．