OneSpin Solutions Presenting at the Premier UK Industry Formal Event
—
OneSpin Solutions’ CEO Raik Brinkmann and VP Marketing Dave Kelf will be attending the Formal Verification Conference on 21 May 2015 in Reading UK with an important announcement to make regarding a new initiative to broaden access to the benefits of formal technology. FirstEDA will be represented too.
Extending the Formal-based Ecosystem – Refreshing the parts other formal tools can’t reach
Formal-based solutions have proven invaluable for tough verification problems, where the exhaustive nature of the formal approach may be combined with targeted apps. However, the apps that we have seen so far pale in comparison with the possibilities afforded by this technology. Formal techniques have the potential to revolutionise electronic verification and move beyond this space to other areas. However, to realise this potential, more thinking about the way we apply formal solutions is required. On the 21st May, OneSpin will make an announcement, which it believes will start to address this gap. Come along to this presentation to hear more about this interesting development.
- We need to address the gap between formal actual and formal potential
- Requires some different thinking about formal technology delivery
- Announcement on May 21st will explain more