Search by job, company or skills

I

Formal Verification Engineer

Save
new job description bg glownew job description bg glow
  • Posted an hour ago
  • Be among the first 10 applicants
Early Applicant

Job Description

Introduction

As a CPU Processor Verification Engineer , you'll get to work on the systems that are driving the quantum revolution and the AI era. Join an elite team of engineering professionals who enable customers to make better decisions quicker on the most trusted hardware platform in today's market.

Your Role And Responsibilities

As a Formal verification engineer, you will be working on IBM server processors/SOC or ASICs used in IBM servers.

  • Develop the verification environment and test bench and creating testcases.
  • Develop skills in IBM Formal verification tools and methodologies.
  • Work with design as well as other key stakeholders in resolving/debugging logic design issues and deliver a quality design

Required Technical And Professional Expertise

  • 8 - 12 years of relevant industry experience
  • Proven experience in Formal/Functional Verification - Demonstrated execution experience of verification of logic blocks verification.
  • Knowledge of formal methodology, Knowledge of HDLs (Verilog, VHDL, SV), Good programming skills in python, processor core u-arch skills
  • Exposure in developing testbench environment, debugging and triaging fails.

Preferred Technical And Professional Experience

  • Good communication skills and be able to work effectively in a global team environment.
  • Drive verification coverage closure, lead verification team.
  • Drive complex scenarios, participate in High level design discussions.
  • Track record in leading teams.

More Info

Job Type:
Industry:
Function:
Employment Type:

About Company

Job ID: 148319241

Similar Jobs

Bengaluru, India

Skills:

PythonLow Power Formal MethodologyJasper VC Formalformal verificationFormal ToolsProperty-based FVSVAQuesta Formal

Bengaluru, India

Skills:

System VerilogSEQDPVFPVformal verificationSystem Verilog Assertions

Bengaluru, India

Skills:

TclPythonPerlJasperGoldVC FormalQuesta Formalformal verification methodologies

Bengaluru, India

Skills:

TclPythonPerlPSLJasperGoldOneSpinVC Formal

Bengaluru

Skills:

Python.Verification methodologiesformal verification toolsUvmsystemverilog