講演名 | 2002/2/25 kVerifierとSystemC 小林 憲次, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | |
抄録(英) | kVerifier is a C++/STL library that verifies C/C++ program codes generally. I apply kVerifier to Reed Solomon ECC simulation and STL/valarray modeling and SystemC circuit discription. I exemplify that kVerifier and STL/valarray modeling is effective in system design and the examination, and that the test vector at system design is available for the RTL design. |
キーワード(和) | |
キーワード(英) | |
資料番号 | CPSY2001-107 |
発行日 |
研究会情報 | |
研究会 | CPSY |
---|---|
開催期間 | 2002/2/25(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Computer Systems (CPSY) |
---|---|
本文の言語 | JPN |
タイトル(和) | kVerifierとSystemC |
サブタイトル(和) | |
タイトル(英) | kVerifier and SystemC |
サブタイトル(和) | |
キーワード(1)(和/英) | |
第 1 著者 氏名(和/英) | 小林 憲次 / Kenji Kobayashi |
第 1 著者 所属(和/英) | |
発表年月日 | 2002/2/25 |
資料番号 | CPSY2001-107 |
巻番号(vol) | vol.101 |
号番号(no) | 671 |
ページ範囲 | pp.- |
ページ数 | 7 |
発行日 |