| 講演名 | 2007-01-18 準ブール充足可能性判定によるクラスタ型VLIW DSPの最適コードスケジューリング(FPGAとその応用及び一般) 小林 涼, 益井 勇気, 石浦 菜岐佐, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 本稿では,クラスタ型VLIW DSP TMS320C62xのデータパスの詳細やデータ転送演算の挿入まで考慮した最適コードスケジューリングを,準ブール充足可能性判定(以下PBSAT)により求める方法を提案する.ユニット毎のオペランドの非対称性,レジスタファイルの記憶容量,および主記憶やレジスタファイル間のデータ転送まで考慮した最適スケジューリング問題を定式化する.PBSATは充足可能性判定に一次不等式の制約を追加したものであり,記憶容量制約を効率的に表現し,かつ本稿のスケジューリング問題の解を高速に求めることができる. |
| 抄録(英) | This paper proposes a method of finding optimum code scheduling for clustered VLIW DSP TMS320C62x considering the detailed configuration of its datapath and insertion of data transfer operations using Pseudo Boolean Satisfiability (PBSAT). We formulate an optimum code scheduling problem which takes the operand assymmetry for each unit, the capacity of the registerfiles, and the data transfer operations among the main memory and the registerfiles into account. PBSAT is an extension of the Boolean satisfiability problem (SAT) which can deal with linear inequality constraints. It enable us to express the registerfile capacity constraints succinctly and to solve the scheduling problem efficiently. |
| キーワード(和) | 準ブール充足可能性判定 / クラスタ型VLIW DSP / コードスケジューリング / TMS320C62x |
| キーワード(英) | Pseudo Boolean Satisfiability / clustered VLIW DSP / code scheduling / TMS320C62x |
| 資料番号 | VLD2006-94,CPSY2006-65,RECONF2006-65 |
| 発行日 |
| 研究会情報 | |
| 研究会 | VLD |
|---|---|
| 開催期間 | 2007/1/11(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | VLSI Design Technologies (VLD) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 準ブール充足可能性判定によるクラスタ型VLIW DSPの最適コードスケジューリング(FPGAとその応用及び一般) |
| サブタイトル（和） | |
| タイトル（英） | Optimum Code Scheduling for Clustered VLIW DSP Using Pseudo Boolean Satisfiability |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 準ブール充足可能性判定 / Pseudo Boolean Satisfiability |
| キーワード(2)（和/英） | クラスタ型VLIW DSP / clustered VLIW DSP |
| キーワード(3)（和/英） | コードスケジューリング / code scheduling |
| キーワード(4)（和/英） | TMS320C62x / TMS320C62x |
| 第 1 著者 氏名（和/英） | 小林 涼 / Ryo KOBAYASHI |
| 第 1 著者 所属（和/英） | 関西学院大学 理工学部 Kwansei Gakuin University |
| 第 2 著者 氏名（和/英） | 益井 勇気 / Yuki MASUI |
| 第 2 著者 所属（和/英） | 関西学院大学 理工学部 Kwansei Gakuin University |
| 第 3 著者 氏名（和/英） | 石浦 菜岐佐 / Nagisa ISHIURA |
| 第 3 著者 所属（和/英） | 関西学院大学 理工学部 Kwansei Gakuin University |
| 発表年月日 | 2007-01-18 |
| 資料番号 | VLD2006-94,CPSY2006-65,RECONF2006-65 |
| 巻番号（vol） | vol.106 |
| 号番号（no） | 454 |
| ページ範囲 | pp.- |
| ページ数 | 5 |
| 発行日 | |