Linux 和 Windows 操作系統(tǒng)中 Vivado 結果是否可重復？

Vivado 結果是否可重復用于相同的工具輸入？

大多數(shù)情況下是可以的，Vivado 應該可在涉及相同應用的運行之間生成相同的結果：

• 設計源

• 約束

• Tcl 腳本及命令順序

• 工具與命令選項

• Vivado 軟件版本

• 多線程設置

• 操作系統(tǒng)

這適用于從 HDL 綜合到比特流生成的設計流程的各個環(huán)節(jié)。例如，構建腳本反復在同一系統(tǒng)或相似配置的機器上運行時，應該能生成相同的結果。

不同操作系統(tǒng)的結果通?？芍貜停膊灰欢?，特別是在使用 Linux 和 Windows 操作系統(tǒng)的情況下。

注意確定性

術語“可重復性”和“確定性”通?？山惶媸褂?，這種說法是不對的。Vivado 使用多線程來并行執(zhí)行，因此它在定義上是不確定的。然而，Vivado 中的多線程可通過編程實現(xiàn)同步，因而多線程執(zhí)行可重復。注意，除了多線程外，Vivado 也管理 OS 系統(tǒng)調(diào)用及內(nèi)存管理等可導致不確定性的其它因數(shù)。

確定重復性問題

有分歧的運行最常見的癥狀是布線后時序結果的不同。如果您懷疑某個不可重復性的情況，并驗證工具輸入是完全相同，就可使用校驗和來進一步驗證分歧。Vivado 在每個實現(xiàn)方案命令的各個中間階段，都會在日志中報告一個校驗和，這是一個基于設計網(wǎng)表及物理數(shù)據(jù)的簽名。校驗和可以在不同的運行之間比較，校驗和不匹配可幫助發(fā)現(xiàn)哪里的結果有分歧。

實例：以下校驗和開始出現(xiàn)分歧，因此永遠不會收斂。如果所有輸入都是完全相同的，那這很可能就是一個可重復性問題。

檢查點與內(nèi)存中的運行

與同等意義的內(nèi)存內(nèi)設計流程相比，檢查點應生成可重復性的結果。請考慮以下命令順序，一個運行內(nèi)存中的整個設計流程，另一個則使用放置的檢查點通過 phys_opt_design 命令再次從內(nèi)存中的流程進入該流程。

這兩個運行應該給出相同的結果。盡管在執(zhí)行 open_checkpoint 命令后，校驗和可能因為網(wǎng)表的排序差異而不同，但在第一次執(zhí)行 phys_opt_design 命令后，校驗和應該可以收斂：

在運行之前，每一個執(zhí)行命令都會自動排序，以確保網(wǎng)表的一致性，這樣結果就不會因網(wǎng)表差異而出現(xiàn)分歧。

最大限度提高可重復性

如果可重復性對于您的設計環(huán)境至關重要，下面的操作可幫助您最大限度地提高可重復性：

在單線程模式下運行。

在不同運行之間使用不同數(shù)量的 CPU 時，同步線程可能會按照不同的順序執(zhí)行運算并造成有分歧的結果，即便運行使用相同的機器或系統(tǒng)也是如此。

要在單線程模式下運行，請使用：

set_param general.maxThreads 1

這不僅可禁用多線程，而且還可消除相關可重復性問題。

在相同機器上運行或者在使用相同操作系統(tǒng)的機器上運行。

這不僅可降低遇到內(nèi)核運行方式所帶來的不可重復性的概率，而且還可從一個系統(tǒng)到另一個系統(tǒng)實現(xiàn)系統(tǒng)調(diào)用，特別是在使用 Windows 和 Linux 操作系統(tǒng)的情況下。

以下操作可進一步降低這一概率

1) 微調(diào)環(huán)境，消除下列情況：

• 同一操作系統(tǒng)的不同版本

• 不同的服務包級別 (Windows)

• 不同分銷或不同補丁級別 (Linux)

2) 消除計算硬件差異：

• 使用相同的通用物理及虛擬存儲器容量。

• 使用相同的處理器架構和相同數(shù)量的內(nèi)核。

• 如果使用的是虛擬機，則要保證配置完全相同。

報告不可重復性問題

如果您遇到了輸入完全相同的不可重復性問題（如解決方案說明中所述），請打開服務請求并提供一個可演示該問題的測試案例。

沒有測試案例，可能很難確定并修復任務問題，但它可幫助提供盡可能多的信息。

Linux 和 Windows 之間偶爾會出現(xiàn)不可重復性問題，我們建議限制 Vivado 只在 Linux 上運行或只在 Windows 上運行。