Jobs

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 Guru AI insights for smarter career decisions

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

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

Resume

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

CPU - Processor Formal Verification Engineer

5 - 10 years

|

7 - 12 Lacs

Bengaluru

Posted:2 months ago| Platform:

Apply

Skills Required

soc cpu hdl formal verification debugging soc verification asic asic verification c++ ovm uvm functional verification rtl design axi microsoft windows rtl coding ahb perl vlsi system verilog 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

IBM - Hiring For Process and Sr. Process Analyst (TM/ AML)

Bengaluru

INR 4 - 7 Lacs

Backend Developer

Bengaluru

INR 3 - 7 Lacs

Data Engineer-Data Platforms-AWS

Bengaluru

INR 12 - 16 Lacs

Data Engineer-Data Platforms

Hyderabad

INR 14 - 17 Lacs

Advisory AI Engineer

Bengaluru

INR 10 - 14 Lacs

Mock Interview

Practice Video Interview with JobPe AI

Start Soc Interview Now

My Connections IBM

Download Chrome Extension (See your connection in the IBM )

chrome image

IBM

www.ibm.com

Information Technology

Armonk

350,000 Employees

6362 Jobs

Key People

Arvind Krishna

Chairman and Chief Executive Officer
Ginni Rometty

Former Chairman, President and CEO
James Kavanaugh

Chief Financial Officer
David Ferdinand

Senior Vice President, Corporate Strategy

RecommendedJobs for You

CPU - Processor Formal Verification Engineer

Bengaluru