Before considering partial bitstream generation, always use PR Verify. PR Verify
compares multiple design images where RMs differ, but static is the same, to ensure all
DFX rules have been followed. If full configuration assembly is done, you can run PR
Verify in the standard way, comparing the entire static design for each checkpoint
configuration. However, PR Verify can also run in the Abstract Shell context, comparing
the initial Abstract Shell to the shell with the routed RM. If a checkpoint for an
Abstract Shell with a routed RM is still open in Vivado, you can use
the -in_memory option to compare it to the original
shell. The comparison here is between the Abstract Shell for u_shift with a black box
and the Abstract Shell with an RM implemented within it.
PR Verify fails if:
- A full static design checkpoint is compared to an Abstract Shell checkpoint
- An RM checkpoint is loaded without its Abstract Shell
- Abstract Shells for different RPs are compared