test_c_veri_bsv_modules Test {mkDesign}