I was fortunate enough to be at DVCon this week to hear about the Synopsys Verification Continuum.
Over the last couple of years Synopsys has assembled a broad portfolio of leading edge technologies. This means they can now span a number of different technologies, from virtual platforms, RTL simulation, formal techniques, emulation and FPGA prototyping. They enable common inputs, scripts, debug, etc. to all of these technologies.
Read more here.