Leveraging UCIS for Simulation and Formal Verification Closure

Accellera’s UCIS standard targets a critical need to bring together verification coverage information from multiple sources.  The standard provides an effective mechanism for this purpose and OneSpin is able to interface its simulation and formal coverage closure technologies into the prescribed API.  A range of more advanced coverage solutions may also be used to drive the database, providing extra verification clarity.

Raik Brinkmann, a co-founder of OneSpin Solutions, will give a presentation at the next European DVClub on Monday Jan 13th 2014 where he will suggest methods by which multiple coverage sources may be combined to produce comprehensive project metrics, a picture of test “completeness.”

To find out more about Riak and to register for DVClub in Bristol, Cambridge, Eindhoven, Grenoble, Sophia and by Remote Access.

Leave a Reply