close By using this website, you agree to the use of cookies. Detailed information on the use of cookies on this website can be obtained on OneSpin's Privacy Policy. At this point you may also object to the use of cookies and adjust the browser settings accordingly.

DVClub: Leveraging UCIS for Simulation and Formal Verification Closure

2014-01-13 (12:00 - 14:00)

Managing Verification Data UCIS

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."

Agenda (UK) GMT

11.30  Arrival and Networking
12.00  Introduction, Mike Bartley, Test and Verification Solutions Ltd
12.05  Darron May, Mentor Graphics
12.35  Raik Brinkman, OneSpin Solutions
12.55  Adnan Hamid, Breker Systems
13.15  Ziyad Hanna, Jasper
13.30  Mike Bartley, Test and Verification Solutions Ltd 
13.45  Close and Networking

From 12:00 to 14:00 at various locations

  • Bristol:  Infineon, Great Western Court, Hunts Ground Road, Stoke Gifford, BS34 8HP
  • Cambridge:  ARM, 110 Fulbourn Road, Cambridge, CB1 9NJ
  • Eindhoven: Intel, High Tech Campus, Eindhoven 
  • Grenoble:  STMicroelectronics - Polygone Scientifique, 12 Rue Jules Horowitz, Grenoble
  • Sophia:  Business Pôle, Entrée A, 1047, Route des Dolines, 06901 Sophia Antipolis Cedex
  • Remote Access


Related Links