| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2008-03-28 10:30 システムレベル設計記述に対する具体値・記号値シミュレーションによる入力パターンの自動生成手法 ○小島慶久・西原 佑・松本剛史・藤田昌宏（東大）  DC2007-106 CPSY2007-102 |
|
| 抄録 | （和） | システムの大規模複雑化に伴い，シミュレーションベースの検証やデバッグにおいて，人手による入力パターンの作成が困難になってきている． そこで本研究では，設計記述を拡張システム依存グラフで表現し，設計記述に対して具体値および記号値によるシミュレーションを行い，アサーション違反を引き起こすような入力パターンの自動生成を行う手法を提案する． これにより，入力パターンの作成の自動化を支援し，また，ランダムシミュレーションでは扱いにくいようなコーナーケースの活性化および不具合の発見，コードカバレッジの改善を目指す． |
| （英） | As the VLSI systems grow larger and more complicated, it becomes more difficult to manually prepare the input patterns on simulation-based verification and debugging. In this research, we try to automatically generate the input patterns which cause the assertion failure, by exercising concrete and symbolic simulations simultaneously on the design descriptions in the extended system dependence graphs. Our goals are i) to promote to automate the input pattern generation process, ii) to activate the corner-cases and discover the bugs hard to find by random simulation, and iii) to achieve a better code coverage. |
|
| キーワード | （和） | 記号シミュレーション / 記号・具体混合シミュレーション / 入力パターン生成 / 検証 / コードカバレッジ / / / |
| （英） | symbolic simulation / concrete/symbolic-hybrid simulation / input pattern generation / verification / code coverage / / / | |
| 文献情報 | 信学技報, vol. 107, no. 559, DC2007-106, pp. 133-138, 2008年3月. | |
| 資料番号 | DC2007-106 | |
| 発行日 | 2008-03-20 (DC, CPSY) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | DC2007-106 CPSY2007-102 |
|
| 研究会情報 | |
| 研究会 | DC CPSY IPSJ-SLDM IPSJ-EMB |
| 開催期間 | 2008-03-27 - 2008-03-28 |
| 開催地（和） | 屋久島 離島総合開発センター |
| 開催地（英） | |
| テーマ（和） | 組込技術とネットワークに関するワークショップ ETNET2008（コンピュータシステム研究会、情報処理学会システムLSI設計技術研究会、情報処理学会組込みシステム研究会共催） |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | DC |
| 会議コード | 2008-03-DC |
| 本文の言語 | 日本語 |
| タイトル（和） | システムレベル設計記述に対する具体値・記号値シミュレーションによる入力パターンの自動生成手法 |
| サブタイトル（和） | |
| タイトル（英） | A technique of automatic input pattern generation for system-level design descriptions by concrete and symbolic simulations |
| サブタイトル（英） | |
| キーワード(1)（和/英） | 記号シミュレーション / symbolic simulation |
| キーワード(2)（和/英） | 記号・具体混合シミュレーション / concrete/symbolic-hybrid simulation |
| キーワード(3)（和/英） | 入力パターン生成 / input pattern generation |
| キーワード(4)（和/英） | 検証 / verification |
| キーワード(5)（和/英） | コードカバレッジ / code coverage |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 小島 慶久 / Yoshihisa Kojima / コジマ ヨシヒサ |
| 第1著者 所属（和/英） | 東京大学藤田研究室 (略称： 東大) Fujita Lab, University of Tokyo (略称： Univ. of Tokyo) |
| 第2著者 氏名（和/英/ヨミ） | 西原 佑 / Tasuku Nishihara / ニシハラ タスク |
| 第2著者 所属（和/英） | 東京大学藤田研究室 (略称： 東大) Fujita Lab, University of Tokyo (略称： Univ. of Tokyo) |
| 第3著者 氏名（和/英/ヨミ） | 松本 剛史 / Takeshi Matsumoto / マトモト タケシ |
| 第3著者 所属（和/英） | 東京大学藤田研究室 (略称： 東大) Fujita Lab, University of Tokyo (略称： Univ. of Tokyo) |
| 第4著者 氏名（和/英/ヨミ） | 藤田 昌宏 / Masahiro Fujita / フジタ マサヒロ |
| 第4著者 所属（和/英） | 東京大学大規模集積システム設計教育研究センター (略称： 東大) VLSI design and education center, University of Tokyo (略称： VDEC, Univ of Tokyo) |
| 講演者 | 第1著者 |
| 発表日時 | 2008-03-28 10:30:00 |
| 発表時間 | 20分 |
| 申込先研究会 | DC |
| 資料番号 | DC2007-106, CPSY2007-102 |
| 巻番号（vol） | vol.107 |
| 号番号（no） | no.559(DC), no.558(CPSY) |
| ページ範囲 | pp.133-138 |
| ページ数 | 6 |
| 発行日 | 2008-03-20 (DC, CPSY) |
[研究会発表申込システムのトップページに戻る]