SD高级综合实现 我们已经利用A u t o E S L的AutoPilot 2010.07.ft 工具实现了图1所示的WiMAX球形解码器的3个关键构建模块。需要重点强调的是，本方案所选择的算法与最近SDR会议论文中的算法一致，因此可以实现相同的BER。
在本节中，我们给出了用于该特殊实现的代码重写与编译器指令的具体示例。从MATLAB功能描述中获得的原始C参考代码大约有2000行，包括综合C代码与验证C代码。
代码只包括使用C内置数据类型的定点运算。一个对FPGA友好的实现几乎可以完成所有要求的浮点运算（例如 sqrt）。除了描述 FPGA 综合功能的C参考代码之外，还有一个完整的C级验证测试平台。我们从MATLAB描述中生成
输入测试矢量和重要的输出参考文件。
原始C / C + +参考代码符合MATLAB 规范的比特精度要求，并可通过由多个数据集构成的回归分析套件。该C/C++参考代码经历了不同类型的代码重组。例如，图5显示了3个我们已经实现的代码重组的例子。我们重新使用 C 级验证设施来检验 C/C++代码执行中的任何变化。而且，我们是在 C 级执行所有验证，而不是在寄存器传送级，这样可避免非常耗时的RTL仿真，从而有助于减少总体开发时间。
