一DSP定点算数运算 1 数的定标 在定点DSP芯片中采用.docx
- 文档编号:24579903
- 上传时间:2023-05-29
- 格式:DOCX
- 页数:43
- 大小:71.97KB
一DSP定点算数运算 1 数的定标 在定点DSP芯片中采用.docx
《一DSP定点算数运算 1 数的定标 在定点DSP芯片中采用.docx》由会员分享,可在线阅读,更多相关《一DSP定点算数运算 1 数的定标 在定点DSP芯片中采用.docx(43页珍藏版)》请在冰豆网上搜索。
一DSP定点算数运算1数的定标在定点DSP芯片中采用
一DSP定点算数运算1数的定标在定点DSP芯片中,采用定点数进行数值运算,其操作数一般采用整型数来表示。
一个整型数的最大表示范围取决于DSP芯片所给定的字长,一般为16位或24位。
显然,字长越长,所能表示的数的范围越大,精度也越高。
如无特别说明,本书均以16位字长为例。
DSP芯片的数以2的补码形式表示。
每个16位数用一个符号位来表示数的正负,0表示数值为正,l则表示数值为负。
其余15位表示数值的大小。
因此,二进制数0010000000000011b=8195二进制数1111111111111100b=-4对DSP芯片而言,参与数值运算的数就是16位的整型数。
但在许多情况下,数学运算过程中的数不一定都是整数。
那么,DSP芯片是如何处理小数的呢?
应该说,DSP芯片本身无能为力。
那么是不是说DSP芯片就不能处理各种小数呢?
当然不是。
这其中的关键就是由程序员来确定一个数的小数点处于16位中的哪一位。
这就是数的定标。
通过设定小数点在16位数中的不同位置,就可以表示不同大小和不同精度的小数了。
数的定标有Q表示法和S表示法两种。
表1.1列出了一个16位数的16种Q表示、S表示及它们所能表示的十进制数值范围。
从表1.1可以看出,同样一个16位数,若小数点设定的位置不同,它所表示的数也就不同。
例如,16进制数2000H=8192,用Q0表示16进制数2000H=0.25,用Q15表示但对于DSP芯片来说,处理方法是完全相同的。
从表1.1还可以看出,不同的Q所表示的数不仅范围不同,而且精度也不相同。
Q越大,数值范围越小,但精度越高;相反,Q越小,数值范围越大,但精度就越低。
例如,Q0的数值范围是一32768到+32767,其精度为1,而Q15的数值范围为-1到0.9999695,精度为1/32768=0.00003051。
因此,对定点数而言,数值范围与精度是一对矛盾,一个变量要想能够表示比较大的数值范围,必须以牺牲精度为代价;而想精度提高,则数的表示范围就相应地减小。
在实际的定点算法中,为了达到最佳的性能,必须充分考虑到这一点。
浮点数与定点数的转换关系可表示为:
浮点数(x)转换为定点数(xq):
xq=(int)x*2Q定点数(xq)转换为浮点数(x):
x=(float)xq*2-Q例如,浮点数x=0.5,定标Q=15,则定点数xq=L0.5*32768J=16384,式中LJ表示下取整。
反之,一个用Q=15表示的定点数16384,其浮点数为163幼*2-15=16384/32768=0.5。
浮点数转换为定点数时,为了降低截尾误差,在取整前可以先加上0.5。
表1.1Q表示、S表示及数值范围Q表示S表示十进制数表示范围Q15S0.15-1≤x≤0.9999695Q14S1.14-2≤x≤1.9999390Q13S2.13-4≤x≤3.9998779Q12S3.12-8≤x≤7.9997559Q11S4.11-16≤x≤15.9995117Q10S5.10-32≤x≤31.9990234Q9S6.9-64≤x≤63.9980469Q8S7.8-128≤x≤127.9960938Q7S8.7-256≤x≤255.9921875Q6S9.6-512≤x≤511.9804375Q5S10.5-1024≤x≤1023.96875Q4S11.4-2048≤x≤2047.9375Q3S12.3-4096≤x≤4095.875Q2S13.2-8192≤x≤8191.75Q1S14.1-16384≤x≤16383.5Q0S15.0-32768≤x≤327672高级语言:
从浮点到定点我们在编写DSP模拟算法时,为了方便,一般都是采用高级语言(如C语言)来编写模拟程序。
程序中所用的变量一般既有整型数,又有浮点数。
如例1.1程序中的变量i是整型数,而pi是浮点数,hamwindow则是浮点数组。
例1.1256点汉明窗计算inti;+floatpi=3.14l59;floathamwindow[256];for(i=0;i<256;i++)hamwindow[i]=0.54-0.46*cos(2.0*pi*i/255);如果我们要将上述程序用某种足点DSP芯片来实现,则需将上述程序改写为DSP芯片的汇编语言程序。
为了DSP程序调试的方便及模拟定点DSP实现时的算法性能,在编写DSP汇编程序之前一般需将高级语言浮点算法改写为高级语言定点算法。
下面我们讨论基本算术运算的定点实现方法。
2.1加法/减法运算的C语言定点摸拟设浮点加法运算的表达式为:
floatx,y,z;z=x+y;将浮点加法/减法转化为定点加法/减法时最重要的一点就是必须保证两个操作数的定标temp=x+temp;z=temp>>(Qx-Qz),若Qx>=Qzz=temp<<(Qz-Qx),若Qx<=Qz例1.4结果超过16位的定点加法设x=l5000,y=20000,则浮点运算值为z=x+y=35000,显然z>32767,因此Qx=1,Qy=0,Qz=0,则定点加法为:
x=30000;y=20000;temp=20000<<1=40000;temp=temp+x=40000+30000=70000;z=70000L>>1=35000;因为z的Q值为0,所以定点值z=35000就是浮点值,这里z是一个长整型数。
当加法或加法的结果超过16位表示范围时,如果程序员事先能够了解到这种情况,并且需要保持运算精度时,则必须保持32位结果。
如果程序中是按照16位数进行运算的,则超过16位实际上就是出现了溢出。
如果不采取适当的措施,则数据溢出会导致运算精度的严重恶化。
一般的定点DSP芯片都没有溢出保护功能,当溢出保护功能有效时,一旦出现溢出,则累加器ACC的结果为最大的饱和值(上溢为7FFFH,下溢为8001H),从而达到防止溢出引起精度严重恶化的目的。
2.2乘法运算的C语言定点模拟设浮点乘法运算的表达式为:
floatx,y,z;z=xy;假设经过统计后x的定标值为Qx,y的定标值为Qy,乘积z的定标值为Qz,则z=xyzq*2-Qx=xq*yq*2-(Qx+Qy)zq=(xqyq)2Qz-(Qx+Qy)所以定点表示的乘法为:
intx,y,z;longtemp;temp=(long)x;z=(temp*y)>>(Qx+Qy-Qz);例1.5定点乘法。
设x=18.4,y=36.8,则浮点运算值为=18.4*36.8=677.12;根据上节,得Qx=10,Qy=9,Qz=5,所以x=18841;y=18841;temp=18841L;z=(18841L*18841)>>(10+9-5)=354983281L>>14=21666;因为z的定标值为5,故定点z=21666,即为浮点的z=21666/32=677.08。
2.3除法运算的C语言定点摸拟设浮点除法运算的表达式为:
floatx,y,z;z=x/y;假设经过统计后被除数x的定标值为Qx,除数y的定标值为Qy,商z的定标值为Qz,则z=x/yzq*2-Qz=(xq*2-Qx)/(yq*2-Qy)zq=(xq*2(Qz-Qx+Qy))/yq所以定点表示的除法为:
intx,y,z;longtemp;temp=(long)x;z=(temp<<(Qz-Qx+Qy))/y;例1.6定点除法。
设x=18.4,y=36.8,浮点运算值为z=x/y=18.4/36.8=0.5;根据上节,得Qx=10,Qy=9,Qz=15;所以有z=18841,y=18841;temp=(long)18841;z=(18841L<<(15-10+9)/18841=3O8690944L/18841=16384;因为商z的定标值为15,所以定点z=16384,即为浮点z=16384/215=0.5。
2.4程序变量的Q值确定在前面几节介绍的例子中,由于x,y,z的值都是已知的,因此从浮点变为定点时Q值很好确定。
在实际的DSP应用中,程序中参与运算的都是变量,那么如何确定浮点程序中变量的Q值呢?
从前面的分析可以知道,确定变量的Q值实际上就是确定变量的动态范围,动态范围确定了,则Q值也就确定了。
设变量的绝对值的最大值为|max|,注意|max|必须小于或等于32767。
取一个整数n,使满足2n-1<|max|<2n则有2-Q=2-15*2n=2-(15-n)Q=15-n例如,某变量的值在-1至+1之间,即|max|<1,因此n=0,Q=15-n=15。
既然确定了变量的|max|就可以确定其Q值,那么变量的|max|又是如何确定的呢?
一般来说,确定变量的|max|有两种方法。
一种是理论分析法,另一种是统计分析法。
1.理论分析法有些变量的动态范围通过理论分析是可以确定的。
例如:
(1)三角函数。
y=sin(x)或y=cos(x),由三角函数知识可知,|y|<=1。
(2)汉明窗。
y(n)=0.54一0.46cos[nπn/(N-1)],0<=n<=N-1。
因为-1<=cos[2πn/(N-1)]<=1,所以0.08<=y(n)<=1.0。
(3)FIR卷积。
y(n)=∑h(k)x(n-k),设∑|h(k)|=1.0,且x(n)是模拟信号12位量化值,即有|x(n)|<=211,则|y(n)|<=211。
(4)理论已经证明,在自相关线性预测编码(LPC)的程序设计中,反射系数ki满足下列不等式:
|ki|<1.0,i=1,2,...,p,p为LPC的阶数。
2.统计分析法对于理论上无法确定范围的变量,一般采用统计分析的方法来确定其动态范围。
所谓统计分析,就是用足够多的输入信号样值来确定程序中变量的动态范围,这里输入信号一方面要有一定的数量,另一方面必须尽可能地涉及各种情况。
例如,在语音信号分析中,统计分析时就必须来集足够多的语音信号样值,并且在所采集的语音样值中,应尽可能地包含各种情况。
如音量的大小,声音的种类(男声、女声等)。
只有这样,统计出来的结果才能具有典型性。
当然,统计分析毕竟不可能涉及所有可能发生的情况,因此,对统计得出的结果在程序设计时可采取一些保护措施,如适当牺牲一些精度,Q值取比统计值稍大些,使用DSP芯片提供的溢出保护功能等。
2.5浮点至定点变换的C程序举例本节我们通过一个例子来说明C程序从浮点变换至定点的方法。
这是一个对语音信号(0.3~3.4kHz)进行低通滤波的C语言程序,低通滤波的截止频率为800Hz,滤波器采用19点的有限冲击响应FIR滤波。
语音信号的采样频率为8kHz,每个语音样值按16位整型数存放在insp.dat文件中。
例1.7语音信号800Hz19点FIR低通滤波C语言浮点程序。
#includeconstintlength=180/*语音帧长为180点=22.5ms@8kHz采样*/voidfilter(intxin[],intxout[],intn,floath[]);/*滤波子程序说明*//*19点滤波器系数*/staticfloath[19]={0.01218354,-0.009012882,-0.02881839,-0.04743239,-0.04584568,-0.008692503,0.06446265,0.1544655,0.2289794,0.257883,0.2289794,0.1544655,0.06446265,-0.008692503,-0.04584568,-0.04743239,-0.02881839,-0.009012882,O.01218354};staticintxl[length+20];/*低通滤波浮点子程序*/voidfilter(intxin[],intxout[],intn,floath[]){inti,j;floatsum;for(i=0;iconstintlength=180;voidfilter(intxin[],intxout[],intn,inth[]);staticinth[19]={399,-296,-945,-1555,-1503,-285,2112,5061,7503,8450,7503,5061,2112,-285,-1503,-1555,-945,-296,399};/*Q15*/staticintx1[length+20];/*低通滤波定点子程序*/voidfilter(intxin[],intxout[],intn,inth[])inti,j;longsum;for(i=0;i<length;i++)x1[n+i-111=xin[i];for(i=0;i<1ength;i++)sum=0;for(j=0;j<n;j++)sum+=(long)h[j]*x1[i-j+n-1];xout[i]=sum>>15;for(i=0;i<(n-1);i++)x1[n-i-2]=xin[length-i-1];}主程序与浮点的完全一样。
“3DSP定点算术运算定点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.9Q15*Q15=Q300.5*0.5=0.250.100000000000000;Q15*0.100000000000000;Q15--------------------------------------------00.010000000000000000000000000000=0.25;Q30两个Q15的小数相乘后得到一个Q30的小数,即有两个符号位。
一般情况下相乘后得到的满精度数不必全部保留,而只需保留16位单精度数。
由于相乘后得到的高16位不满15位的小数据度,为了达到15位精度,可将乘积左移一位,下面是上述乘法的TMS320C25程序:
LTOP1;OP1=4000H(0.5/Q15)MPYOP2;oP2=4000H(0.5/Ql5)PACSACHANS,1;ANS=2000H(0.25/Q15)
二整数乘整数例1.10Q0*Q0=Q017*(-5)=-850000000000010001=l7*1111111111111011=-5-------------------------------------------11111111111111111111111110101011=-853.混合表示法许多情况下,运算过程中为了既满足数值的动态范围又保证一定的精度,就必须采用Q0与Q15之间的表示法。
比如,数值1.2345,显然Q15无法表示,而若用Q0表示,则最接近的数是1,精度无法保证。
因此,数1.2345最佳的表示法是Q14。
例1.111.5*0.75=1.12501.10000000000000=1.5;Q14*00.11000000000000=0.75;Q14---------------------------------------0001.0010000000000000000000000000=1.125Q28Q14的最大值不大于2,因此,两个Q14数相乘得到的乘积不大于4。
一般地,若一个数的整数位为i位,小数位为j位,另一个数的整数位为m位,小数位为n位,则这两个数的乘积为(i+m)位整数位和(j+n)位小数位。
这个乘积的最高16位可能的精度为(i+m)整数位和(15-i-m)小数位。
但是,若事先了解数的动态范围,就可以增加数的精度。
例如,程序员了解到上述乘积不会大于1.8,就可以用Q14数表示乘积,而不是理论上的最佳情况Q13。
例3.11的TMS320C25程序如下:
LTOP1;OP1=6000H(1.5/Ql4)MPYOP2;OP2=3000H(0.75/Q14)PACSACHANS,1;ANS=2400H(1.125/Q13)上述方法,为了精度均对乘的结果舍位,结果所产生的误差相当于减去一个LSB(最低位)。
采用下面简单的舍人方法,可使误差减少二分之一。
LTOP1MPYOP2PACADDONE,14(上舍入)SACHANS,1上述程序说明,不管ANS为正或负,所产生的误差是l/2LSB,其中存储单元ONE的值为1。
3.2定点加法乘的过程中,程序员可不考虑溢出而只需调整运算中的小数点。
而加法则是一个更加复杂的过程。
首先,加法运算必须用相同的Q点表示,其次,程序员或者允许其结果有足够的高位以适应位的增长,或者必须准备解决溢出问题。
如果操作数仅为16位长,其结果可用双精度数表示。
下面举例说明16位数相加的两种途径。
1.保留32位结果LACOP1;(Q15)ADDOP2;(Ql5)SACHANSHI;(高16位结果)SACLANSLO:
(低16位结果)2.调整小数点保留16位结果LACOP1,15;(Q14数用ACCH表示)ADDOP2,15;(Q14数用ACCH表示)SACHANS;(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=
三余数为0001=1。
TMS320没有专门的除法指令,但使用条件减指令SUBC可以完成有效灵活的除法功能。
使用这一指令的唯一限制是两个操作数必须为正。
程序员必须事先了解其可能的运算数的特性,如其商是否可以用小数表示及商的精度是否可被计算出来。
这里每一种考虑可影响如何使用SUBC指令的问题。
下面我们给出两种不同情况下的TMS320C25除法程序。
(1)分子小于分母DIV_A:
LTNUMERAMPYDENOMPACSACHTEMSGN;取商的符号LACDENOMABSSACLDENOM;使分母为正ZALHNUMERA;分子为正ABSRPTK14SUBCDENOM;除循环15次SACLQUOTLACTEMSGNBGEZA1;若符号为正,则完成ZACSUBQUOTSACLQUOT;若为负,则商为负A1:
RET这个程序中,分子在NUMERA中,分母在DENOM中,商存在QUOT中,TEMSGN为暂存单元。
(2)规定商的精度DIV_B:
LTNUMERAMPYDENOMPACSACHTEMSGN;取商的符号LACDENOMABSSACLDENOM;使分母为正LACK15ADDFRACSACLFRAC;计算循环计数器LACNUMERAABS;使分子为正RPTFRACSUBCDENOM;除循环16+FRAC次SACLQUOTLACTEMSGNBGEZB1;若符号为正,则完成ZACSUBQUOTSACLQUOT;若为负,则商为负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(doublex);在C程序中按如下方式调用:
floatx,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之间,原则上讲
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 一DSP定点算数运算 数的定标 在定点DSP芯片中采用 DSP 定点 算数 运算 定标 芯片 采用
![提示](https://static.bdocx.com/images/bang_tan.gif)