Vivado allows you to run multiple synthesis runs concurrently or serially, enabling you to find the synthesis settings that yield the best results for your design. On Linux, you can also run jobs on remote hosts, increasing your ability to explore more diverse settings.
Each synthesis run produces a separate netlist within the Vivado project directory. Opening these netlists in Vivado enables you to analyze each design, create I/O pin constraints, check timing, floorplan the device, and optionally proceed with implementation.
The most comprehensive set of DRCs is also available after the netlist is synthesized. This is the first point in the flow when the entire design is linked and Vivado has visibility of the complete netlist, including all design logic and the full clocking structure.