文献

J-GLOBAL ID：200902258238883260   整理番号：08A0403300

システムレベル設計記述に対する具体値・記号値シミュレーションによる入力パターンの自動生成手法

A technique of automatic input pattern generation for system-level design descriptions by concrete and symbolic simulations

著者 (4件)： 小島慶久 (東大 大学院工学系研究科) ,  西原佑 (東大 大学院工学系研究科) ,  松本剛史 (東大 大学院工学系研究科) ,  藤田昌宏 (東大 大規模集積システム設計教育研究セ)
資料名： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
巻： 107  号： 558(CPSY2007 80-116)  ページ： 133-138  発行年： 2008年03月20日 
JST資料番号： S0532B  ISSN： 0913-5685  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： システムの大規模複雑化に伴い,シミュレーションベースの検証やデバッグにおいて,人手による入力パターンの作成が困難になってきている。そこで本研究では,設計記述を拡張システム依存グラフで表現し,設計記述に対して具体値および記号値によるシミュレーションを行い,アサーション違反を引き起こすような入力パターンの自動生成を行う手法を提案する。これにより,入力パターンの作成の自動化を支援し,また,ランダムシミュレーションでは扱いにくいようなコーナーケースの活性化および不具合の発見,コードカバレッジの改善を目指す。(著者抄録)

シソーラス用語： *超LSI ,  計算機シミュレーション ,  *CAD【計算機】 ,  検証 ,  生産 ,  自動化 ,  シミュレーション ,  被覆問題 ,  *回路試験
準シソーラス用語： コードカバレッジ ,  ランダムシミュレーション ,  依存グラフ ,  回路検証 ,  記号シミュレーション ,  自動生成 ,  入力パターン

分類 (2件)： 半導体集積回路  (NC03162T) ,  CAD,CAM  (JE10000A)

タイトルに関連する用語 (7件)： システムレベル設計 ,  記述 ,  記号 ,  シミュレーション ,  入力パターン ,  自動生成 ,  手法