The Accellera standard allows the development of new tools to access data from any tool that support the standard. This has allowed T&VS to develop asureSIGN to access simulation data from Cadence and Mentor simulators and to combine it with Formal Verification results from OneSpin. This allows users to create a plan that combines formal and simulation and then combine the results in a single tool. The T&VS freely available SystemC library also generates results that can be read directly into asureSIGN.
More details here.