make_pass all
set path [exec find ./ -name "gen_logic.v"]
set seed [lindex [exec grep "seed" $path] 3]
verbose -log "Random seed = $seed"
note  "Random seed = $seed"
copy "./generate/Vectors.bsv" "./Vectors.bsv"
test_c_veri_bsv_multi_options Testbench mkTestbench {mkDut} "" "logic.out.expected"
##