The Presentation Slides and Recordings of Formal Verification Conference 2016 are available now!

T&VS organized a Formal Verification Conference on 16 June 2016.  Speakers were from Mentor Graphics, University Southampton, OneSpinSolutions, Infineon, Cadence, Imagination, Gila Logic, and Broadcom and the presentations are now available on the T&VS website.

The Presentation Slides and Recordings are available here

2016-06-24T11:03:18+00:0024th June, 2016|Active Event, Blog, Events|