is there a table of verification tools used?

[lmg260a]

The docs show a wide variety of vendor tools used: Siemens verification IP, Cadence simulator, Verilator, UVM, UVMF, etc.
Is there a table showing what tools work with what? Verilator doesn't support UVM. It's going to be a small group of people who have both Siemens VIP and Cadence.
In particular - I've got access to an all-Siemens set of tools; is all-Siemens supported?