【摘要】：逐步优化流程的第一步是建立事务级FPU浮点单元模型。使用该模型来验证设计的可行性和算法的正确性。在逐步优化流程中的这一步，我们将介绍如何重用事务级模型作为黄金模型和如何自动地比较两种测试模型的结果。以TLM为黄金模型的RTL和事务级验证平台如图8-4所示。事务级FPU构造了一个从属端口，用于发送和接收事务。由于黄金模型TLM和RTL DUT接收同样的请求序列，它们的响应应当是相同的。
8.3 FPU作为黄金模型
逐步优化流程的第一步是建立事务级FPU浮点单元模型。使用该模型来验证设计的可行性和算法的正确性。通过建立验证平台对设计进行仿真来了解验证是否充分。在第二步中，用RTL模型替换事务级单元。如果RTL被如实地实现，那么RTL的测试结果应当与事务级的测试结果相一致。我们如何才能了解测试结果是否一致？在逐步优化流程中的这一步，我们将介绍如何重用事务级模型作为黄金模型和如何自动地比较两种测试模型的结果。以TLM为黄金模型的RTL和事务级验证平台如图8-4所示。
图8-4 以TLM为黄金模型的RTL和事务级验证平台
事务级FPU构造了一个从属端口，用于发送和接收事务。在验证平台上，监控单元会有两个分析端口，一个用于请求，一个用于响应。这里需要把请求的事务发送到请求的覆盖率统计单元，把响应发送到响应比较单元。这里需要使用适配单元来管理所有的这种连接。适配单元会把一个双向端口转换为两个独立的数据流。
适配单元获得来自 request_fifo的请求并把这些请求发送到TLM上。然后，适配单元会等待响应并把接收到的响应通过分析端口response_ap发送出来。
响应比较单元是avm_in_order_comparator的实例，在前面的章节串转并的例子中，我们使用过avm_in_order_comparator作为记分板。这里用于比较从监控单元得到的响应和从TLM上得到的响应。由于黄金模型TLM和RTL DUT接收同样的请求序列，它们的响应应当是相同的。avm_in_order_comparator会自动对两个结果进行比较。
通过扩展RTL环境添加的新组件如下：
免责声明：以上内容源自网络，版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。
