Formal Verification Lead

Inteelabs

Bangalore, India
Hybrid
8+ years formal verification experience
Jasper gold or vc-formal proficiency
Verilog vhdl systemverilog assertions psl
You will lead formal verification efforts for industry-leading CPU designs such as i9, i7, i5, and Xeon processors

Job Summary

  • You will lead formal verification efforts for industry-leading CPU designs such as i9, i7, i5, and Xeon processors.
  • The role requires creating and maintaining formal models and properties while analyzing failures to provide solutions to design teams.
  • This position offers a hybrid work model allowing employees to split time between on-site Intel locations and off-site work.

Matching Summary

You will lead formal verification efforts for industry-leading CPU designs such as i9, i7, i5, and Xeon processors.

Skills & Requirements

Must-have

  • 8+ years formal verification experience
  • Jasper Gold or VC-Formal proficiency
  • Verilog VHDL SystemVerilog Assertions PSL
  • CPU architecture and digital design principles
  • Master's degree in EE or Computer Science

Nice-to-have

  • Tcl Python or Perl scripting skills
  • Fast learner with detail-oriented mindset
  • Innovative mindset for efficiency improvements
  • Cross-geographical collaboration abilities
  • Training team members on formal tools

Key Requirements

  • Master's degree in electrical engineering or CS
  • 8+ years of formal verification experience
  • Proficiency in hardware description languages
  • Experience with formal verification methodologies

Work Rights

Not specified

Tailored Resume

Cover Letter