test_c_veri_bsv Bug540_1
test_c_veri_bsv Bug540_2