T&VS demonstrate their use of UCIS to combine formal and simulation

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.