Evolution of Model Checking into the EDA Industry

Abstract

Today, the Electronic Design Automation (EDA) industry is making its second attempt to commercialize model checking tools for hardware verification. Its first attempt started about 6 years ago, in 1998. While this first attempt was only barely successful commercially, it resonated well enough with customers of the model checking tool vendors to motivate a second round of commercial offerings in 2004.