第 2 章
创建黄金参考模型
算法开发者使用 MATLAB 和 Simulink 开发算法的数学模型和测试平台。首先构建行为模型来捕获算法行为，然后准备模型以便在 FPGA 或 ASIC 中实现。
优化参考模型
准备参考模型涉及的任务包括：
- 通过序列化或反序列化数据流，将基于帧的操作转换为流架构。
- 将浮点模型转换为具有适当动态范围的定点或整数表示，以涵盖预期工况的范围。
黄金参考模型与 RTL 具有相似的输入/输出，因此，推荐的做法是对该模型和行为模型进行详尽的背靠背仿真，以便将其用作 RTL 验证的黄金参考。
使用测试框架准备单元测试
要系统地开展模型验证，第一步是对照需求文档，从单个需求追溯到设计，即 Simulink 中的参考模型。然后，您可以使用测试框架隔离设计中的各个组件以进行测试。
测试框架充当一个高度可配置的参数化测试平台。测试框架将每个受测组件与参考模型的其余部分隔离开来，并与参考模型分开存储，从而保持 Simulink 参考模型的完整性。
每个子系统的测试框架最终可以导出到 SystemVerilog，用于 ASIC 和 FPGA 验证环境中的单元测试（请参阅在设计验证中重用参考模型）
您可以将测试框架应用于每个组件并运行仿真，以测量模型覆盖率，并识别未覆盖的条件。相对于使用传统的测试平台开发方法，这种方法允许您在设计的更早阶段评估测试平台覆盖率。
