文献

J-GLOBAL ID：201502208137307499   整理番号：15A1261294

大規模ハードウェアIPへのモデル検査の適用事例

著者 (6件)： 森光勇太 (岡山県大) ,  横川智教 (岡山県大) ,  近藤真史 (川崎医療福祉大) ,  宮崎仁 (川崎医療福祉大) ,  佐藤洋一郎 (岡山県大) ,  有本和民 (岡山県大)
資料名： 電気・情報関連学会中国支部連合大会講演論文集(CD-ROM)  (電気・情報関連学会中国支部連合大会(CD-ROM))
巻： 66th  ページ： ROMBUNNO.19-1  発行年： 2015年10月10日 
JST資料番号： L1892B  資料種別： 会議録 (C)
記事区分： 短報  発行国： 日本 (JPN)  言語： 日本語 (JA)

シソーラス用語： *モデル検査 ,  *サポートベクトルマシン ,  大規模系 ,  TCP/IP ,  インターネット ,  ハードウェア ,  ハードウェア設計 ,  ソーティング ,  ハードウェア記述言語 ,  形式的手法【計算機】
準シソーラス用語： IP【プロトコル】 ,  Verilog ,  ハードウェア実装 ,  形式手法

分類 (2件)： 計算理論  (JB02000A) ,  人工知能  (JE08000Z)

タイトルに関連する用語 (5件)： 大規模 ,  ハードウェア ,  IP ,  モデル検査 ,  適用事例