Jobs

Interviews
Job Alerts
Tools

Upskill and Grow with AI

Mock Interview Practice interviews in realistic simulations

Coding Practice Improve your coding skills with challenges

Certification Earn certifications to validate your skills

AI Learning Get trained with AI expert sessions

Career Path AI insights for smarter career decisions

AI Job Match Score AI-Powered Job Match Against Your Resume and Optimize Your Resume

Career Tools and Resources

Resume Builder Build Professional Resume with Ease

ATS Friendliness Check Check Resume Friendliness for Applicant Tracking Systems

Auto Apply Apply to hundreds of jobs on any platform effortlessly

Co-Pilot (Chrome Extension) Your AI Assistant for Seamless Browsing Efficiency

Interview Questions Streamline interviews with ready-to-use questions

Salaries Discover market-driven salary insights across skillsets and geographies

Companies Explore leading companies actively hiring talent
For Employers

Jobs

Interviews

Home
>
Jobs in Bengaluru
>
IBM
>
CPU - Processor Formal Verification Engineer

CPU - Processor Formal Verification Engineer

IBM

2 - 6 years

3 - 7 Lacs

Bengaluru

Posted:3 days ago| Platform:

Apply

Skills Required

vhdl python sv verilog hdl soc verification c++ soc rtl design formal verification axi rtl coding debugging ahb perl i2c system verilog asic sta asic verification c ovm cpu uvm functional verification fpga design uart pcie vlsi logic design

Work Mode

Work from Office

Job Type

Full Time

Job Description

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 education Bachelor's Degree Preferred education Master's Degree Required technical and professional expertise

5 – 10 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.

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.

Preferred technical and professional experience

Writing test plans, building random / exhaustive formal verification environment, functional and coverage analysis and debug.

Good understanding of the Server System

More Jobs at IBM

Delivery Manager - RISK & Compliance - AML

Bengaluru

3 - 5 yrs

INR 5 - 7 Lacs

Delivery Manager-HUMAN Resources Operations

Bengaluru

6 - 10 yrs

INR 11 - 16 Lacs

Application Developer-Java & Web Technologies

Hyderabad

2 - 5 yrs

INR 7 - 11 Lacs

Deputy Manager Data Engineer - Analytics

Bengaluru

4 - 7 yrs

INR 10 - 15 Lacs

Data Scientist-Artificial Intelligence

Bengaluru

3 - 7 yrs

INR 14 - 18 Lacs

Mock Interview

Practice Video Interview with JobPe AI

Start Python Interview

Start Your Job Search Today

Browse through a variety of job opportunities tailored to your skills and preferences. Filter by location, experience, salary, and more to find your perfect fit.

Job Application AI Bot

Apply to 20+ Portals in one click

Download Now

Download the Mobile App

Instantly access job listings, apply easily, and track applications.

Enhance Your Python Skills

Practice Python coding challenges to boost your skills

Start Practicing Python Now

IBM

Information Technology

Armonk

Login to

Please Verify Your Phone or Email

Confirm Action

Search

Profile

Upskill and Grow with AI

CPU - Processor Formal Verification Engineer