Own the formal verification of microarchitecture blocks, methodologies, and critical aspects of CPU designs
Develop 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

Requirements

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 or a PhD with 4+ years
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

Benefits

Applicant Tracking System Keywords

Tip: use these terms in your resume and cover letter to boost ATS matches.

Hard Skills & Tools

formal verificationmicroarchitecturehardware modeling languagesSystem VerilogVerilogscripting languagesPythonPerlC/C++TCL

Soft Skills

collaborationmentoringproblem-solvingtechnical reviewdocumentation