本文作者：AMD 工程師 Chaowen Yin

本文講述了如何使用 One Spin 檢查 AMD VivadoDesign Suite Synth 的結(jié)果（以 Vivado 2024.2 為例）。

一、確定與 AMD Vivado 2024.2 匹配的 One Spin 360 版本

1. 選擇匹配的版本 VCS 和 OS:

根據(jù) 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 內(nèi)一個(gè)特殊的 Testcase，由于 -resource_sharing 設(shè)置成 auto/on 的時(shí)候會(huì)影響綜合的結(jié)果。

2. 這里在 Vivado 內(nèi)創(chuàng)建了兩個(gè) synth runs(synth_1和synth_2) 。synth_1 的 -resource_sharing 是默認(rèn)的 Auto，synth_2 的 -resource_sharing 配置成了 Off。注意這里 synth_1 和 synth_2 都采用了 OOC 的方式進(jìn)行綜合，即在 More Options 處添加 -mode out_of_context。

3. 綜合完成之后分別打開(kāi) Synth_1 和 Synth_2, 使用如下的命令導(dǎo)出網(wǎng)表。

Synth_1: write_verilog top_resoource_auto.v

Synth_2: write_verilog top_resoource_off.v

三、使用 OneSpin 360 比較 Synth_1 和 Synth_2 的結(jié)果

1.這里新建了test_dir文件夾，并將兩個(gè) top_resoource_auto.v 和 top_resoource_off.v 拷貝到這個(gè)目錄內(nèi)。

2. 在 test_dir 目錄內(nèi)啟動(dòng) One Spin 360，并打開(kāi) One Spin360，在 Shell 依次輸入如下的命令：

從 Shell 的輸出可以看出，兩個(gè) Designs 不相等。這符合預(yù)期，因?yàn)檫@是由 -resource_sharing 設(shè)置成 auto/on 引入的差異。

四、使用 One Spin 360 比較原始和 Synth_2 的結(jié)果

1. 這里比較了原始的 RTL 代碼和 Synth_2 導(dǎo)出的網(wǎng)表，因?yàn)?Synth_2 的 -resource_sharing 設(shè)置成了 Off，所以這里的結(jié)果應(yīng)該相等。 這里將綜合前的 RTL 代碼設(shè)置成 Golden Unit，將 Synth_2 導(dǎo)出的 top_resource_off.v 設(shè)置成 Revised Unit。其他的配置可以參考第三步。

小結(jié)

這里直接比較第三步直接 Synth_1 和 Synth_2 的結(jié)果是因?yàn)橐呀?jīng)初步了解到了，這個(gè) Bug 與 resource_sharing 的設(shè)置有關(guān)，所以相對(duì)準(zhǔn)確些。第四步可以作為一個(gè)驗(yàn)證，當(dāng) resource_sharing 設(shè)置成 Off 時(shí)，與 RTL 的功能一致。

另外，這類綜合問(wèn)題也可以嘗試比較綜合之后 Behavior simulation 和 Post-synthesis Functional simulation 的結(jié)果。