11 Myths About Formal Verification

"Formal verification, which uses mathematical analysis rather than simulation tests, has been available in commercial EDA tools for more than 20 years and in academia much longer. As with many new technologies, initial adoption was slow and limited to companies who had in-house formal experts. This has changed dramatically in the last dozen years or so. Almost every chip-development team makes some use of formal tools, and the market continues to grow. Nevertheless, some myths about formal persist, and they may still be deterring some engineers who could benefit from it. It’s time for the truth to be told."

MATsolutions' insight:

Don't believe everything you may have heard about Formal Verification - especially if it is keeping you from using it. It can be very beneficial to use, so before avoiding it, read up on the myths and get to know the benefits. 

Read Original Article