Abstract:

Recently, increasing complexity of hardware designs and theoretical breakthroughs in algorithmic verification have provided the opportunity for formal verification to emerge from academia to commerce. Suddenly, there are at least four serious design tools based upon the theory of formal verification, available in the commercial market, with more on the way. I will discuss the basis and future of this new trend.