|Title:||Leveraging UCIS for Simulation and Formal Verification Closure|
Abstract : 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. This presentation will suggest methods by which multiple coverage sources may be combined to produce comprehensive project metrics, a picture of test “completeness.”
Biography : Raik Brinkmann, a co-founder of OneSpin Solutions, was named president and CEO in 2012, with overall responsibility for leading the company and its business growth worldwide. He brings to this role more than 15 years of broad expertise in management, verification and industrial R&D, having served at companies in both Europe and the U.S. Dr. Brinkmann holds a Diplom Informatiker from the Clausthal Technical University, Germany and a Dr.-Ing. from the Department of Electrical Engineering at the University of Kaiserslautern, Germany.