Formal Verification Engineer - 78942

Location: Markham, Ontario, CA

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.



Title : Formal Verification Engineer


The Role :This position is a full time formal verification engineer. The candidate will use formal tool to signoff parts of IPs.


The Person : 


Responsibilities :

The first assignment will be USR for NV31.

Planning formal activities

  - Creating strategies to prove long running assertions

  - Defining and writing SystemVerilog Assertions (SVA)

  - Understanding design and debuging findings

  - Formal signoff using metrics


Preferred Experience & Skill set :

design verification

digital circuits


commercial formal tool


Requisition Number: 78942 
Country: Canada State: Ontario City: Markham 
Job Function:Design


AMD is an inclusive employer dedicated to building a diverse workforce. We encourage applications from all qualified candidates and will accommodate applicants’ needs under the respective provincial human rights codes throughout all stages of the recruitment and selection process. Any applicant who requires accommodation should contact

AMD does not accept unsolicited resumes from headhunters, recruitment agencies or fee based recruitment services.


Apply now

Apply for Job

Share this Job