test_c_veri_bsv CmplxTest 
test_c_veri_bsv CmplxSatAdd