Uncovering Hardware Vulnerabilities: Formal Verification for Security-Focused Negative Testing