Step 9: Running pr_verify

Isolation Design Flow + Dynamic Function eXchange Example Application Note (XAPP1361)
Document ID
XAPP1361
Release Date
2022-08-31
Revision
1.1 English
Run the pr_verify command from the Tcl console:
pr_verify ./project_idf_dfx_zcu102/project_idf_dfx_zcu102.runs/impl_1/
mb_dfx_controller_wrapper_routed.dcp 
./project_idf_dfx_zcu102/project_idf_dfx_zcu102.runs/child_0_impl_1/
mb_dfx_controller_wrapper_routed.dcp
You can see there are no errors with the following commands reported in the Tcl console.
INFO: [Vivado 12-3253] PR_VERIFY: check points 
./project_idf_dfx_zcu102/project_idf_dfx_zcu102.runs/impl_1/mb_dfx_controller_wrapper_routed.dcp 
and 
./project_idf_dfx_zcu102/project_idf_dfx_zcu102.runs/child_0_impl_1/
mb_dfx_controller_wrapper_routed.dcp are compatible