@techreport{oai:ipsj.ixsq.nii.ac.jp:00027510,
 author = {小林, 憲次 and Kenji, Kobayashi},
 issue = {18(2001-SLDM-105)},
 month = {Mar},
 note = {kVerifier はプログラム・コードの検証を汎用的に行う C++ ライブラリです。kVerifier を Reed Solomon ECC シミュレーションと STL/valarray モデリングと SystemC 回路記述に適用しました。kVerifier と STL/valarray によるモデリングがしすれて設計・検討に有効であること、システム設計でのテスト・ベクタが RTL 設計でも有効であることを例示しました。, 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.},
 title = {kVerifierとSystemC},
 year = {2002}
}