講演名 2003/5/8
C言語でのハードウェア記述に対する効率的な等価性検証手法の提案(システム設計及び一般)
松本 剛史, 齋藤 寛, 藤田 昌宏,
PDFダウンロードページ PDFダウンロードページへ
抄録(和) 本研究では、C言語による2つのハードウェア記述の等価性を効率よく検証するための手法を提案する。本提案手法では、与えられた2つの記述より記述上の差異を特定し、これらの差異に関連のある部分のみを記述から抽出することによって、記号シミュレーションによる等価性検証の効率化を図っている。この研究で提案する手法により、より大規模な設計記述に対して、等価性検証を行うことが可能になる。
抄録(英) In this paper, we propose a verification method to check the equivalence of two given C-based hardware descriptions efficiently. The main idea of the method is to extract away the descriptions as much as possible. For this purpose, textual differences between the descriptions are identified at first. Based on these differences, we extract the codes relevant to these differences by using a program slicer. These extracted codes are then verified by using symbolic simulation. Our proposed method was tested on several examples. Since the size of the descriptions was significantly reduced, our proposed method can verify large descriptions.
キーワード(和) 等価性検証 / C言語ベース設計 / プログラムスライシング / 記号シミュレーション
キーワード(英) Equivalence Checking / C-based Design / Program Slicing / Symbolic Simulation
資料番号 VLD2003-6
発行日

研究会情報
研究会 VLD
開催期間 2003/5/8(から1日開催)
開催地(和)
開催地(英)
テーマ(和)
テーマ(英)
委員長氏名(和)
委員長氏名(英)
副委員長氏名(和)
副委員長氏名(英)
幹事氏名(和)
幹事氏名(英)
幹事補佐氏名(和)
幹事補佐氏名(英)

講演論文情報詳細
申込み研究会 VLSI Design Technologies (VLD)
本文の言語 JPN
タイトル(和) C言語でのハードウェア記述に対する効率的な等価性検証手法の提案(システム設計及び一般)
サブタイトル(和)
タイトル(英)
サブタイトル(和)
キーワード(1)(和/英) 等価性検証 / Equivalence Checking
キーワード(2)(和/英) C言語ベース設計 / C-based Design
キーワード(3)(和/英) プログラムスライシング / Program Slicing
キーワード(4)(和/英) 記号シミュレーション / Symbolic Simulation
第 1 著者 氏名(和/英) 松本 剛史 / Takeshi MATSUMOTO
第 1 著者 所属(和/英) 東京大学大学院工学系研究科電子工学専攻
Department of Electronic Engineering, University of Tokyo
第 2 著者 氏名(和/英) 齋藤 寛 / Hiroshi SAITO
第 2 著者 所属(和/英) 東京大学先端科学技術研究センター
Research Center for Advanced Science and Technology, University of Tokyo
第 3 著者 氏名(和/英) 藤田 昌宏 / Masahiro FUJITA
第 3 著者 所属(和/英) 東京大学大学院工学系研究科電子工学専攻
Department of Electronic Engineering, University of Tokyo
発表年月日 2003/5/8
資料番号 VLD2003-6
巻番号(vol) vol.103
号番号(no) 40
ページ範囲 pp.-
ページ数 6
発行日