Have experience in deploying Formal Verification on complex micro-architectures. Be responsible for the delivery of formal verification activities related to a…