| 講演名 | 2010-12-01 スキュー調整性のための順序彩色資源割り当てのILP解法(高位設計2,デザインガイア2010-VLSI設計の新しい大地-) 金子 峰雄, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 製造時遅延バラツキに対処するためのスキュー調整機能を持つデータパス回路に関して、タイミング・スキュー調整成功確率の観点からの一高位合成手法(資源割り当て手法)を提案する。タイミング・スキュー調整成功確率の最大化は遅延ばらつきを考慮したスキュー制約グラフ(辺重みが統計的にばらつく有向グラフ)が正サイクルを持つ確率を最小化する問題となるが、これを正値になり易い辺のみから成るサイクルを最小化する問題に置き換えることにより、資源割り当て問題を選択的順序付頂点彩色問題に帰着する。次いで、一般の順序付頂点彩色問題のNP困難性に鑑み、この問題を整数線形計画法にて解いている。 |
| 抄録(英) | This paper proposes a novel high level synthesis for post-silicon skew adjustable datapaths. Our objective is to maximize the "skew adjustability", i.e. the probability of the success of skew adjustment under a given statistical distribution of delay variations, which can be reduced to the probability for a weighted directed graph to have no positive cycle. Since the computation of the skew adjustability is intractable, the original problem is transformed into "selective ordered coloring problem", which tries to minimize hazardous cycles instead of a precise computation of the skew adjustability. An ILP formulation of the selective ordered coloring approach is also presented. |
| キーワード(和) | 遅延ばらつき / スキュー / 高位合成 / 資源割当 / 順序付グラフ色彩 / 整数線形計画 |
| キーワード(英) | Delay variation / timing skew / high level synthesis / graph coloring / resource binding / integer linear programming |
| 資料番号 | VLD2010-75,DC2010-42 |
| 発行日 |
| 研究会情報 | |
| 研究会 | DC |
|---|---|
| 開催期間 | 2010/11/22(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Dependable Computing (DC) |
|---|---|
| 本文の言語 | ENG |
| タイトル（和） | スキュー調整性のための順序彩色資源割り当てのILP解法(高位設計2,デザインガイア2010-VLSI設計の新しい大地-) |
| サブタイトル（和） | |
| タイトル（英） | ILP Approach to Extended Ordered Coloring for Skew Adjustability-Aware Resource Binding |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 遅延ばらつき / Delay variation |
| キーワード(2)（和/英） | スキュー / timing skew |
| キーワード(3)（和/英） | 高位合成 / high level synthesis |
| キーワード(4)（和/英） | 資源割当 / graph coloring |
| キーワード(5)（和/英） | 順序付グラフ色彩 / resource binding |
| キーワード(6)（和/英） | 整数線形計画 / integer linear programming |
| 第 1 著者 氏名（和/英） | 金子 峰雄 / Mineo KANEKO |
| 第 1 著者 所属（和/英） | 北陸先端科学技術大学院大学情報科学研究科 Graduate School of Information Science, Japan Advanced Institute of Science and Technology |
| 発表年月日 | 2010-12-01 |
| 資料番号 | VLD2010-75,DC2010-42 |
| 巻番号（vol） | vol.110 |
| 号番号（no） | 317 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |