Formal Verification In Hardware