Formal Verification based Security Verification in a System-On-Chip