Assertion Based Verification of Hardware Circuits

Verifying circuit designs by verifying assertions (read as, properties) is
slowly becoming the popular verification strategy in the hardware
industry. The {\it Accellera} committee is trying to standardize a formal
property specification language to be used to specify assertions. At
present, there are many new formal tool vendor companies, which use model
checking based algorithms to support this method of verification.

In this talk, we will go over what assertion based verification is all
about. We will also talk about the progress made by the {\it Accellera}
committee towards a global standard. We will also look at the proof
methodology of some of the state-of-the-art tools which support this
strategy. There is a lot of scope for debate on the future of this, and
considering I am trying to find a thesis topic broadly in this area, I
hope we have a good discussion on wednesday.