1) 4+ years of experience in formal verification sign-off. 2) Signed-off multiple IPs including new and legacy designs. 3) end-to-end assertion based verification across multiple IPs. 4) Specific SoC level formal verification of specific functionalities. 5) Formal property verification, register verification, connectivity checks, CGC and CDC checks etc. 6) Reusable verification IPs development which can be used across multiple programs 7) Threat analysis for secure blocks. Currently working as a formal verification engineer for Qualcomm. Always love to dig out critical issues in the design.