所有变量都为 reg[9:0] 的变量也就是,,正数为0--511 负数为1023--512 ,,, -1为1024-1023 -512为1024-512=512
一、第一组测试
a7=2*B_K;
a5=-N_K;
a6=2*(-5);
1、if(-2<=-34 && -2>=512)a3=1;else a3=2;
2、if((2*B_K<=-N_K && 2*B_K>=512))a4=1;else a4=2;
3、if((2*B_K<=-N_K) && (2*B_K>=512))a5=1;else a5=2;
可以看到a7=-2;
1、条件满足 a3=2;
2、3、条件不买足
二、第二组测试
a7=2*B_K;
a5=-N_K;
1、if(2*B_K<=-N_K)a3=1;else a3=2;
2、if(2*B_K>=512)a6=1;else a6=2;
3、if((K==0)&& (a5>=a7) && (a7>=512))a4=1;else a4=2;
这下终于对了:
a7=1022=-2;
a5=-N_k=-34=1024-34=990;
条件1、和条件2、未成立、、、、、、、、、、
原因是:比较大小时不能直接用负数,应该有一个中间变量转换,比较的时候直接比较不进行转换;
结论::::::有负数的比较大小,应该加入中间变量作为缓存,不能直接像C语言那样直接计算比较,否则会出错