Formal Verification Engineer - CPU Core (AI)

TL;DR

Formal Verification Engineer (CPU Core): Verifying architecture and micro-architecture changes for next-generation CPUs with an accent on dynamic and formal verification methods. Focus on writing verification test plans, developing pre-silicon collateral, and leading ROI analysis for formal vs dynamic validation.

Location: Hybrid in Folsom, California, US

Salary: $105,650 – $200,340

Company

A global leader in semiconductor innovation shaping the future of AI, analytics, and cloud-to-edge technology.

What you will do

• Verify architecture and micro-architecture changes in the CPU using dynamic and formal methods.
• Develop comprehensive verification test plans and write tests to execute them.
• Create pre-silicon verification collateral, including behavioral checkers, coverage monitors, and test generators.
• Define formal verification strategies for significant portions of the CPU design.
• Debug failing tests and collaborate with designers and architects to resolve bugs.
• Analyze coverage gaps and implement strategies to fill coverage holes.

Requirements

• Bachelors in Computer/Electrical Engineering or related STEM field with 2+ years experience (or Masters with 1 year).
• In-depth knowledge of computer architecture, specifically out-of-order execution and memory hierarchy.
• Proficiency in hardware modeling languages like Verilog, VHDL, or SystemVerilog.
• Experience with industry-standard formal verification tools such as JasperGold, IFV, Questa Formal, or VC Formal.
• Programming skills in C/C++, Java, or Specman E, and scripting in Python, Perl, or Ruby.
• Must be based in or able to work in Folsom, California (Hybrid).

Nice to have

• Knowledge of hirify.global Architecture ISA and x86 assembly language.
• Experience in pre/post-silicon debug and analysis.
• Technical innovation evidence via research publications or patent filings.
• Experience with sequential equivalence checking and formal abstractions.

Culture & Benefits

• Competitive total rewards package including stock bonuses.
• Comprehensive health, retirement, and vacation benefit programs.
• Hybrid work model allowing employees to split time between on-site and off-site work.
• Opportunity to work on breakthrough silicon powering the AI revolution.