DSP芯片的定点运算 1. 数据的溢出: 1> 溢出分类: 上溢(overflow): 下溢(underflow) 2>溢出的结果: Max Min Min Max unsigned char 0 255 signed char -128 127 unsigned int 0 65535 signed int -32768 32767 上溢在圆圈上按数据逆时针移动;下溢在圆圈上顺时钟移动。 例:signed int :32767+1=-32768; -32768-1=32767 unsigned char:255+1=0; 0-1=255 3>为了避免溢出的发生,一般在DSP中可以设置溢出保护功能。当发生溢出时,自动将结果设置为最大值或最小值。 2. 定点处理器对浮点数的处理: 1> 定义变量为浮点型(float,double),用C语言抹平定点处理器和浮点处理器的区别,但是程序的代码庞大,运算速度也慢。 2> 放大若干倍表示小数。比如要表示精度为0.01的变量,放大100倍去运算,运算完成后再转化。但是这个做法比较僵硬,如要将上面的变量重新定义成0.001精度,又需要放大1000倍,且要重新编写整个程序,考虑溢出等问题。 3> 定标法:Q格式:通过假定小数点位于哪一位的右侧,从而确定小数的精度。 Q0:小数点在第0位的后面,即我们一般采用的方法 Q15 小数点在第15位的后面,0~14位都是小数位。 转化公式:Q=(int)(F×pow(2,q)) F=(float)(Q×pow(2,-q)) 3. Q格式的运算 1> 定点加减法:须转换成相同的Q格式才能加减 2> 定点乘法:不同Q格式的数据相乘,相当于Q值相加 3> 定点除法:不同Q格式的数据相除,相当于Q值相减 4> 定点左移:左移相当于Q值增加 5> 定点右移:右移相当于Q减少 4. Q格式的应用格式 实际应用中,浮点运算大都时候都是既有整数部分,也有小数部分的。所以要选择一个适当的定标格式才能更好的处理运算。一般用如下两种方法: 1> 使用时使用适中的定标,既可以表示一定的整数复位也可以表示小数复位,如对于2812的32位系统,使用Q15格式,可表示-65536.0~65535.999969482区间内的数据。 2> 全部采用小数,这样因为小数之间相乘永远是小数,永远不会溢出。取一个极限最大值(最好使用2的n次幂),转换成x/Max的小数(如果Max是取的2的n次幂,就可以使用移位代替除法)。 5. Ti的qmath.lib库说明: 见TI的文档C28x IQMath Library (SPRC087a).zip的详细说明。 TI公司给出了一个Q格式的数学库qmath.lib 注意Q格式函数使用的时序和空间要求,尽量避重就轻。 非常有用的知识(2)——DSP定点算术运算 作者:太平洋 2006-03-20 09:24:51 3 DSP定点算术运算 定点DSP芯片的数值表示基于2的补码表示形式。每个16位数用l个符号位、i个整数位和15-i个小数位来表示。因此: 00000010.10100000 表示的值为: 21+2-1+2-3=2.625 这个数可用Q8格式(8个小数位)来表示,其表示的数值范围为-128至+l27.996,一个Q8定点数的小数精度为1/256=0.004。 虽然特殊情况(如动态范围和精度要求)必须使用混合表示法。但是,更通常的是全部以Q15格式表示的小数或以Q0格式表示的整数来工作。这一点对于主要是乘法和累加的信号处理算法特别现实,小数乘以小数得小数,整数乘以整数得整数。当然,乘积累加时可能会出现溢出现象,在这种情况下,程序员应当了解数学里面的物理过程以注意可能的溢出情况。下面我们来讨论乘法、加法和除法的DSP定点运算,汇编程序以TMS320C25为例。 3.1定点乘法 两个定点数相乘时可以分为下列三种情况: 1. 小数乘小数 例1.9 Q15*Q15=Q30 0.5*0.5=0.25 0.100000000000000;Q15 * 0.100000000000000;Q15 -------------------------------------------- 00.010000000000000000000000000000=0.25;Q30 两个Q15的小数相乘后得到一个Q30的小数,即有两个符号位。一般情况下相乘后得到的满精度数不必全部保留,而只需保留16位单精度数。由于相乘后得到的高16位不满15位的小数据度,为了达到15位精度,可将乘积左移一位,下面是上述乘法的TMS320C25程序: LT OP1;OP1=4000H(0.5/Q15) MPY OP2;oP2=4000H(0.5/Ql5) PAC SACH ANS,1;ANS=2000H(0.25/Q15) 2. 整数乘整数 例1.10 Q0*Q0=Q0 17*(-5)=-85 0000000000010001=l7 *1111111111111011=-5 ------------------------------------------- 11111111111111111111111110101011=-85 3. 混合表示法 许多情况下,运算过程中为了既满足数值的动态范围又保证一定的精度,就必须采用Q0与Q15之间的表示法。比如,数值1.2345,显然Q15无法表示,而若用Q0表示,则最接近的数是1,精度无法保证。因此,数1.2345最佳的表示法是Q14。 例1.11 1.5*0.75= 1.125 01.10000000000000=1.5;Q14 *00.11000000000000=0.75;Q14 --------------------------------------- 0001.0010000000000000000000000000=1.125 Q28 Q14的最大值不大于2,因此,两个Q14数相乘得到的乘积不大于4。 一般地,若一个数的整数位为i位,小数位为j位,另一个数的整数位为m位,小数位为n位,则这两个数的乘积为(i+m)位整数位和(j+n)位小数位。这个乘积的最高16位可能的精度为(i+m)整数位和(15- i- m)小数位。 但是,若事先了解数的动态范围,就可以增加数的精度。例如,程序员了解到上述乘积不会大于1.8,就可以用Q14数表示乘积,而不是理论上的最佳情况Q13。例3.11的TMS320C25程序如下: LT OP1;OP1 = 6000H(1.5/Ql4) MPY OP2;OP2 = 3000H(0.75/Q14) PAC SACH ANS,1;ANS=2400H(1.125/Q13) 上述方法,为了精度均对乘的结果舍位,结果所产生的误差相当于减去一个LSB(最低位)。采用下面简单的舍人方法,可使误差减少二分之一。 LT OP1 MPY OP2 PAC ADD ONE,14(上舍入) SACH ANS,1 上述程序说明,不管ANS为正或负,所产生的误差是l/2 LSB,其中存储单元ONE的值为1。 3.2定点加法 乘的过程中,程序员可不考虑溢出而只需调整运算中的小数点。而加法则是一个更加复杂的过程。首先,加法运算必须用相同的Q点表示,其次,程序员或者允许其结果有足够的高位以适应位的增长,或者必须准备解决溢出问题。如果操作数仅为16位长,其结果可用双精度数表示。下面举例说明16位数相加的两种途径。 1.保留32位结果 LAC OP1;(Q15) ADD OP2;(Ql5) SACH ANSHI ;(高16位结果) SACL ANSLO :(低16位结果) 2.调整小数点保留16位结果 LAC OP1,15;(Q14数用ACCH表示) ADD OP2,15;(Q14数用ACCH表示) SACH ANS;(Q14) 加法运算最可能出现的问题是运算结果溢出。TMS320提供了检查溢出的专用指令BV,此外,使用溢出保护功能可使累加结果溢出时累加器饱和为最大的整数或负数。当然,即使如此,运算精度还是大大降低。因此,最好的方法是完全理解基本的物理过程并注意选择数的表达方式。 3.3定点除法 在通用DSP芯片中,一般不提供单周期的除法指令,为此必须采用除法子程序来实现。二进制除法是乘法的逆运算。乘法包括一系列的移位和加法,而除法可分解为一系列的减法和移位。下面我们来说明除法的实现过程。 设累加器为8位,且除法运算为10除以3。除的过程包括与被除法有关的除数逐步移位,在每一步进行减法运算,如果能减则将位插入商中。 (1)除数的最低有效位对齐被除数的最高有效位。 0000l0l0 - 00011000 -------------------------------------- 11110010 (2)由于减法结果为负,放弃减法结果,将被除数左移一位,再减。 00010100 - 00011000 ---------------------------------------- 11111000 (3)结果仍为负,放弃减法结果,被除数左移一位,再减。 00101000 - 00011000 ------------------------------------------ 00010000 (4)结果为正,将减法结果左移一位后加1,作最后一次减。 00100001 - 00011000 ---------------------------------------- 00001001 (5)结果为正,将结果左移一位加1 得最后结果。高4位代表余数,低4位表示商。 00010011 即,商为0011= 3.余数为0001= 1。 TMS320没有专门的除法指令,但使用条件减指令SUBC可以完成有效灵活的除**能。使用这一指令的唯一限制是两个操作数必须为正。程序员必须事先了解其可能的运算数的特性,如其商是否可以用小数表示及商的精度是否可被计算出来。这里每一种考虑可影响如何使用SUBC指令的问题。下面我们给出两种不同情况下的TMS320C25除法程序。 (1)分子小于分母 DIV_A: LT NUMERA MPY DENOM PAC SACH TEMSGN;取商的符号 LAC DENOM ABS SACL DENOM;使分母为正 ZALH NUMERA; 分子为正 ABS RPTK 14 SUBC DENOM;除循环15次 SACL QUOT LAC TEMSGN BGEZ A1;若符号为正,则完成 ZAC SUB QUOT SACL QUOT;若为负,则商为负 A1: RET 这个程序中,分子在NUMERA中,分母在DENOM中,商存在QUOT中,TEMSGN为暂存单元。 (2)规定商的精度 DIV_B: LT NUMERA MPY DENOM PAC SACH TEMSGN;取商的符号 LAC DENOM ABS SACL DENOM; 使分母为正 LACK 15 ADD FRAC SACL FRAC;计算循环计数器 LAC NUMERA ABS ; 使分子为正 RPT FRAC SUBC DENOM; 除循环16+FRAC次 SACL QUOT LAC TEMSGN BGEZ B1;若符号为正,则完成 ZAC SUB QUOT SACL QUOT;若为负,则商为负 B1: RET 与DIV_A相同,这个程序中,分子在NUMERA中,分母在DENOM中,商存在QUOT中,TEMSGN为暂存单元。FRAC中规定商的精度,如商的精度为Q13,则调用程序前FRAC单元中的值应为13。 4 非线性运算的定点快速实现 在数值运算中,除基本的加减乘除运算外,还有其它许多非线性运算,如,对数运算,开方运算,指数运算,三角函数运算等,实现这些非线性运算的方法一般有:(1)调用DSP编译系统的库函数;(2)查表法;(3)混合法。下面我们分别介绍这三种方法。 1.调用DSP编译系统的库函数 TMS320C2X/C5X的C编译器提供了比较丰富的运行支持库函数。在这些库函数中,包含了诸如对数、开方、三角函数、指数等常用的非线性函数。在C程序中(也可在汇编程序中)只要采用与库函数相同的变量定义,就可以直接调用。例如,在库函数中,定义了以10为底的常用对数log10(): #include<math.h> double,log10(double x); 在C程序中按如下方式调用: float x,y; X=10.0; y=log10(x); 从上例可以看出,库函数中的常用对数log10()要求的输入值为浮点数,返回值也为浮点数,运算的精度完全可以保证。直接调用库函数非常方便,但由于运算量大,很难在实时DSP中得到应用。 2.查表法 在实时DSP应用中实现非线性运算,一般都采取适当降低运算精度来提高程序的运算速度。查表法是快速实现非线性运算最常用的方法。采用这种方法必须根据自变量的范围和精度要求制作一张表格。显然输人的范围越大,精度要求越高,则所需的表格就越大,即存储量也越大。查表法求值所需的计算就是根据输入值确定表的地址,根据地址就可得到相应的值,因而运算量较小。查表法比较适合于非线性函数是周期函数或已知非线性函数输入值范围这两种情况、例1.12和例1. 13分别说明这两种情况。 例1.12 已知正弦函数y=cos(x),制作一个512点表格,并说明查表方法。由于正弦函数是周期函数,函数值在-1至+1之间,用查表法比较合适。由于Q15的表示范围为1-至32767/32768之间,原则上讲-1至+1的范围必须用Q14表示。但一般从方便和总体精度考虑,类似情况仍用Q15表示,此时+1用32767来表示。 (1)产生5l2点值的C语言程序如下所示。 #define N 512 #define pi 3.14l59 int sin_tab[5l2]; void main() { int i; for(i=0;i<N;i++)sin_tab=(int)(32767*sin(2*pi*i/N)); (2)查表 查表实际上就是根据输人值确定表的地址。设输入x在0~2π之间,则x对应于512点表的地址为:index=(int)(512*x/2π),则y=sin(x)=sin_tab[index]如果x用Q12定点数表示,将512/2π用Q8表示为20861,则计算正弦表的地址的公式为。 index=(x*20861L)>>20; 例1.12用查表法求以2为底的对数,已知自变量值范围为0.5-1,要求将自变量范围均匀划分为10等分。试制作这个表格并说明查表方法。 (1)作表: y=log2(x),由于x在0.5到1之间,因此y在-1到0之间,x和y均可用Q15表示。由于对x均匀划分为10段,因此,10段对应于输入x的范围如表3.2所示。若每一段的对数值都取第一点的对数值,则表中第一段的对数值为y0(Q15)=(int)(log(O.5)*32768),第二段的对数值为y1(Q15)=(int)(log2(0.55)*32768),依次类推,如表3.2所示。 (2)查表: 查表时,先根据输人值计算表的地址,计算方法为: index=((x-16384)*20)>>15; 式中, index就是查表用的地址。例如,已知输人x=26869,则index=6,因此,y= -10549。
表1.2 logtab0 10点对数表 地址 输入值 对数值(Q15) 0 0.50-0.55 -32768 1 0.55-0.60 -28262 2 0.60-0.65 -24149 3 0.65-0.70 -20365 4 0.70-0.75 -16862 5 0.75-0.80 -13600 6 0.80-0.85 -10549 7 0.85-0.90 -7683 8 0.90-0.95 -4981 9 0.95-1.00 -2425
3.混合法 (1)提高查表法的精度 上述方法查表所得结果的精度随表的大小而变化,表越大,则精度越高,但存储量也越大。当系统的存储量有限而精度要求也较高时,查表法就不太适合。那么能否在适当增加运算量的情况下提高非线性运算的精度呢?下面介绍一种查表结合少量运算来计算非线性函数的混合法,这种方法适用于在输入变量的范围内函数呈单调变化的情形。混合法是在查表的基础上来用计算的方法以提高当输入值处于表格两点之间时的精度。提高精度的一个简便方法是采用折线近似法,如图1.1所示。 图1.1提高精度的折线近似法” 仍以求以2为底的对数为例(例1.12)。设输入值为x,则精确的对数值为y,在表格值的两点之间作一直线,用y'作为y的近似值,则有: y'=y0+△y 其中y0由查表求得。现在只需在查表求得y0的基础上增加△y既可。△y的计算方法如下: △y=(△x/△x0)△y=△x(△y0/△x0) 其中△y0/△x0对每一段来说是一个恒定值,可作一个表格直接查得。此外计算此时需用到每段横坐标的起始值,这个值也可作一个表格。这佯共有三个大小均为10的表格,分别为存储每段起点对数值的表logtab0、存储每段△y0/△x0值的表logtab1和存储每段输入起始值x0的表logtab2,表logtab1和表logtab2可用下列两个数组表示。 int logtab1[10]={22529,20567,18920,17517,16308, 15255,14330,13511,12780,12124};/*△y0/△x0:Q13*/ int logtab2[10]={16384,18022,19660,21299,22938, 24576,26214,27853,29491,31130};/*x0:Q15*/ 综上所述,采用混合法计算对数值的方法可归纳为: (1)根据输人值,计算查表地址:index=((x-16384)*20)>>15; (2)查表得y0=logtab0[index]; (3)计算△x=x-logtab2[index]; (4)计算△y=(△x*logtab1[index])>>13; (5)计算得结果y=y0+△y。 例1.13已知x=0.54,求log2(x)。 0.54的精确对数值为y=log2(0.54)=-0.889。 混合法求对数值的过程为: (1)定标Q15,定标值x=0.54*32768=17694; (2)表地址index=((x-16384)*20)>>15=0; (3)查表得y0=logtab0[0]=-32768; (4)计算△x=x-logtab2[0]=17694-16384=1310; (5)计算△y=(△xlogtab1[0]>>13=(13l0*22529L)>>13=3602 (6)计算结果y=y0+△y=-32768+3602=-29166。 结果y为Q15定标,析算成浮点数为-29166/32768=-0.89,可见精度较高。 (2)扩大自变量范围 如上所述,查表法比较适用于周期函数或自变量的动态范围不是太大的情形。对于像对数这样的非线性函数,输入值和函数值的变化范围都很大。如果输入值的变化范围很大,则作表就比较困难。那么能否比较好地解决这个问题,即不便表格太大,又能得到比较高的精度呢?下面我们来讨论一种切实可行的方法。 设x是一个大于0.5的数,则x可以表示为下列形式: x=m*2e 式中,0.5<=m<=1.0,e为整数。则求x的对数可以表示为: log2(x)=log2(m*2e)=log2(m)+log2(2e)=e+log2(m) 也就是说,求x的对数实际上只要求m的对数就可以了,而由于m的数值在0.5和1.0之间,用上面介绍的方法是完全可以实现的。例如: log2(10000)=log2(0.61035*214)=log2(0.61035)+14 =13.2877 可见,如果一个数可以用比较简便的方法表示为上面的形式,则求任意大小数的对数也比较方便的。TMS320C2X/C5X指令集提供了一条用于对ACC中的数进行规格化的指令NORM,该指令的作用就是使累加器中的数左移,直至数的最高位被移至累加器的第30位。例如,对数值10000进行规格化的TMS320C25程序为。 LAC #10000 SACL TEMP ZALH TEMP LAR AR1,#0FH RPT 14 NORM * - 上述程序执行后,AR1=#0eH,ACCH=2000(10进制)。对一个16位整数x进行上述程序处理实际上就是作这样一个等效变换: x=[(x*2e)/32768]*215-Q 其中,寄存器AR1包含的值为15-Q累加器ACC高16位包含的值为x.2Q,其数值在16384至32768之间。 例1.14实现以2为底的对数的C定点模拟程序。 int logtab0[10]={-32768,-28262,-24149,-20365,-16862, -13600),-1O549,-7683,-4981,-2425};/*Q15*/ int logtab1[10]={122529,20567,18920,175l7,16308, 15255,14330,13511,12780,12124};/*Q13*/ int logtab2[10]={16384,l8022,19660,21299,22938, 24576,26214,27853,29491,31130};/*Q15*/ int log2_fast(int Am) { int point,point1; int index,x0,dx,dy,y; point=0; while(Am<16384){point++;Am=Am<<1;}/*对Am进行规格化*/ point1=(15-point-4)*512;/*输入为Q4,输出为Q9*/ index=((Am-16384)*20L)>>15;/*求查表地址*/ dx=Am-logtab2[index]; dy=((long)dx*logtab1[index])>>13; y=(dy+longtab0[index])>>6;/*Q9*/ y=point1+y; return(y); } 上述程序中,输入值Am采用Q4表示,输出采用Q9表示,如果输入输出的Q值与上面程序中的不同,则应作相应的修改。 以上讨论了DSP芯片进行定点运算所涉及的一些基本问题,这些问题包括:数的定标,DSP程序的定点模拟,DSP芯片的足点运算以及定点实现非线性函数的快速实现方法等。充分理解这些问题对于用定点芯片实现DSP算法具有非常重要的作用。
|