使用MATLAB为SystemGeneratorforDSP创建IP

使用MATLAB为SystemGeneratorforDSP创建IP(图)使用MATLABM文件借助AccelChip综合工具优化FPGA实现将基于图形和基于语言的设计方法结合起来最能准确描述DSP系统。DSP建模软件行业专家TheMathWorks提供了一种称为Simulink的时序精度的图形化设计环境和一种称为MATLAB的数学建模语言，从而满足了这种二分法。Simulink非常适合DSP设计的“系统”方面，包括输入输出接口和存储器数据流的控制与同步。Simulink还以模块集的形式提供了一个丰富的预定义DSP算法集，可以用来构建DSP系统。不过，对于专用算法的建模来说，Simulink并非总是最有效的开发环境。它不必要地增加了设计人员考虑时序精度的负担，并且强制用图形模块集而非简明的文本表达式来构建底层的算术运算和数组操作。图1显示系统控制和同步逻辑的XilinxSystemGenerator图有些DSP算法开发人员发现MATLAB语言最能满足他们喜欢的开发方式。MATLAB具有针对信号处理、通信和小波处理的1000多种内置函数和工具箱扩展，为复杂算法的开发和调试提供了丰富且易用的环境。Simulink利用一个嵌入式MATLAB模块将这两种建模环境统一起来，该模块允许MATLAB模型在Simulink内部仿真，再通过Real-TimeWorkshop编译成C代码后在DSP处理器上实现。XilinxSystemGeneratorforDSP是一种广泛公认的高效工具，用于在FPGA中创建DSP设计。SystemGeneratorforDSP提供了基于Simulink的图形环境和XilinxDSP核的预定义模块集，这同时满足了系统架构设计师和硬件设计人员的需要，前者需要把组件集成到设计中，而后者需要优化实现。不过，SystemGeneratorforDSP缺少对基于MATLAB的设计流程的支持。XilinxAccelDSPTM综合工具是专为已经熟悉基于语言的DSP算法建模的算法开发人员和DSP架构设计师开发的。借助AccelDSP综合工具，算法开发人员可以用浮点MATLABM文件创建激励、评估算法并对结果进行后处理。DSP硬件系统SystemGeneratorforDSP非常适合DSP系统建模，它不仅包括核心DSP算法，还包括针对外部总线、存储器读写访问、系统数据同步和整体系统控制的同步接口。SystemGeneratorforDSP提供了面向控制的模块（如MicroBlazeTM处理器），还提供了用于实现DSP系统同步的各个寄存器、延时器和存储器模块（如图1所示）。自定制DSP算法任何DSP系统的核心都是算法。算法与系统的区别在于所产生的输出是基于给定输入集的函数，与时钟或硬件无关。这可以由以下简单公式表示：y=f(x)我们可以分别在FPGA、DSP处理器和软件上执行一种MATLAB定义的算法，它们对时序精度的理解各不相同。算法的这种特有性质具有两大好处。首先，算法开发人员完全不用顾及硬件实现细节，可以只专心于算法功能。正因为如此，今天在DSP中使用的算法估计有90%都是首先作为MATLAB模型出现的，即使设计流程表明它们此后还要重新实现Simulink图或SystemGeneratorforDSP图。用一个简单的MATLAB语句就可以计算4×1024数据矩阵的快速傅里叶变换(FFT)，不必考虑基数、扩展性、缓冲或有效信号的同步，如下所示：y=fft(data,1024)其次，在建立算法模型时，给定的输出集总是对应于给定的输入集；因此，不必在生成的硬件中解决同步问题。这就使算法具有可通过AccelDSP这样的综合工具进行调度的固有“可调度”性。由于硬件要求，可能需要使用多个时钟周期来计算一个输出（如资源共享MACFIR滤波器的情形），但这种操作却非常适合AccelDSP综合工具的自动流程。加入一个简单的硬件握手接口即可为集成到整个系统敞开方便之门，如图2所示。图2AccelDSP握手接口MATLAB运算符(如矩阵转置)可以使MATLAB代码短小易读。而像矩阵求逆运算这类复杂运算可以用MATLAB丰富的线性代数功能完成。AccelDSP和SystemGenerator工具一起使用AcceDSP综合工具可依据浮点MATLAB模型生成SystemGeneratorIP模块，从而使SystemGeneratorforDSP能够支持DSP系统和算法两种建模方法。这样可以产生与用嵌入式MATLAB模块功能相似的FPGA设计流程（见图3）。我们可以用XilinxDSP模块集实现系统设计，而用浮点MATLAB实现算法设计。用AccelDSP综合工具创建的SystemGeneratorIP模块是具有时序精度特点的定点模块。卡尔曼滤波器示例我们来看一种用MATLAB编写的高级算法，使用AccelDSP综合工具进行综合，然后将算法集成到SystemGenerator模型中。卡尔曼滤波器是一种特殊类型的自适应递归滤波器，非常适合将多个有噪声的信号合并成一个较清晰的信号。卡尔曼滤波器以对象（如由地面雷达跟踪的商用飞机）的数学模型开始，使用该模型预测未来行为。然后，滤波器使用实测信号（如返回到雷达接收器的飞机特征信号）定时校正预测。图3DSP系统框图以下是一个卡尔曼滤波器的MATLABM文件。该算法定义矩阵R和I，这两个矩阵描述了实测信号和预测行为的统计数据。算法的后九行是前向预测代码和自我校正代码。function[s]=simple_kalman(A)DIM=size(A,2)pesistentP_capifisempty(P_cap)P_cap=[800;080;008];p=ones(DIM,1)/2;end;1=eye(DIM);R=[12800;01280;00128]%estimatestep:P_cap_est=P_cap+1;%correctionstep:K=P_cap_est*inv(P_cap_est+R);P=P+K*(A'-P);P_cap=(1-K)*P_cap_est;S=p'表1控制所生成硬件的综合指令像加减这类常用运算符是在A或P_cap这类数组上运算，无须像C语言所要求的那样编写循环语句。二维数组自动以矩阵相乘，无须任何特别注释。MATLAB运算符（如矩阵转置）可以使MATLAB代码短小易读。而像矩阵求逆这类复杂运算可以用MATLAB丰富的线性代数功能完成。虽然可以将这种算法构建成框图，但这样做很容易使算法结构在MATLAB中显得费解。有了AccelDSP综合工具，就可以用AccelWareIP工具套件将复杂的MATLAB工具箱和内置函数（如卡尔曼滤波器示例中使用的矩阵求逆）直接赋予硬件。这些工具套件提供多种矩阵求逆方法。核的选择取决于矩阵的大小、结构和值。我们再回到卡尔曼滤波器示例，最适宜的方法是使用AccelWareQR矩阵求逆核。AccelWare核是依据MATLAB语法生成的，可有多种硬件实现架构，这些架构允许用户对设计进行速度、面积、功耗和噪声优化。为了使用AccelWare功能，需要对代码进行以下小修改：用AccelDSP综合工具综合MATLAB可以使用AccelDSP综合工具进行浮点仿真，以建立一个基准来参考。然后将设计转换成定点，以便进行定点效果仿真。有诸多功能可以帮助分析这些效果和定点设计（如饱和与四舍五入）。数据位宽的增长可以用户控制的方式自动传播到整个设计中。这种算法设计浏览过程可以帮助您获得理想的量化结果，此量化结果能够在控制上溢出/下溢出的同时尽量缩小位宽，以便尽早在硅片面积与性能指针之间进行权衡。一旦确定了适宜的量化结果，使用AccelDSP综合工具的下一步就是为Xilinx目标器件生成RTL。可以通过使用表1所列综合指令来规定硬件含义。使用这些指令可以规范基于硬件的设计浏览，使设计小组能够进一步提高结果质量。在综合RTL时，AccelDSP综合工具评估和调度整个算法，并且在可能时进行边界优化。AccelDSP工具在整个流程中都保持始终如一的验证环境，这是因为使用了自校验式测试平台，即使用MATLAB定点设计时生成的输入/输出向量来验证生成的RTL。AccelDSP综合工具还会报告卡尔曼滤波器的流量和延时量，这是衡量设计是否满足指标以及生成时序精度的SystemGenerator模型所必需的。生成SystemGenerator模型成功完成RTL验证之后，即可通过单击“GenerateSystemGenerator”图标来为设计生成SystemGenerator模型。AccelDSP工具产生一个可支持仿真和RTL代码的SystemGeneratorIP模块。此时，设计流程过渡到SystemGeneratorforDSP，其中可以在Simulink库浏览器中使用卡尔曼滤波器的新模块，只需选择卡尔曼滤波器模块，然后将其拖入到目标环境中，便可将AccelDSP生成的卡尔曼滤波器集成到SystemGenerator设计中。结束语自定制DSP算法最适于用MATLAB建立数学模型，而完整的系统则最适于用Simulink建立时序精度的模型。这两种建模域紧密结合即可使用丰富的MATLAB语言（包括内置函数和工具箱函数）来创建复杂DSP算法的SystemGeneratorIP模块，从而为在FPGA中设计DSP系统提供一种有效的手段。