Step 9: Running pr_verify

Isolation Design Flow + Dynamic Function eXchange Example Application Note (XAPP1361)

Document ID
XAPP1361
Release Date
2024-05-23
Revision
1.2 English
Run the pr_verify command from the Tcl console:
pr_verif ./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