Advanced Micro Devices, Inc

Formal Verification Engineer

Advanced Micro Devices, Inc$120K — $150K *
Information Technology
8 - 10 years of experience
Job Overview by Ladders

Qualifications

  • 8+ years experience in design verification, particularly in formal verification
  • Hands-on with VC Formal (Synopsys) and/or JasperGold (Cadence)
  • Proficient in SystemVerilog Assertions (SVA) and property specification
  • Familiar with scripting languages like TCL, Python, or Perl for flow automation
  • Bachelor's or Master's in Computer Engineering or Electrical Engineering

Responsibilities

  • Develop and execute formal verification strategies using VC Formal and/or JasperGold
  • Write, review and debug SystemVerilog Assertions (SVA) for complex design behaviors
  • Drive convergence on formal proofs using abstraction and complexity reduction techniques
  • Collaborate with RTL designers to integrate formal methods into verification plans
  • Identify new design blocks for formal verification, advocating a 'formal-first' approach
  • Develop reusable formal verification infrastructure and automated regression flows
  • Mentor junior engineers in formal verification techniques and best practices

Benefits

  • Comprehensive AMD benefits package includes health care and wellness programs
  • Flexible work arrangements with a hybrid work model
  • Support for professional development and continuing education
  • Opportunities for collaboration on cutting-edge technology in AI/ML markets
  • Diversity and inclusion initiatives to create an equitable workplace
Full Job Description
THE ROLE:

The Infinity Fabric network on the chip verification team is growing and looking for qualified candidates to help verify our configurable switches and die-to-die interconnect. Infinity Fabric is part of every new AMD product being developed for AI/ML, Client, Server, Graphic Accelerator, and Semi-Custom markets.

THE PERSON:

Team is seeking a highly skilled and motivated person to join our verification team. In this role, you will drive formal verification efforts across complex hardware designs, applying rigorous mathematical methods to prove design correctness and find corner-case bugs that escape simulation. You will serve as a subject matter expert in formal verification methodologies, mentor junior engineers, and collaborate with RTL designers, simulation-based verification engineers, and architects to shift verification left and improve overall design quality.

KEY RESPONSIBLITIES:
  • Develop and execute formal verification strategies using VC Formal and/or JasperGold for property checking (FPV), connectivity checking (CC), register verification (FRV), and sequential equivalence checking (SEQ)
  • Write, review, and debug SystemVerilog Assertions (SVA) - including assumptions, assertions, and cover properties - to verify complex design behaviors
  • Drive convergence on formal proofs by applying abstraction techniques, complexity reduction strategies, and assume-guarantee reasoning
  • Collaborate with RTL designers and architects to define verification plans that incorporate formal methods alongside simulation-based approaches
  • Identify and pursue opportunities to apply formal verification to new design blocks, championing a "formal-first" or "shift-left" verification strategy
  • Develop reusable formal verification infrastructure, including constraint libraries, parameterized property templates, and automated regression flows
  • Mentor and guide MTS and junior engineers in formal verification techniques and best practices

PREFERRED EXPERIENCE:
  • Hands-on experience with VC Formal (Synopsys) and/or JasperGold (Cadence)
  • Strong proficiency in SystemVerilog Assertions (SVA) and formal property specification
  • Experience with formal verification applications: FPV, connectivity checking, register verification, equivalence checking, and coverage analysis
  • Familiarity with scripting languages (TCL, Python, Perl) for flow automation
  • Minimum 8+ years of experience in design verification with a strong focus on formal verification

ACADEMIC CREDENTIALS:

  • Bachelors or Masters degree in computer engineering/Electrical Engineering


LOCATION:

Austin, TX; Boston, MA and Santa Clara, CA

This role is not eligible for visa sponsorship.

#LI-DD3

#LI-HYBRID

Benefits offered are described: AMD benefits at a glance.

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

About Advanced Micro Devices, Inc

Advanced Micro Devices, Inc. Careers

Join the innovative forefront of technology with a career at Advanced Micro Devices, Inc. (AMD), a leader in semiconductor development. As part of our global team, you will contribute to an organization renowned for its dedication to innovation, leadership, and diversity in the tech industry.

Work You’ll Do

At AMD, we offer job opportunities that push the boundaries of what is possible. Our team is composed of professionals who lead the way in microprocessor and graphics technology, driving industry standards and innovation. With AMD, you will be part of a culture that values growth and professional development, ensuring that every team member has the opportunity to excel.

Transform Your Career

AMD is not just about advancing technology, but also about advancing careers. Whether you are looking for an internship, a full-time position, or leadership roles, AMD provides the platform to propel your career to new heights. Our commitment to professional growth is matched by our dedication to diversity and inclusion, making AMD a place where everyone can thrive.

Innovative Work Environment

Join a team of over 12,000 dedicated professionals at the intersection of technology, industry expertise, and digital innovation. At AMD, you will work on groundbreaking projects that shape the future of computing and graphics. Our collaborative environment encourages networking and the sharing of ideas across teams and disciplines.

Career Development and Benefits

AMD is committed to the development of its employees. We offer robust training programs, including leadership development and diversity training, to ensure our team is equipped for both current challenges and future opportunities. Our benefits package is designed to support the well-being and financial security of our employees and their families.

Explore Job Opportunities

From engineering to marketing, AMD offers a range of career paths that cater to diverse skills and interests. Our hiring process is designed to be transparent and engaging, helping you to understand where you fit within our team and how you can contribute to our collective goals.

Stay Connected

Join Our Team Search open positions that match your skills and interest. We look for passionate, curious, creative, and solution-driven team players. Explore the opportunities to join a company that’s committed to your career growth and to innovation in the technology sector.

Keep Up to Date

Stay ahead with career tips, insider perspectives, and industry-leading insights you can put to use today—all from the people who work here.

Job Alert Emails

Personalize your subscription to receive job alerts, latest news, and insider tips tailored to your preferences. Discover the exciting and rewarding career opportunities that await at Advanced Micro Devices, Inc.

Interview and Resume Tips

Prepare for your future with AMD by accessing resources that help you craft your resume and excel in interviews. Our goal is to help you showcase your best professional self and align your skills with the needs of our dynamic team. At Advanced Micro Devices, Inc., we empower our employees to innovate, lead, and grow. Join us in driving the future of technology while building a rewarding and sustainable career.
Learn more about Advanced Micro Devices, Inc
Size
15,500 employees
Market Cap
$100.9 billion
Industry
Net Income
$2.4 billion
Founded
1969
5 Year Trend
+30.9%
Revenue
$9.7 billion
NASDAQ

Similar Jobs

More Jobs at Advanced Micro Devices, Inc

More Information Technology Jobs

Find similar Formal Verification Engineer jobs: