| 講演名 | 2017-05-10 RTL設計時のECOのためのテンプレートを用いたC記述合成手法 王 勤浩(東大), 木村 悠介(東大), ガラバギ アミル マスード(東大), 藤田 昌宏(東大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | C言語ベース設計において、レジスタ転送レベル（RTL）設計時にエンジニアリング・チェンジ・オーダー（ECO）が発生し、論理が変更された場合、ECO後のRTLに対応するC 記述を作成する必要がある。従来は人手で作成されているが、本研究では，テンプレートを用いてC 記述を自動的に生成する手法を提案する。ここでテンプレートとは、元のC 記述の一部をプログラム変数，定数，演算子，およびその他を用いてパラメータ化してプログラム可能な文に置き換えたものを指す。パラメータ値を適切な値にすることで、テンプレートとRTL設計とを等価にする問題は、Quantified Boolean Formula （QBF） 問題として定式化でき、インクリメンタルなSATソルバーを使って解くことができる。本論文では、提案手法における処理の流れと初期的な実験結果について説明する。 |
| 抄録(英) | In this paper, we present techniques to automatically generate high-level C description after ECO (Engineering Change Order) at RTL design stage. The modified RTL implementation after ECO is used to generate an equivalent C description with our proposed template-based method. The templates are generated from the original design by replacing one or more statements with symbolic variables, and refined to generate the new C description. The refinement process can be formulated as a QBF (Quantified Boolean Formula) problem, and can be solved by using SAT solver in an incremental way. The experimental results on several practical examples show the effectiveness of the proposed method. |
| キーワード(和) | エンジニアリング・チェンジ・オーダー / 高位合成 |
| キーワード(英) | Engineering Change Order / High-Level Synthesis |
| 資料番号 | VLD2017-1 |
| 発行日 | 2017-05-03 (VLD) |
| 研究会情報 | |
| 研究会 | VLD / IPSJ-SLDM |
|---|---|
| 開催期間 | 2017/5/10(から1日開催) |
| 開催地（和） | 北九州国際会議場 |
| 開催地（英） | Kitakyushu International Conference Center |
| テーマ（和） | システム設計および一般 |
| テーマ（英） | System Design, etc. |
| 委員長氏名（和） | 竹中 崇(NEC) / 浜口 清治(島根大) |
| 委員長氏名（英） | Takashi Takenana(NEC) / Kiyoharu Hamaguchi(Shimane Univ.) |
| 副委員長氏名（和） | 越智 裕之(立命館大) |
| 副委員長氏名（英） | Hiroyuki Ochi(Ritsumeikan Univ.) |
| 幹事氏名（和） | 福田 大輔(富士通研) / 永山 忍(広島市大) / 西出 岳央(東芝) / 高島 康裕(北九州市大) / 許 浩沿(パナソニックセミコンダクタソリューションズ) |
| 幹事氏名（英） | Daisuke Fukuda(Fujitsu Labs.) / Shinobu Nagayama(Hiroshima City Univ.) / Takeo Nishide(Toshiba) / Yasuhiro Takashima(Univ. of Kitakyushu) / Ko Kyo(Panasonic) |
| 幹事補佐氏名（和） | Parizy Matthieu(富士通研) |
| 幹事補佐氏名（英） | Parizy Matthieu(Fujitsu Labs.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on VLSI Design Technologies / Special Interest Group on System and LSI Design Methodology |
|---|---|
| 本文の言語 | ENG-JTITLE |
| タイトル（和） | RTL設計時のECOのためのテンプレートを用いたC記述合成手法 |
| サブタイトル（和） | |
| タイトル（英） | Template-based C Description Generation after ECO at RTL Design Stage |
| サブタイトル（和） | |
| キーワード(1)（和/英） | エンジニアリング・チェンジ・オーダー / Engineering Change Order |
| キーワード(2)（和/英） | 高位合成 / High-Level Synthesis |
| 第 1 著者 氏名（和/英） | 王 勤浩 / Qinhao Wang |
| 第 1 著者 所属（和/英） | 東京大学(略称：東大) The University of Tokyo(略称：UTokyo) |
| 第 2 著者 氏名（和/英） | 木村 悠介 / Yusuke Kimura |
| 第 2 著者 所属（和/英） | 東京大学(略称：東大) The University of Tokyo(略称：UTokyo) |
| 第 3 著者 氏名（和/英） | ガラバギ アミル マスード / Amir Masoud Gharehbaghi |
| 第 3 著者 所属（和/英） | 東京大学(略称：東大) The University of Tokyo(略称：UTokyo) |
| 第 4 著者 氏名（和/英） | 藤田 昌宏 / Masahiro Fujita |
| 第 4 著者 所属（和/英） | 東京大学(略称：東大) The University of Tokyo(略称：UTokyo) |
| 発表年月日 | 2017-05-10 |
| 資料番号 | VLD2017-1 |
| 巻番号（vol） | vol.117 |
| 号番号（no） | VLD-17 |
| ページ範囲 | pp.1-6(VLD), |
| ページ数 | 6 |
| 発行日 | 2017-05-03 (VLD) |