Formal Verification + CIA Triad: Winning Formula for Hardware Security