Formal Design Verification Engineer

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.




The Advance Formal Verification team is dedicated to formal verification. It provides formal functional and security verification for a broad range of IPs including input-output virtualization, PCIe Root-Complex/End-Point, inter-chiplet highspeed connections, etc.  We are currently looking for formal verification engineers with expertise in IP verification, formal verification methodologies, highspeed IO bus protocols and team leadership to take on the challenges.

In these highly visible roles, the qualified candidates will use cutting edge formal verification technologies to verify the newest IPs resulting in a level of design quality not paralleled by classical verification.



  • Collaborating with architects and designers to understand the design intents.
  • Creating and executing formal verification plans for design blocks.
  • Writing and debugging properties to verify the design, analyzing signatures and pushing for the resolution.
  • Optimizing runtime using formal techniques.
  • Collecting and reporting status and progress.
  • Improving formal setups based on feedbacks from reviews, metrics, etc.
  • For senior level positions:
    • Leading and coordinating verification activities for a small team.
    • Training and couching junior engineers.
    • Developing working procedures, flows and infra.
    • Handling complicated formal problems.



  • Combined ASIC/FPGA design and verification experience.
  • Strong background in formal property verification (FPV), sequential equivalence checking (SEC/SEQ/SLEC), and/or academic formal methods.
  • Expertise in a formal property language (SVA preferred), abstraction techniques, formal sign-off and commercial formal tools (VC-Formal, JasperGold, Questa Formal, etc.).
  • Extensive experience verifying complex, packet or control based designs.
  • Familiarity with industry standard high-speed protocols such as PCIe, SATA, USB, AXI, etc.
  • Experience with verification of Hardware-Firmware interaction is highly desirable.



  • BS (or higher) degree in Electronics/Electrical or Computer Engineering desired







Requisition Number: 166361 
Country: Canada Province: 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