| 講演名 | 2009-03-11 冗長化アルゴリズムからの耐故障データパス自動合成(高位・論理合成,システムオンシリコンを支える設計技術) 坪石 優, 金子 峰雄, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 集積回路の動作中に発生する故障に対して様々なアプローチの耐故障化技術が提案されている。本稿ではアルゴリズム三重化をスタート点として、高位合成の枠組みを用いて耐故障性が維持されるよう多数決回路導入、演算スケジュール、資源割当てを行なって耐故障データパス回路を合成する基礎概念の下での設計最適化について論じる。具体的には、多数決演算挿入位置が特定された下での耐故障性を維持した資源制約スケジュール・資源割当て問題に対して、整数線形計画法による厳密解法と、資源割当てを優先して行う発見的手法を提案する。 |
| 抄録(英) | In this paper, we investigate the problem to synthesize a fault-tolerant datapath from a triplicated computation algorithm via high-level synthesis framework. Major tasks of this datapath synthesis are scheduling and resource assignment, both of which are heavily constrained by the requirement of fault-tolerance. We propose two methods to do them, one is a method using integer linear programming (ILP) framework, and the other is a heuristic method. The experimental results show that our heuristic algorithm terminates quickly even for medium and large size problems, and outputs a comparable solution to the ILP-based method, or a reasonable solution which is sufficiently near the lower bound. |
| キーワード(和) | 耐故障 / 冗長化アルゴリズム / 高位合成 / 整数線形計画法 |
| キーワード(英) | fault tolerance / redundancy / high-level synthesis / integer linear programming |
| 資料番号 | VLD2008-132 |
| 発行日 |
| 研究会情報 | |
| 研究会 | VLD |
|---|---|
| 開催期間 | 2009/3/4(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | VLSI Design Technologies (VLD) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 冗長化アルゴリズムからの耐故障データパス自動合成(高位・論理合成,システムオンシリコンを支える設計技術) |
| サブタイトル（和） | |
| タイトル（英） | Fault Tolerant Datapath Synthesis Starting with Triple Algorithmic Redundancy |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 耐故障 / fault tolerance |
| キーワード(2)（和/英） | 冗長化アルゴリズム / redundancy |
| キーワード(3)（和/英） | 高位合成 / high-level synthesis |
| キーワード(4)（和/英） | 整数線形計画法 / integer linear programming |
| 第 1 著者 氏名（和/英） | 坪石 優 / Yutaka TSUBOISHI |
| 第 1 著者 所属（和/英） | 北陸先端科学技術大学院大学 Japan Advanced Institute of Science and Technology |
| 第 2 著者 氏名（和/英） | 金子 峰雄 / Mineo KANEKO |
| 第 2 著者 所属（和/英） | 北陸先端科学技術大学院大学 Japan Advanced Institute of Science and Technology |
| 発表年月日 | 2009-03-11 |
| 資料番号 | VLD2008-132 |
| 巻番号（vol） | vol.108 |
| 号番号（no） | 478 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |