Formal Verification - MTS/SMTS Silicon Design Engineer

The AMD Cores design & verification group develops high-end, next generation CPU s that power different AMD SoC s which are eventually set to change the course of how computing is visualized. The engineering teams are distributed across US and India. The CPU verification team in India is one of AMD India s first teams & involved in contributing to the tape out of numerous AMD systems. As part of the CPU Formal Verification team, we will be responsible for delivering high quality signoff on intensive control logic along with complex Datapath verification across CPU through Formal methodology. As always, the team is dedicated to come up with innovative solution to overcome new challenges related to specific project requirements and time-to-market.

 

KEY RESPONSIBILITIES

 

Work with different stake holders in getting a thorough understanding of high-level feature/s & get clarification (if any). Evaluate cross-feature/cross-unit dependencies to evaluate targets for Formal.

Populate high level testplan that details out how we plan (checks, abstraction, debug, coverage) and get it reviewe'd & incorporate feedback.

Create Assertions/Assumptions with necessary level of abstraction to verify complete feature (control logic & datapath both), run formal coverage analysis, x-prop plugins, LEC etc

Debug failures to root cause issues/fix constraints and ensure feature health is stable, deal with tool issues with concerned AE from Synopsis/Cadence.

Handle high sequential depth modules with greater complexity, tool convergence issues.

On a need basis, work on Post-Si bug recreation.

 

SKILLS AND EXPERIENCE REQUIREMENTS

 

B.E/B.Tech/M.E/M.Tech in Computer Science/Electrical/Electronic Engineering.

10+ years of experience in CPU verification/Formal verification on CPU or other complex IP s.

Proficiency in Overall Formal Verification methodology with tools like (VSI-FV/JASPER/IFV/IEV).

Proficiency in creating testplans, building formal testbenches from scratch.

Good understanding about computer architecture/microarchitecture.

Good understanding of Verilog, System Verilog, SVA. Some knowledge of shell/perl/python scripting is a plus.

Should be a good team player, quick thinker, pro-active, adaptable & outspoken/approachable.

Must communicate we'll both written and orally.

Must be we'll-organized and should be able to multitask we'll with due diligence on closing his/her tasks.

 

WHAT YOU WILL LEARN

You will gain valuable experience in different aspects of CPU design & Formal verification. You will also be familiarized with the nuances & challenges associated in formally verifying high-performance, pipelined CPU architecture. This helps you gain valuable insight & enhance your understanding of CPU micro-architecture. This team is essential to the success of AMD as a growing company. It is a very exciting environment, and you will be working with the very best in our technology. You will be working on some of the most exciting projects the industry has to offer

 

ACADEMIC CREDENTIALS: