PREFERRED EXPERIENCE:

• Good understanding of computer organization/architecture
• Knowledge of scripting languages such as Python or TCL
• Internship or project experience in digital design or verification
• Experience or familiarity with formal tools and/or functional verification tools from Synopsys, Cadence or Mentor Graphics

WHAT YOU DO AT AMD CHANGES EVERYTHING

We care deeply about transforming lives with AMD technology to enrich our industry, our communities, and the world. Our mission is to build great products that accelerate next-generation computing experiences – the building blocks for the data center, artificial intelligence, PCs, gaming and embedded. Underpinning our mission is the AMD culture. We push the limits of innovation to solve the world’s most important challenges. We strive for execution excellence while being direct, humble, collaborative, and inclusive of diverse perspectives.
AMD together we advance_

THE ROLE:

AMD is seeking a passionate and talented Sr. Formal Verification Engineer to join our dynamic GFXIP (Graphics IP) Formal Verification team. This role offers you the chance to work with some of the most talented formal verification experts in the industry, applying cutting-edge formal techniques to verify our complex GPU designs. This is an excellent opportunity for a recent graduate or early-career professional to grow their skills in a collaborative and innovative environment.

KEY RESPONSIBILITIES:

• Drive formal verification execution with support from FV tech leads for GFX-IP blocks
• Collaborate with design and architecture teams to understand design specifications and develop verification requirements
• Utilize formal techniques to build comprehensive testbenches, striving for better convergence of formal proof
• Debug testbench and/or design issues using formal tools and provide feedback for design improvements
• Responsible for verification quality metrics like pass rates, code/functional coverage and proof convergence
• Document formal verification processes, findings, and best practices
• Continuously learn and stay abreast of advancements in formal verification and related technologies