MTS Silicon Design Engineer

Jan 24, 2024
Austin, United States
... Not specified
... Intermediate
Full time
... Office work


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_




MTS GRAPHICS FORMAL VERIFICATION ENGINEER

 

THE PERSON: 

 

We are looking for an experienced formal verification engineer to join a fast-growing team. You will be part of shaping and developing how formal verification is deployed across projects and teams, working on next generation graphics IP.

Become a member of a verification group aiming at promoting, developing, and supporting advanced formal verification techniques, your role day-to-day will include building formal verification environments for critical areas of the GPU design, supporting usage of formal tools with design and verification teams.

Develop new formal methodologies to be rolled out to the wider design and verification teams and investigate new capabilities based on formal. Interact and co-operate with EDA vendors, to develop new features, improve performance and make sure their tools meet the needs of the graphics IP team.

 

Essential Attributes

  • Experience of architecting and implementing formal verification environments for complex IP/module level designs
  • Experience in functional verification or digital hardware design
  • Experience of property-based model-checking, practical experience of SystemVerilog Assertions (SVA)
  • Experience with an industry leading formal tool (e.g. Cadence JasperGold, or Synopsys VC-Formal).
  • Ability to quickly understand and apply complex specification details.
  • Strong communication skills and ability to work well as part of a team.
  • Understanding of computer architecture and micro-architectural concepts
  • Proven track record of technically owning, implementing and driving the verification process from test plan creation to verification sign-off through individual contribution and delivery through others.


Desirable Attributes

  • Experience of formal sequential equivalence checking with a leading industry tool (eg. Synopsys Hector or Mentor Calypto SLEC) or theorem-proving techniques.
  • Knowledge in Python, Perl or TCL scripting languages.
  • GPU or CPU verification experience.
  • Experience working and communicating with remote design centers

 

ACADEMIC CREDENTIALS: 

  • Bachelors or Masters degree in computer engineering/Electrical Engineering. PhD is a big plus 

 

 

#LI-PH1




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.

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.

MTS GRAPHICS FORMAL VERIFICATION ENGINEER

 

THE PERSON: 

 

We are looking for an experienced formal verification engineer to join a fast-growing team. You will be part of shaping and developing how formal verification is deployed across projects and teams, working on next generation graphics IP.

Become a member of a verification group aiming at promoting, developing, and supporting advanced formal verification techniques, your role day-to-day will include building formal verification environments for critical areas of the GPU design, supporting usage of formal tools with design and verification teams.

Develop new formal methodologies to be rolled out to the wider design and verification teams and investigate new capabilities based on formal. Interact and co-operate with EDA vendors, to develop new features, improve performance and make sure their tools meet the needs of the graphics IP team.

 

Essential Attributes

  • Experience of architecting and implementing formal verification environments for complex IP/module level designs
  • Experience in functional verification or digital hardware design
  • Experience of property-based model-checking, practical experience of SystemVerilog Assertions (SVA)
  • Experience with an industry leading formal tool (e.g. Cadence JasperGold, or Synopsys VC-Formal).
  • Ability to quickly understand and apply complex specification details.
  • Strong communication skills and ability to work well as part of a team.
  • Understanding of computer architecture and micro-architectural concepts
  • Proven track record of technically owning, implementing and driving the verification process from test plan creation to verification sign-off through individual contribution and delivery through others.


Desirable Attributes

  • Experience of formal sequential equivalence checking with a leading industry tool (eg. Synopsys Hector or Mentor Calypto SLEC) or theorem-proving techniques.
  • Knowledge in Python, Perl or TCL scripting languages.
  • GPU or CPU verification experience.
  • Experience working and communicating with remote design centers

 

ACADEMIC CREDENTIALS: 

  • Bachelors or Masters degree in computer engineering/Electrical Engineering. PhD is a big plus 

 

 

#LI-PH1

COMPANY JOBS
1781 available jobs
WEBSITE