For comprehensive information about Vivado Design Suite simulation components, as well as information about using supported third party tools, see the Vivado Design Suite User Guide: Logic Simulation (UG900) [Ref 6].
For information about simulating the example design, see Simulating the Example Design.