Browsing Theses by Author "Vediramana Krishnan, Hari Govind"
Now showing items 1-1 of 1
-
Strong Induction in Hardware Model Checking
Vediramana Krishnan, Hari Govind (University of Waterloo, 2019-08-14)Symbolic Model checking is a widely used technique for automated verification of both hardware and software systems. Unbounded SAT-based Symbolic Model Checking (SMC) algorithms are very popular in hardware verification. ...