This role involves leading formal verification efforts for industry-leading Intel CPU designs such as i9, i7, i5, and Xeon processors
Job Summary
This role involves leading formal verification efforts for industry-leading Intel CPU designs such as i9, i7, i5, and Xeon processors.
The successful candidate will collaborate with cross-geographical teams to create formal models, analyze failures, and guide team members on methodologies.
Candidates must possess a Master's degree in engineering or computer science along with extensive experience in hardware description languages.
Matching Summary
This role involves leading formal verification efforts for industry-leading Intel CPU designs such as i9, i7, i5, and Xeon processors.
Skills & Requirements
Must-have
8+ years experience in formal verification
Proficiency in Jasper Gold or VC-Formal tools
Expertise in SystemVerilog Assertions and PSL
Strong understanding of CPU architecture principles
Nice-to-have
Scripting proficiency in Tcl, Python, or Perl
Innovative mindset for efficiency improvements
Fast learner with detail-oriented approach
Key Requirements
Master's degree in Electrical Engineering or Computer Science
8+ years of professional experience in formal verification
Deep knowledge of Verilog, VHDL, and SystemVerilog Assertions