CPU Formal Verification Engineer

Key Responsibilities

• Own the formal verification of microarchitecture blocks, methodologies, and critical aspects of CPU designs.
• Create comprehensive formal verification strategies, plans, and proofs aligned with microarchitecture specifications.
• Create abstraction models to simplify design complexity and ensure convergence on validation.
• Collaborate with architects, RTL developers, and physical design teams to enhance verification efficiency.
• Analyze, debug, and resolve issues identified during verification, documenting findings and corrective actions.
• Develop and document formal verification test plans and conduct technical reviews with design and architecture teams.
• Maintain and innovate formal verification infrastructure and methodologies to streamline development.
• Mentor junior engineers and contribute to the growth of technical expertise within the team.
• Support post-silicon failure debug and resolution efforts when required.

Qualifications

• Bachelor's degree in Computer Engineering, Electrical Engineering, or a related field with 8+ years of relevant experience, or a Master's degree with 6+ years of relevant experience, or a PhD with 4+ years of experience.
• Experience in 3 or more of the following areas:
• Proficiency in formal verification, including the use of industry-standard tools such as JasperGold, Questa Formal, or VC Formal.
• Strong understanding of computer architecture fundamentals, microarchitecture, and memory systems.
• Hands-on experience with hardware modeling languages, including System Verilog or Verilog.
• Proficiency in scripting or programming languages such as Python, Perl, C/C++, or TCL.
• Experience in assertion writing, coverage analysis, and failure debugging.
• Preferred qualifications:
• Familiarity with x86 architecture, ISA, and system architecture.
• Experience with post-silicon validation and debugging.
• Demonstrated technical innovation through research publications, patents, or advanced validation methods.
• Strong communication and collaboration skills, with a track record of teamwork in cross-functional environments.