Senior Formal Verification Engineer

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:

As a Formal Verification engineer on the Infinity Fabric Verification team, you are part of a dedicated team whose work has enabled AMD to put multiple SoCs to market in any given year. The Infinity Fabric is part of every new AMD product being developed across Client, Server, Graphics, and Semi-Custom markets.

We are seeking an experienced Formal Verification leader with strong technical skills and a passion for architecting comprehensive, scalable formal solutions across complex components within a large IP block.

We have competitive benefit packages and an award-winning culture. This is your chance to be a part of this unique team - Join us!

The Person:

In this role, you have the unique opportunity to establish and grow a Formal Verification presence from the ground up using industry standard tools and techniques.  You will architect and build out a formal verification environment, help grow and mentor a small team of formal verification engineers and collaborate with both verification and RTL engineers to identify blocks and functionality conducive to formal.

The ideal candidate is a self-starter with a deep technical background and passion of Formal Verification, comfortable working in an environment with much more independence and autonomy than a traditional verification role.

Key Responsibilities:

When you join our verification team, you will contribute to the success of the Infinity Fabric team in several ways, including the following areas:

• Own the formal verification of a state-of-the-art industry leading Data Fabric IP for AMD’s CPUs, GPUs and APUs.
• Partner with members of the team for scoping work, resources, dependencies, and potential risks for project milestone scheduling.
• Identify blocks suitable to deploy formal verification.
• Work with design team to create FV test plan.
• Build formal verification environment, write assertions, covers and appropriate constraints.
• Build sign-off methodology with Formal.
• Deploy advanced convergence techniques using abstraction models and bug hunting methods.
• Create a common formal verification flow so properties and assertions can be ported to different hierarchies.
• Provide training and mentorship to design teams and other FV engineers on methodology and best-known practices.

 Preferred Experience:

• Architected and developed complex Formal verification environments and infrastructure, including scripting using Perl, tcl, or similar.
• Exposure to RTL design, formal verification, or other related domains.
• Exposure to low power formal techniques.
• Preferable experience with Formal Verification Tools (eg. VC Formal, Jasper, IFV)
• Cache coherency or industry standard AMBA protocol knowledge is a plus

Academic Credentials:

Degree in Electrical Engineering, Computer architecture, or Computer Science with a focus on computer architecture is preferred.

Location: Fort Collins, Co preferred

#LI-MR1

#LI-Hybrid

At AMD, your base pay is one part of your total rewards package.  Your base pay will depend on where your skills, qualifications, experience, and location fit into the hiring range for the position. You may be eligible for incentives based upon your role such as either an annual bonus or sales incentive. Many AMD employees have the opportunity to own shares of AMD stock, as well as a discount when purchasing AMD stock if voluntarily participating in AMD’s Employee Stock Purchase Plan. You’ll also be eligible for competitive benefits described in more detail here.

AMD does not accept unsolicited resumes from headhunters, recruitment agencies, or fee-based recruitment services. AMD and its subsidiaries are equal opportunity, inclusive employers and will consider all applicants without regard to 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, or any other characteristic protected by law.   We encourage applications from all qualified candidates and will accommodate applicants’ needs under the respective laws throughout all stages of the recruitment and selection process.