針對DFX設(shè)計，Vivado提供了命令report_pr_configuration_analysis，該命令會從設(shè)計復(fù)雜度、時鐘和時序等方面對其進行分析。使用該命令時，我們主要會用到其中3個選項：-complexity、-clocking和-timing。

選項-complexity聚焦在設(shè)計的資源使用情況，會給出指定RP下各RM的資源使用情況，同時給出各RM之間相比各種資源使用量的最大值，這需要用到選項-cells和-dcps。其中-cells指定RP的名字，而-dcps則會列出各RM所在的dcp文件。如下圖所示，Static列顯示了靜態(tài)區(qū)的資源利用情況，RP1 Max給出了RP1各RM相比各種資源使用量的最大值。這一點可從報告的第二部分進行驗證。報告的第二部分是對各RM資源利用情況的比較。

選項-clocking聚焦在時鐘的使用情況上。會給出各時鐘在靜態(tài)區(qū)和每個RM的負載個數(shù)，如下圖所示。

選項-timing聚焦在時序上，給出各RM和靜態(tài)區(qū)接口關(guān)鍵路徑時序，如下圖所示。

為了對各RM進行比較，使用report_pr_configuration_analysis時，要添加選項-cells和-dcps。由于該命令會逐次打開所有指定的dcp文件，所以會比較耗時，為此，確保每打開一個dcp，所要分析的條目全部執(zhí)行。這里給出該命令的最佳使用方式，如下圖所示，即同時添加-complexity、-clocking和-timing這3個選項。

我們還可以用report_drc對DFX設(shè)計進行分析，如下圖所示，點擊Vivado左側(cè)導(dǎo)航欄的Report DRC后會彈出如下圖所示界面，確定勾選DFX。建議在綜合之后執(zhí)行該命令，這樣可以盡早發(fā)現(xiàn)設(shè)計存在的問題。

對于DFX設(shè)計，所有configuration的靜態(tài)區(qū)應(yīng)該是完全一致的，因為Parent Run一旦執(zhí)行完畢，工具就會在布線層面鎖定靜態(tài)區(qū)供后續(xù)childrun使用。我們可借助命令pr_verify來驗證各configuration對應(yīng)的靜態(tài)區(qū)是完全一致的，具體命令如下：

該命令生成報告如下：

審核編輯：湯梓紅