Join us on Thursday, 15th May 2014 for the annual Formal Verification Conference in Reading where you will be able to listen to Abdelouahab Ayari an Application Engineer with Mentor Graphics.  He will be talking about how formal verification was once considered to be a fringe verification method and how it has now moved to mainstream in his presentation appropriately called ‘Formal is the new Normal’

We will also be joined by Sai Karthik Madabhushi a Senior Field Application Engineer at Jasper Design Automation who will be presenting Formal-based Coverage –Driven Verification which will focus on formal-specific coverage metrics for stimuli and property completeness, as well as proof coverage – both for bounded and full proofs.

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