VIV2 is available with Vivado framework in the form of built-in DRCs. This allows violations to be highlighted directly in the Vivado graphical user interface. The DRCs that apply to the pin assignments and floorplanning constraints are intended to aid board design. The DRCs that apply to the implemented placement and routing are intended to provide proof that isolation was achieved.