3.6 External Tools: Checking Xilinx Vivado Designs in ALINT-PRO Modern Xilinx designs are quite complex and often involve IP blocks. While Vivado can provide basic DRC methodologies and CDC Checks, debugging the results can be difficult. Importing your Xilinx Vivado designs into Aldec's ALINT-PRO would be particularly useful to prevent mistakes in early design stages, and the flow is much quicker as it would avoid low-level synthesis and optimization.​