Item type |
SIG Technical Reports(1) |
公開日 |
2017-05-03 |
タイトル |
|
|
タイトル |
RTL設計時のECOのためのテンプレートを用いたC記述合成手法 |
タイトル |
|
|
言語 |
en |
|
タイトル |
Template-based C Description Generation after EGO at RTL Design Stage |
言語 |
|
|
言語 |
eng |
キーワード |
|
|
主題Scheme |
Other |
|
主題 |
LSI設計一般 |
資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_18gh |
|
資源タイプ |
technical report |
著者所属 |
|
|
|
東京大学工学系研究科電気系工学専攻 |
著者所属 |
|
|
|
東京大学工学系研究科電気系工学専攻 |
著者所属 |
|
|
|
東京大学工学系研究科電気系工学専攻 |
著者所属 |
|
|
|
東京大学大規模集積システム設計教育研究センタ- |
著者所属(英) |
|
|
|
en |
|
|
Dept. of Electrical Engineering and Information Systems, The University of Tokyo |
著者所属(英) |
|
|
|
en |
|
|
Dept. of Electrical Engineering and Information Systems, The University of Tokyo |
著者所属(英) |
|
|
|
en |
|
|
Dept. of Electrical Engineering and Information Systems, The University of Tokyo |
著者所属(英) |
|
|
|
en |
|
|
VLSI Design and Education Center, The University of Tokyo |
著者名 |
王, 勤浩
木村, 悠介
ガラバギ, アミル マスード
藤田, 昌宏
|
著者名(英) |
Qinhao, Wang
Yusuke, Kimura
Amir, Masoud Gharehbaghi
Masahiro, Fujita
|
論文抄録 |
|
|
内容記述タイプ |
Other |
|
内容記述 |
C 言語ベース設計において,レジスタ転送レベル (RTL) 設計時にエンジニアリング ・ チェンジ ・ オーダー (ECO) が発生し,論理が変更された場合,ECO 後の RTL に対応する C 記述を作成する必要がある.従来は人手で作成されているが,本研究では,テンプレートを用いて C 記述を自動的に生成する手法を提案する.ここでテンプレートとは,元の C 記述の一部をプログラム変数,定数,演算子,およびその他を用いてパラメータ化してプログラム可能な文に置き換えたものを指す.パラメータ値を適切な値にすることで,テンプレートと RTL 設計とを等価にする問題は,Quantified Boolean Formula (QBF) 問題として定式化でき,インクリメンタルな SAT ソルバーを使って解くことができる.本論文では,提案手法における処理の流れと初期的な実験結果について説明する. |
論文抄録(英) |
|
|
内容記述タイプ |
Other |
|
内容記述 |
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. |
書誌レコードID |
|
|
収録物識別子タイプ |
NCID |
|
収録物識別子 |
AA11451459 |
書誌情報 |
研究報告システムとLSIの設計技術(SLDM)
巻 2017-SLDM-180,
号 1,
p. 1-6,
発行日 2017-05-03
|
ISSN |
|
|
収録物識別子タイプ |
ISSN |
|
収録物識別子 |
2188-8639 |
Notice |
|
|
|
SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. |
出版者 |
|
|
言語 |
ja |
|
出版者 |
情報処理学会 |