Recent Advancements in Hardware Verification — How to Make Theorem Proving Fit for an Industrial Usage

Abstract

One of the predominant applications of formal methods including theorem proving is the verification of both software and hardware. However, whereas software verification must still be considered mainly as an academic exercise, hardware verification has become an established technique in industry. Commercial hardware verification tools are available from leading EDA (electronic design automation) tool vendors and are an essential part of many established digital design flows. This contrasts to the fact that software verification has been an ongoing research topic for a considerably longer time compared to activities in hardware verification.