| 講演名 | 2015-06-17 大規模ハードウェアIPへの記号モデル検査の適用事例 森光 勇太(岡山県立大), 横川 智教(岡山県立大), 近藤 真史(川崎医療福祉大), 宮崎 仁(川崎医療福祉大), 佐藤 洋一郎(岡山県立大), 有本 和民(岡山県立大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | |
| 抄録(英) | |
| キーワード(和) | |
| キーワード(英) | |
| 資料番号 | CAS2015-6,VLD2015-13,SIP2015-37,MSS2015-6 |
| 発行日 | 2015-06-10 (CAS, VLD, SIP, MSS) |
| 研究会情報 | |
| 研究会 | MSS / CAS / SIP / VLD |
|---|---|
| 開催期間 | 2015/6/17(から2日開催) |
| 開催地（和） | 小樽商科大学 |
| 開催地（英） | Otaru University of Commerce |
| テーマ（和） | システムと信号処理および一般 |
| テーマ（英） | System, signal processing and related topics |
| 委員長氏名（和） | 山根 智(金沢大) / 田中 聡(村田製作所) / 宝珠山 治(NEC) / 松永 裕介(九大) |
| 委員長氏名（英） | Satoshi Yamane(Kanazawa Univ.) / Satoshi Tanaka(Murata) / Osamu Houshuyama(NEC) / Yusuke Matsunaga(Kyushu Univ.) |
| 副委員長氏名（和） | 名嘉村 盛和(琉球大) / 高橋 俊彦(新潟大) / 中静 真(千葉工大) / 奥田 正浩(北九州市大) / 竹中 崇(NEC) |
| 副委員長氏名（英） | Morikazu Nakamura(Univ. of Ryukyus) / Toshihiko Takahashi(Niigata Univ.) / Makoto Nakashizuka(Chiba Inst. of Tech.) / Masahiro Okuda(Univ. of Kitakyushu) / Takashi Takenana(NEC) |
| 幹事氏名（和） | 中田 充(山口大) / 豊嶋 伊知郎(東芝) / 山脇 大造(日立) / 越田 俊介(東北大) / 辻川 剛範(NEC) / 平林 晃(立命館大) / 冨山 宏之(立命館大) / 福田 大輔(富士通研) |
| 幹事氏名（英） | Mitsuru Nakata(Yamaguchi Univ.) / Ichiro Toyoshima(Toshiba) / Taizou Yamawaki(Hitachi) / Shunsuke Koshita(Tohoku Univ.) / Masanori Tsujikawa(NEC) / Akira Hirabayashi(Ritsumeikan Univ.) / Hiroyuki Tomiyama(Ritsumeikan Univ.) / Daisuke Fukuda(Fujitsu Labs.) |
| 幹事補佐氏名（和） | 金城 秀樹(沖縄大) / 橘 俊宏(湘南工科大) / 中村 洋平(日立) / 宮田 高道(千葉工大) / 谷口 一徹(立命館大) |
| 幹事補佐氏名（英） | Hideki Kinjo(Okinawa Univ.) / Toshihiro Tachibana(Shonan Inst. of Tech.) / Yohei Nakamura(Hitachi) / Takamichi Miyata(Chiba Inst. of Tech.) / Ittetsu Taniguchi(Ritsumeikan Univ.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Mathematical Systems Science and its applications / Technical Committee on Circuits and Systems / Technical Committee on Signal Processing / Technical Committee on VLSI Design Technologies |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 大規模ハードウェアIPへの記号モデル検査の適用事例 |
| サブタイトル（和） | |
| タイトル（英） | A Case Study of Symbolic Model Checking of Large Scale Hardware IP |
| サブタイトル（和） | |
| キーワード(1)（和/英） | |
| 第 1 著者 氏名（和/英） | 森光 勇太 / Yuta Morimitsu |
| 第 1 著者 所属（和/英） | 岡山県立大学(略称：岡山県立大) Okayama Prefectural University(略称：Okayama Pref. Univ.) |
| 第 2 著者 氏名（和/英） | 横川 智教 / Tomoyuki Yokogawa |
| 第 2 著者 所属（和/英） | 岡山県立大学(略称：岡山県立大) Okayama Prefectural University(略称：Okayama Pref. Univ.) |
| 第 3 著者 氏名（和/英） | 近藤 真史 / Masafumi Kondo |
| 第 3 著者 所属（和/英） | 川崎医療福祉大学(略称：川崎医療福祉大) Kawasaki University of Medical Welfare(略称：Kawasaki Univ. of Medical Welfare) |
| 第 4 著者 氏名（和/英） | 宮崎 仁 / Hisashi Miyazaki |
| 第 4 著者 所属（和/英） | 川崎医療福祉大学(略称：川崎医療福祉大) Kawasaki University of Medical Welfare(略称：Kawasaki Univ. of Medical Welfare) |
| 第 5 著者 氏名（和/英） | 佐藤 洋一郎 / Yoichiro Sato |
| 第 5 著者 所属（和/英） | 岡山県立大学(略称：岡山県立大) Okayama Prefectural University(略称：Okayama Pref. Univ.) |
| 第 6 著者 氏名（和/英） | 有本 和民 / Kazutami Arimoto |
| 第 6 著者 所属（和/英） | 岡山県立大学(略称：岡山県立大) Okayama Prefectural University(略称：Okayama Pref. Univ.) |
| 発表年月日 | 2015-06-17 |
| 資料番号 | CAS2015-6,VLD2015-13,SIP2015-37,MSS2015-6 |
| 巻番号（vol） | vol.115 |
| 号番号（no） | CAS-87,VLD-88,SIP-89,MSS-90 |
| ページ範囲 | pp.31-36(CAS), pp.31-36(VLD), pp.31-36(SIP), pp.31-36(MSS), |
| ページ数 | 6 |
| 発行日 | 2015-06-10 (CAS, VLD, SIP, MSS) |