The Job logo

What

Where

Formal Verification

ApplyJoin for More Updates

You must Sign In before continuing to the company website to apply.

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_


 

As a member of the  UMC 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 UMC is part of every new AMD product being developed across Client, Server, Graphics and Semi-Custom markets. We are seeking an engineer to join the  UMC team to help verify our growing product portfolio. In this role, you will analyze the scope of formal verification tasks and set priorities for the work. 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: 

We are seeking a formal verification engineer with strong analytical skills that thrives in a face-paced environment.  A team player with a global mindset and ability to work in a multi – site environment are keys to being successful in this role.  

Key Responsibilities:  

When you join our verification team, you will contribute in many ways including these areas:

  • Work with design team to create FV test plan.
  • Build formal verification environment, write assertions, covers and appropriate constraints. 
  • Create a common formal verification flow so properties and assertions can be ported to different hierarchies.
  • Provide Training and mentor new team members.  

Preferred Experience:

  • Experience with complex CPU/ASIC projects, with demonstrated mastery of successful verification from test planning till tapeout
  • Hands on experience in writing SV assertions. 
  • Exposure to formal methodologies and industry standard Formal tool (like VC Formal, Jasper..).
  • Knowledge of scripting using Perl,tcl or equivalent.
  • 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.
Set alert for similar jobsFormal Verification role in Bengaluru, India
AMD Logo

Company

AMD

Job Posted

a year ago

Job Type

Full-time

WorkMode

On-site

Experience Level

3-7 years

Locations

Bengaluru, Karnataka, India

Qualification

Bachelor

Applicants

Be an early applicant

Related Jobs

AMD Logo

Formal Verification

AMD

Bengaluru, Karnataka, India

Posted: 7 months ago

Seeking a formal verification engineer with strong analytical skills to work on complex CPU/ASIC projects, responsible for creating FV test plans, building verification environments, and mentoring team members. Degree in Electrical Engineering, Computer architecture, or Computer Science preferred. Work at office location in Bangalore for AMD on full-time opportunity.

AMD Logo

IP Verification Lead Engineer

AMD

Bengaluru, Karnataka, India

+1 more

Posted: a year ago

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 SILICON DESIGN ENGINEER       THE ROLE:   The focus of this role is to plan, build, and execute the verification of new and existing features for AMD’s graphics processor IP, resulting in no bugs in the final design.       THE PERSON:    You have a passion for modern, complex processor architecture, digital design, and verification in general. You are a team player who has excellent communication skills and experience collaborating with other engineers located in different sites/timezones. You have strong analytical and problem-solving skills and are willing to learn and ready to take on problems.     KEY RESPONSIBILITIES:    Collaborate with architects, hardware engineers, and firmware engineers to understand the new features to be verified  Build test plan documentation, accounting for interactions with other features, the hardware, the firmware, and the software driver use cases  Estimate the time required to write the new feature tests and any required changes to the test environment  Build the directed and random verification tests  Debug test failures to determine the root cause; work with RTL and firmware engineers to resolve design defects and correct any test issues   Review functional and code coverage metrics – modify or add tests or constrain random tests to meet the coverage requirements     PREFERRED EXPERIENCE:    Proficient in IP level ASIC verification  Proficient in debugging firmware and RTL code using simulation tools   Proficient in using UVM testbenches and working in Linux and Windows environments  Experienced with Verilog, System Verilog, C, and C++    Graphics pipeline knowledge  Developing UVM based verification frameworks and testbenches, processes and flows  Automating workflows in a distributed compute environment.    Exposure to simulation profile, efficiency improvement, acceleration, HLS tools/process  Strong background in the C++ language, preferably on Linux with exposure to Windows platform  Good understanding and hands-on experience in the UVM concepts and SystemVeriloglanguage  Good working knowledge of SystemC and TLM with some related experience.    Scripting language experience: Perl, Ruby, Makefile, shell preferred.    Exposure to leadership or mentorship is an asset  Desirable assets with prior exposure to video codec system or other multimedia solutions.