Graphics Formal Verification Engineer

Job Description

Are you passionate about working on cutting-edge technology and bringing it to life?
Intel Xe Architecture and IP Engineering (XAE) Low Power Group has an opportunity for you. We deliver industry-leading GPU (3D, media, compute, and display) design blocks and system-on-a-chip (SoC) products for discrete graphics and throughput computing.

We are looking for Graphics Formal Verification Engineer who is passionate about FV methodologies and DV in general.
The initial focus of the role deals with numerical correctness and control path verification of FPUs and Systolic Pipelines within the Execution units of the GPU.
The role has synergy with existing internal consultancy teams within the Graphics division.

In this position, the responsibilities will include, but are not limited to:

• Ownership of formal verification of a block/cluster from test planning all the way to sign-off.

• Development of formal verification test plans, test benches, coverage models, and SVA libraries.

• Contribute to continuous improvement of FV workflow and methodologies.

• Contribute to the development and maintenance of long-term design verification strategy.

• Introduce FV into strategic areas in light of root causing any bug escapes.

• Provide indicators and guidance to management on issues and roadblocks on a timely basis.

• Track the progress of the block/ cluster owned to achieve goals in a timely manner.

• Participate in discussions across various disciplines to get a clear understanding of product features and their validation requirements, and their suitability with FV methodologies.

• Raising FV to higher levels of abstraction raises the level of value; contributes to and drives architectural and micro-architectural FV initiatives e.g. formally verifiable interfaces

• Mentor other engineers in using the FV infrastructure and creating test benches.

Qualifications

• BE/BTech or ME/MTech with at least 5 years of hands-on Formal verification experience in either Datapath or Controlpath designs.

• Proficiency in SV, SVA, and object-oriented programming.

• Proficiency in mainstream formal verification tools (Jasper / VCFormal / HECTOR / OneSpin)

• Strong understanding of engineering design principles

• Strong understanding of Formal Verification concepts

• Proven track record in IP verification from environment development to test development to validation closure

• Proficient at the creation of test plans schedules and cost estimates for design verification efforts

• Experience in the development and deployment of verification strategies and methodologies across teams and organizations

• Excellent written and verbal communication skills

• Proven experience in deploying formal verification into multiple cross-geographical teams

Preferred Qualifications :

• Expert-level knowledge of Jasper and its apps (including FPV, SEC/Clockgating, C2RTL, RTL2RTL)

• Knowledge of 3D Graphics Pipeline and concepts

• Experience in CPU/GPU functional modelling and simulation

• Experience with simulation-based verification.

• Experience in automation and scripting languages and utilities including Make Perl Python etc.

• Working knowledge in any of C/C++/C#/Assembly

• Experience and knowledge of FPU designs

• History of collaborations with vendors and academia

Behavioral traits that we are looking for:

• Highly inquisitive

• Excellent creative analytic problem-solving skills

• Friendly and patient with high levels of technical empathy

• Generous and motivational with ideas and knowledge

• Interested in providing complete, clear and concise delivery of complex material, whether emailed, presented, documented or verbalized tailored to the audience.

• Consistent ability to challenge the status quo - tenacious in driving improvements and innovations

• Successfully and patiently liaise with and influence multiple groups

• Ambitious in the quality, scope and longevity of your work

• Willing and interested in mentoring others

• Ability to multitask and work in a dynamic and team-oriented environment

Inside this Business Group

The focus of Accelerated Computing Systems and Graphics (AXG) is to accelerate our execution in strategic growth areas of high-performance computing and graphics. AXG is chartered with delivering high performance computing and graphics solutions (IP, Software, Systems), for both integrated and discrete segments across client, enterprise and data center.  Our mission is to make zeta-scale computing accessible to every human on the planet by the end of this decade and to entertain, educate and connect billions of people with buttery smooth visual experiences.

Posting Statement

All qualified applicants will receive consideration for employment without regard to race, color, religion, religious creed, sex, national origin, ancestry, age, physical or mental disability, medical condition, genetic information, military and veteran status, marital status, pregnancy, gender, gender expression, gender identity, sexual orientation, or any other characteristic protected by local law, regulation, or ordinance.

Benefits

We offer a total compensation package that ranks among the best in the industry. It consists of competitive pay, stock, bonuses, as well as, benefit programs which include health, retirement, and vacation. Find more information about all of our Amazing Benefits here: https://www.intel.com/content/www/us/en/jobs/benefits.html

Working Model

This role is available as a fully home-based and generally would require you to attend Intel sites only occasionally based on business need. This role may also be available as our hybrid work model which allows employees to split their time between working on-site at their assigned Intel site and off-site. In certain circumstances the work model may change to accommodate business needs.