SystemVerilogにあって、SystemCに無い機能、制約付きランダム生成のライブラリを提供しています。
CRAVE - CONSTRAINED RANDOM VERIFICATION ENVIRONMENT
SCIVER - SYSTEMC INDUCTION-BASED VERIFIER FOR TRANSACTION LEVEL MODELS
SCIVER - SYSTEMC INDUCTION-BASED VERIFIER FOR TRANSACTION LEVEL MODELS
誰か使ったら、コメントくださいね。
検証、Verification、SystemC