Cpu Formal Verification Lead

Intel Retiree Medical Plan Trust

Bangalore, India
Hybrid
Master's degree in electrical engineering or computer science
8+ years of experience in formal verification
Proficiency in jasper gold or vc-formal tools
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 and debug verification failures.
  • Intel offers a hybrid work model allowing employees to split time between on-site and off-site work.

Matching Summary

This role involves leading formal verification efforts for industry-leading CPU designs such as i9, i7, i5, and Xeon processors.

Skills & Requirements

Must-have

  • Master's degree in Electrical Engineering or Computer Science
  • 8+ years of experience in formal verification
  • Proficiency in Jasper Gold or VC-Formal tools
  • Expertise in SystemVerilog Assertions and PSL
  • Strong understanding of CPU architecture and digital design

Nice-to-have

  • Scripting proficiency in Tcl, Python, or Perl
  • Fast learner with detail-oriented approach
  • Innovative mindset for efficiency improvements
  • Excellent verbal and written communication skills

Key Requirements

  • Master's degree required
  • 8+ years formal verification experience
  • Experience with Verilog and VHDL

Work Rights

Not specified

Tailored Resume

Cover Letter