Xilinx Vivado 20202 Fixed ^hot^

Addresses issues found in the initial 2020.2 release (SW Build 3064766). Where to find: Available on the Xilinx Downloads Page .

The boundary logic extraction algorithm was recalibrated. pr_verify now correctly ignores dummy cells placed during the initial configuration stage. This was a silent killer for many defense and aerospace projects that rely on PR. xilinx vivado 20202 fixed