本文作者：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 內創(chuàng)建了兩個 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 的結果。