This role involves leading formal verification efforts for industry-leading CPU designs such as i9, i7, i5, and Xeon processors
Job Summary
This role involves leading formal verification efforts for industry-leading CPU designs such as i9, i7, i5, and Xeon processors.
The successful candidate will collaborate with cross-geographical teams to develop formal models, analyze failures, and guide team members in using verification tools.
Candidates must possess a Master's degree in engineering or computer science along with over eight years of experience in formal verification.
Matching Summary
This role involves leading formal verification efforts for industry-leading CPU designs such as i9, i7, i5, and Xeon processors.
Salary
Not specified; Not specified; Not specified
Skills & Requirements
Must-have
Formal verification methodologies
CPU architecture understanding
Jasper Gold or VC-Formal tools
SystemVerilog Assertions experience
Verilog or VHDL proficiency
Nice-to-have
Tcl, Python, or Perl scripting
Fast learner with attention to detail
Innovative mindset for efficiency
Cross-geographical collaboration skills
Training team members on tools
Key Requirements
Master's degree in Electrical Engineering or Computer Science