The Formal Verification Conference brings Verification Engineers, academics and EDA venders together to encourage discussion and exchange of information. Users present their current experiences of using formal verification and the challenges in further deployment and EDA vendors present their solutions and roadmaps. Academics provide a longer term view of the technology. Discussion is also set up to encourage the exchange of use models and flows to improve the industrial application of formal both in the near and long term.
- FV2016 – Thursday 16 June, 2016
– See sessions and download the presentations