[ISAC] When flen less than iflen,isac will generate error string

[Pagerd]

In isac, the code for generating sanitise is as follows

sanitise_cvpt = lambda rm,x,iflen,flen,c,inxFlg: x + ' fcsr == '+hex(rm<<5) + ' and rm_val == 7 ' \
                + ('' if iflen == flen or inxFlg else ''.join([' and rs'+str(x)+'_nan_prefix == 0x' \
                + 'f'*int((flen-iflen)/4) for x in range(1,c+1)]))

sanitise_norm = lambda rm,x,iflen,flen,c,inxFlg: x + ' fcsr == 0'\
                + ('' if iflen == flen or inxFlg else ''.join([' and rs'+str(x)+'_nan_prefix == 0x' \
                + 'f'*int((flen-iflen)/4) for x in range(1,c+1)]))

when flen < iflen,it will generating Strings like rs0_nan_prefix == 0x it will cause ctg to report an error when generating test cases