如何使用One Spin检查AMD Vivado Design Suite Synth的结果

本文作者：AMD 工程师 Chaowen Yin

本文讲述了如何使用 One Spin 检查 AMD VivadoDesign Suite Synth 的结果（以 Vivado 2024.2 为例）。

一、确定与 AMD Vivado 2024.2 匹配的 One Spin 360 版本

1. 选择匹配的版本 VCS 和 OS:

根据 UG973 选择 Vivado 2024.2 版本，选择匹配的 VCS 版本和 One Spin。这里 Vivado 2024.2 匹配的是 One Spin 360 (2023.2) 和 Red Hat 64/ SUSE Linux/ Windows 10 64-bit。

https://docs.amd.com/r/en-US/ug973-vivado-release-notes-install-license/Compatible-Third-Party-Tools

二、AMD Vivado Demo

1. 这里使用的 Demo 是在 Vivado 2024.2 内一个特殊的 Testcase，由于 -resource_sharing 设置成 auto/on 的时候会影响综合的结果。

2. 这里在 Vivado 内创建了两个 synth runs(synth_1和synth_2) 。synth_1 的 -resource_sharing 是默认的 Auto，synth_2 的 -resource_sharing 配置成了 Off。注意这里 synth_1 和 synth_2 都采用了 OOC 的方式进行综合，即在 More Options 处添加 -mode out_of_context。

3. 综合完成之后分别打开 Synth_1 和 Synth_2, 使用如下的命令导出网表。

Synth_1: write_verilog top_resoource_auto.v

Synth_2: write_verilog top_resoource_off.v

三、使用 OneSpin 360 比较 Synth_1 和 Synth_2 的结果

1.这里新建了test_dir文件夹，并将两个 top_resoource_auto.v 和 top_resoource_off.v 拷贝到这个目录内。

2. 在 test_dir 目录内启动 One Spin 360，并打开 One Spin360，在 Shell 依次输入如下的命令：

从 Shell 的输出可以看出，两个 Designs 不相等。这符合预期，因为这是由 -resource_sharing 设置成 auto/on 引入的差异。

四、使用 One Spin 360 比较原始和 Synth_2 的结果

1. 这里比较了原始的 RTL 代码和 Synth_2 导出的网表，因为 Synth_2 的 -resource_sharing 设置成了 Off，所以这里的结果应该相等。 这里将综合前的 RTL 代码设置成 Golden Unit，将 Synth_2 导出的 top_resource_off.v 设置成 Revised Unit。其他的配置可以参考第三步。

小结

这里直接比较第三步直接 Synth_1 和 Synth_2 的结果是因为已经初步了解到了，这个 Bug 与 resource_sharing 的设置有关，所以相对准确些。第四步可以作为一个验证，当 resource_sharing 设置成 Off 时，与 RTL 的功能一致。

另外，这类综合问题也可以尝试比较综合之后 Behavior simulation 和 Post-synthesis Functional simulation 的结果。