Fvcto - Formal Verification Engineer

Intel

Bangalore, India
Formal verification methodology
Model checking algorithms
Equivalence checking techniques
The role involves conducting comprehensive verification of IP and SoC microarchitecture using advanced formal verification tools and methodologies

Job Summary

  • The role involves conducting comprehensive verification of IP and SoC microarchitecture using advanced formal verification tools and methodologies.
  • Candidates will create abstraction models, develop formal proofs, and resolve BDD complexity on arithmetic data paths to ensure design convergence.
  • This position requires close collaboration with architects, RTL developers, and physical design teams to improve verification of complex architectural features.

Matching Summary

The role involves conducting comprehensive verification of IP and SoC microarchitecture using advanced formal verification tools and methodologies.

Skills & Requirements

Must-have

  • Formal verification methodology
  • Model checking algorithms
  • Equivalence checking techniques
  • Abstraction models creation
  • BDD complexity resolution

Nice-to-have

  • Collaboration with architects
  • RTL developer interaction
  • Physical design team support
  • New methodology development
  • Technical review leadership

Key Requirements

  • 4-9 years experience in formal verification
  • BTech/MTech in Electronics, Electrical or CS
  • On-site presence required in Bangalore

Work Rights

Not specified

Tailored Resume

Cover Letter