The Accellera standard allows the development of new tools to access data from any tool that support the standard. This has allowed TVS 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 TVS freely available SystemC library also generates results that can be read directly into asureSIGN.
More details here.