「NSCv」は、オープンソースのSCV（SystemC Verification Library）をベースにJEDA社が開発した、SystemC検証用のクラスライブラリで、SystemCのネイティブ環境ではサポートされていないカバレッジ機能、ダイナミック・スレッディング（マルチスレッド）、ダ…