test_veri_only_bsv_multi Testbench mkTestbench {producer consumer} "mkTestbench.v.out.expected"
test_c_only_bsv_multi Testbench mkTestbench {producer consumer} "mkTestbench.c.out.expected"