| 講演名 | 2008-03-05 積グラフ探索を利用した実用的なプロトコル変換器の自動合成と検証(システムオンシリコン設計技術並びにこれを活用したVLSI) 石川 悠司, 小松 聡, 藤田 昌宏, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 既存の設計資産を再利用してシステムLSIを設計するためには、異なるオンチップ通信プロトコルの間を変換するプロトコル変換器が必要となる。しかしながら、最新の実用的なプロトコルが扱えない、合成された変換器が信頼できないなどの理由から、プロトコル変換器自動合成はLSIの設計に取り入れられていない。本研究では、積グラフ探索手法を基にして、実用的なプロトコルを扱える変換器自動合成手法を提案する。さらに、合成された変換器の信頼性を高めるための検証手法を併せて提案する。 |
| 抄録(英) | To design system LSIs using existing designs, we need protocol transducers, which convert one on-chip communication protocol into another. However, automatic protocol transducer synthesis methods are not incorporated to design flows of LSIs, because they cannot handle today's practical protocols and generated transducers are not reliable enough. In this paper, we propose an automatic transducer synthesis method which can handle real-life protocols. Our method is based on existing researches of product graph exploration method. Also we propose a verification method to improve reliablity of generated transducers. |
| キーワード(和) | 設計再利用 / オンチップ通信 / プロトコル変換器 / グラフ探索 |
| キーワード(英) | Design Reuse / On-chip Communication / Protocol Transducer / Graph Exploration |
| 資料番号 | VLD2007-137,ICD2007-160 |
| 発行日 |
| 研究会情報 | |
| 研究会 | VLD |
|---|---|
| 開催期間 | 2008/2/27(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | VLSI Design Technologies (VLD) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 積グラフ探索を利用した実用的なプロトコル変換器の自動合成と検証(システムオンシリコン設計技術並びにこれを活用したVLSI) |
| サブタイトル（和） | |
| タイトル（英） | Automatic synthesis and verification of practical protocol transducer based on product graph exploration |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 設計再利用 / Design Reuse |
| キーワード(2)（和/英） | オンチップ通信 / On-chip Communication |
| キーワード(3)（和/英） | プロトコル変換器 / Protocol Transducer |
| キーワード(4)（和/英） | グラフ探索 / Graph Exploration |
| 第 1 著者 氏名（和/英） | 石川 悠司 / Yuji ISHIKAWA |
| 第 1 著者 所属（和/英） | 東京大学大学院工学系研究科電子工学専攻 Department of Electronics Engineering, School of Engineering, University of Tokyo |
| 第 2 著者 氏名（和/英） | 小松 聡 / Satoshi KOMATSU |
| 第 2 著者 所属（和/英） | 東京大学大規模集積システム設計教育研究センター VLSI Design and Education Center, University of Tokyo |
| 第 3 著者 氏名（和/英） | 藤田 昌宏 / Masahiro FUJITA |
| 第 3 著者 所属（和/英） | 東京大学大規模集積システム設計教育研究センター VLSI Design and Education Center, University of Tokyo |
| 発表年月日 | 2008-03-05 |
| 資料番号 | VLD2007-137,ICD2007-160 |
| 巻番号（vol） | vol.107 |
| 号番号（no） | 506 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |