Verification Engineerの戯言 vmm_optsクラスの例題は、examples/std_lib/record_replayディレクトリです。 Makefileの./simvコマンドの引数として、次のように+オプションを指定しています。 normal: ./simv +vmm_opts+NUM_TRANS=3+NUM_CHANS=1 +vmm_MODE=N…