文献
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)