標準 DFX デザイン フローの場合と同様、Nested DFX デザイン イメージは pr_verify を使用してチェックし、すべてのイメージが同期するようにする必要があります。コア インプリメンテーション ツール (opt_design など) と同様、pr_verify はリコンフィギャラブルとマークされた現在のセルに基づいて実行されます。この点を考慮し、同じ現在のスタティック デザインを使用して同一条件での比較を実行します。
ここで示した例では、pr_verify を実行してチェックポイントのコレクションの A のバージョンと、Top のみがロックされてセル A がリコンフィギャラブルとしてマークされているバージョンを比較します (このステータスを使用した特定のデザイン イメージを作成するのに pr_recombine が必要な可能性あり)。Top と A1 の両方がロックされた状態のチェックポイントのコレクションで pr_verify を実行し、W と X の異なる RM を使用するすべてのイメージを比較してから、Top と A2 の両方がロックされた状態で同じことをして、Y と Z のすべてのイメージを比較します。