Cpu Formal Verification Lead

Intel Retiree Medical Plan Trust

Bangalore, India
Hybrid
Formal verification environments
Formal models and properties
Cpu design verification
Lead and drive formal verification efforts for complex, industry-leading CPU designs (i9, i7, i5, and Xeon processors)

Job Summary

  • Lead and drive formal verification efforts for complex, industry-leading CPU designs (i9, i7, i5, and Xeon processors).
  • Collaborate closely with cross-geographical design and architecture teams to understand specifications and identify verification needs.
  • Benchmark and develop new formal methodologies and tool flows to prove the correctness and reliability of complex digital circuits.

Matching Summary

Lead and drive formal verification efforts for complex, industry-leading CPU designs (i9, i7, i5, and Xeon processors).

Skills & Requirements

Must-have

  • Formal verification environments
  • Formal models and properties
  • CPU design verification
  • Formal verification methodologies
  • Digital design principles
  • CPU architecture understanding

Nice-to-have

  • Fast learner
  • Detail oriented
  • Executional excellence
  • Innovative mindset
  • Out of the box ideas

Key Requirements

  • Master's degree in electrical engineering, Computer Science, or related field
  • 8+ years of experience in formal verification
  • Proficiency in Jasper Gold, VC-Formal, or equivalent tools
  • Experience with Verilog, VHDL, SystemVerilog Assertions, PSL
  • Proficiency in Tcl, Python, or Perl scripting

Work Rights

Not specified

Tailored Resume

Cover Letter