| 講演名 | 2017-03-02 スキュー調整を考慮した高位合成のMILP定式化 志村 甲斐(北陸先端大), 金子 峰雄(北陸先端大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 動作向上のために積極的にクロックスキューを利用する回路設計が提案されている．しかし，クロックスキュー調整による動作速度の向上は，スケジューリング及び資源割り当て結果によって変化する．本稿では，演算スケジューリング，資源割り当て，スキュースケジューリングを同時に最適化する高位合成問題に対する，混合整数線形計画問題(MILP)定式化を提案し，スキュー調整を考慮した回路最適化を可能とした．定式化の中で，演算ステップの非固定化，資源割り当てに依存して変化するマルチプレクサの結線数に応じたマルチプレクサ遅延の導入などによって，現実的かつより良い解の導出を目指した． |
| 抄録(英) | Intentional clock skew is known as one of the promising techniques for enhancing the circuit speed. However, when we try to apply the intentional skew to a datapath circuit for some specific application, the improvement of the operation speed achieved by the intentional skew depends on the operation schedule and the resource binding. Considering the need for skew aware high level synthesis, in this paper, we propose unified Mixed Integer Linear Programming (MILP) formulation which encompasses operation scheduling, resource binding and skew scheduling. Our formulation also includes several unique features such as variable cycle-length execution for operations, binding-dependent multiplexer belong, hold timing constraint considering exactly its binding-dependent activation condition, etc. |
| キーワード(和) | クロックスキュー調整 / 高位合成 / マルチプレクサ / 混合整数線形計画 |
| キーワード(英) | clock skew-aware adjustment / high-level synthesis / multiplexer / Mixed Integer Linear Programming |
| 資料番号 | VLD2016-120 |
| 発行日 | 2017-02-22 (VLD) |
| 研究会情報 | |
| 研究会 | VLD |
|---|---|
| 開催期間 | 2017/3/1(から3日開催) |
| 開催地（和） | 沖縄県青年会館 |
| 開催地（英） | Okinawa Seinen Kaikan |
| テーマ（和） | システムオンシリコンを支える設計技術 |
| テーマ（英） | |
| 委員長氏名（和） | 竹中 崇(NEC) |
| 委員長氏名（英） | Takashi Takenana(NEC) |
| 副委員長氏名（和） | 越智 裕之(立命館大) |
| 副委員長氏名（英） | Hiroyuki Ochi(Ritsumeikan Univ.) |
| 幹事氏名（和） | 福田 大輔(富士通研) / 永山 忍(広島市大) |
| 幹事氏名（英） | Daisuke Fukuda(Fujitsu Labs.) / Shinobu Nagayama(Hiroshima City Univ.) |
| 幹事補佐氏名（和） | Parizy Matthieu(富士通研) |
| 幹事補佐氏名（英） | Parizy Matthieu(Fujitsu Labs.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on VLSI Design Technologies |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | スキュー調整を考慮した高位合成のMILP定式化 |
| サブタイトル（和） | |
| タイトル（英） | MILP Approach to Skew-Aware High Level Synthesis |
| サブタイトル（和） | |
| キーワード(1)（和/英） | クロックスキュー調整 / clock skew-aware adjustment |
| キーワード(2)（和/英） | 高位合成 / high-level synthesis |
| キーワード(3)（和/英） | マルチプレクサ / multiplexer |
| キーワード(4)（和/英） | 混合整数線形計画 / Mixed Integer Linear Programming |
| 第 1 著者 氏名（和/英） | 志村 甲斐 / Kai Shimura |
| 第 1 著者 所属（和/英） | 北陸先端科学技術大学院大学(略称：北陸先端大) Japan Advanced Institute of Science and Technology(略称：JAIST) |
| 第 2 著者 氏名（和/英） | 金子 峰雄 / Mineo Kaneko |
| 第 2 著者 所属（和/英） | 北陸先端科学技術大学院大学(略称：北陸先端大) Japan Advanced Institute of Science and Technology(略称：JAIST) |
| 発表年月日 | 2017-03-02 |
| 資料番号 | VLD2016-120 |
| 巻番号（vol） | vol.116 |
| 号番号（no） | VLD-478 |
| ページ範囲 | pp.97-102(VLD), |
| ページ数 | 6 |
| 発行日 | 2017-02-22 (VLD) |