電子情報通信学会 研究会発表申込システム
講演論文 詳細
技報閲覧サービス
技報オンライン
‥‥ (ESS/通ソ/エレソ/ISS)
技報アーカイブ
‥‥ (エレソ/通ソ)
 トップに戻る 前のページに戻る   [Japanese] / [English] 

講演抄録/キーワード
講演名 2015-06-17 11:35
大規模ハードウェアIPへの記号モデル検査の適用事例
森光勇太横川智教岡山県立大)・近藤真史宮崎 仁川崎医療福祉大)・佐藤洋一郎有本和民岡山県立大
技報オンラインサービス実施中
抄録 (和) (まだ登録されていません) 
(英) (Not available yet)
キーワード (和) / / / / / / /  
(英) / / / / / / /  
文献情報 信学技報, vol. 115, no. 88, VLD2015-13, pp. 31-36, 2015年6月.
資料番号 VLD2015-13 
発行日 2015-06-10 (CAS, VLD, SIP, MSS) 
ISSN Print edition: ISSN 0913-5685  Online edition: ISSN 2432-6380

研究会情報
研究会 MSS CAS SIP VLD  
開催期間 2015-06-17 - 2015-06-18 
開催地(和) 小樽商科大学 
開催地(英) Otaru University of Commerce 
テーマ(和) システムと信号処理および一般 
テーマ(英) System, signal processing and related topics 
講演論文情報の詳細
申込み研究会 VLD 
会議コード 2015-06-MSS-CAS-SIP-VLD 
本文の言語 日本語 
タイトル(和) 大規模ハードウェアIPへの記号モデル検査の適用事例 
サブタイトル(和)  
タイトル(英) A Case Study of Symbolic Model Checking of Large Scale Hardware IP 
サブタイトル(英)  
キーワード(1)(和/英) /  
キーワード(2)(和/英) /  
キーワード(3)(和/英) /  
キーワード(4)(和/英) /  
キーワード(5)(和/英) /  
キーワード(6)(和/英) /  
キーワード(7)(和/英) /  
キーワード(8)(和/英) /  
第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.)
第7著者 氏名(和/英/ヨミ) / /
第7著者 所属(和/英) (略称: )
(略称: )
第8著者 氏名(和/英/ヨミ) / /
第8著者 所属(和/英) (略称: )
(略称: )
第9著者 氏名(和/英/ヨミ) / /
第9著者 所属(和/英) (略称: )
(略称: )
第10著者 氏名(和/英/ヨミ) / /
第10著者 所属(和/英) (略称: )
(略称: )
第11著者 氏名(和/英/ヨミ) / /
第11著者 所属(和/英) (略称: )
(略称: )
第12著者 氏名(和/英/ヨミ) / /
第12著者 所属(和/英) (略称: )
(略称: )
第13著者 氏名(和/英/ヨミ) / /
第13著者 所属(和/英) (略称: )
(略称: )
第14著者 氏名(和/英/ヨミ) / /
第14著者 所属(和/英) (略称: )
(略称: )
第15著者 氏名(和/英/ヨミ) / /
第15著者 所属(和/英) (略称: )
(略称: )
第16著者 氏名(和/英/ヨミ) / /
第16著者 所属(和/英) (略称: )
(略称: )
第17著者 氏名(和/英/ヨミ) / /
第17著者 所属(和/英) (略称: )
(略称: )
第18著者 氏名(和/英/ヨミ) / /
第18著者 所属(和/英) (略称: )
(略称: )
第19著者 氏名(和/英/ヨミ) / /
第19著者 所属(和/英) (略称: )
(略称: )
第20著者 氏名(和/英/ヨミ) / /
第20著者 所属(和/英) (略称: )
(略称: )
講演者
発表日時 2015-06-17 11:35:00 
発表時間 25 
申込先研究会 VLD 
資料番号 IEICE-CAS2015-6,IEICE-VLD2015-13,IEICE-SIP2015-37,IEICE-MSS2015-6 
巻番号(vol) IEICE-115 
号番号(no) no.87(CAS), no.88(VLD), no.89(SIP), no.90(MSS) 
ページ範囲 pp.31-36 
ページ数 IEICE-6 
発行日 IEICE-CAS-2015-06-10,IEICE-VLD-2015-06-10,IEICE-SIP-2015-06-10,IEICE-MSS-2015-06-10 


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会