Ziyad Hanna, vice president for R&D and a Fellow at Cadence, speaking at the Jasper User Conference, suggests that Formal Verification has the potential to significantly change the face of verification but sees 3 major challenges to overcome
- Increased democratization of the technology among engineers. That is spread the use of the tool amongst the engineering community.
- More scalability. In other words, continue to increase the capacity and performance of the tools.
- Integration within existing verification tools and flows.
I personally see the latter as a big barrier. I have often seen verification managers try to introduce formal verification but have no answer when faced with the question “what does it replace?”. However, at Verification Futures 2015, OneSpin presented on how to combine results from simulation and formal into a single verification plan using asureSIGN.