CPU Formal Verification Lead

About This Role

• Position Overview: As a Formal Verification Lead, you will lead and drive the formal verification efforts for complex, industry-leading CPU designs ( i9, i7, i5, and Xeon processors.) • Develop and master formal verification environments for control path and/or datapath designs. • Collaborate closely with cross-geographical design and architecture teams to understand specifications and identify verification needs. • Create and maintain formal models and properties for CPU components; analyze and debug verification failures, providing feedback and solutions to design teams. • Guide and train team members in using formal tools and methodologies to successfully complete their verification assignments. • Stay updated with the latest advancements in formal verification technologies and methodologies, integrating them into the team's workflow. • Benchmark and develop new formal methodologies and tool flows to prove the correctness and reliability of complex digital circuits.
• Soft skills • Good verbal and written communication • Fast learner, adhere to the timelines and detail oriented. • Focus on executional excellence, innovative mindset to bring efficiency and out of the box ideas.