Formal verification engineer - GFX IP (148341)

Location: Santa Clara, California, US

Company: Advanced Micro Devices

Apply now

Apply for Job

What you do at AMD changes everything 

At AMD, we push the boundaries of what is possible.  We believe in changing the world for the better by driving innovation in high-performance computing, graphics, and visualization technologies – building blocks for gaming, immersive platforms, and the data center. 

Developing great technology takes more than talent: it takes amazing people who understand collaboration, respect, and who will go the “extra mile” to achieve unthinkable results.  It takes people who have the passion and desire to disrupt the status quo, push boundaries, deliver innovation, and change the world.   If you have this type of passion, we invite you to take a look at the opportunities available to come join our team.

Formal verification engineer - GFX IP (148341)


The Role

AMD’s Graphics IP organization is looking for a Design Verification candidate with a strong Formal Verification work experience and background to join our team. Candidate will be a part of a Formal Verification execution team which is responsible for innovating, architecting, and deploying Formal Verification solutions to tackle interesting problems across the GFXIP organization.


The Person

Candidate should possess work experience in different Formal Verification Methodologies such as but not limited to Property Verification, C vs RTL Equivalence Checking, Sequential (RTL-RTL) Equivalence checking, etc. and in Formal Verification Techniques such as blackboxing, abstractions, assume-guarantee, etc.


Preferred Experience

3+ years of Formal Verification experience.


Candidate is required to have strong System Verilog, System Verilog Assertion (SVA) and TCL scripting skills.


Candidate should be versed in one or more industry leading Formal Verification tools such as VC Formal, Jasper Gold, Questa Formal, etc.


Additionally, experience in any of the following is nice to have but not mandatory - C++, Perl, YAML, Shell scripting, Python.


Knowledge of the Graphics Hardware is a plus but not mandatory.


Lastly, the candidate must be able to work independently and be self-motivated to identify, innovate upon, architect and deploy Formal Verification solutions.



Requisition Number: 148341 
Country: United States State: California City: Santa Clara 
Job Function: Design

Benefits offered are described here.

AMD does not accept unsolicited resumes from headhunters, recruitment agencies or fee based recruitment services. AMD and its subsidiaries are equal opportunity employers. We consider candidates regardless of age, ancestry, color, marital status, medical condition, mental or physical disability, national origin, race, religion, political and/or third party affiliation, sex, pregnancy, sexual orientation, gender identity, military or veteran status. Please click here for more information.

Apply now

Apply for Job

Share this Job