Formal Verification – From the Apps to Solutions

There is now only a few days before the Formal Verification Conference in Reading commences on Thursday, 15th May, where you will be able to listen to Joerg Mueller a Senior Verification Engineer with Cadence.  Joerg’s presentation is:  From the Apps to the Solutionsand how we see wide parts of the industry are aligning to deploy formal verification in a mainstream fashion.

We will also be joined by speakers from Dialog Semiconductor, Infineon Technologies and Broadcom.  This promises to be a full and interesting day.

For more information about the speakers and to register to attend in person or by Remote Access, visit our website.

2015-01-19T11:03:46+00:0011th May, 2014|Hardware Verification, TVS-Bristol|