Harry Foster has published an article on the Electronic Products website.
Harry describes why formal verification is the key to 40 more years of chip design.
"Formal verification, or specifically formal property checking, is one of those ideas in technology that, for many people, has never fully lived up to its promise. It’s easy to get a sense of the origin and growth of the specific term in the technical literature by simply doing a search through the IEEE Xplore database. What you will find is that the references to the term “formal verification,” which is the proof of properties on designs using logic rather than testing, dates back to the early 1980s...."
Read the entire article.