BENGALURU · FULLTIME
Formal Verification Engineer
IBM
Bengaluru · onsite · Posted 4d ago
Sourced from
Undisclosed5–8 yrsfulltimeBengaluru
Your match
?
Sign in to see your match score, skill gaps & tailored resume.
Section · 01
About this role
Your Role and Responsibilities:
At IBM, we are driven by innovation and excellence in system design. As a Formal Verification Lead, you will contribute to the verification of next-generation IBM server-class processors, SoCs, and ASICs, ensuring delivery of high-quality, reliable hardware solutions.
- Lead formal verification efforts for complex processor/SoC/ASIC designs used in IBM server platforms.
- Define and drive verification strategy, including property development, proof planning, and coverage closure.
- Develop and maintain scalable formal verification environments, testbenches, and reusable verification components.
- Create high-quality test scenarios and properties to ensure comprehensive functional correctness.
- Apply IBM formal verification tools, methodologies, and best practices to achieve efficient verification closure.
- Collaborate closely with design, architecture, and validation teams to debug and resolve logic/design issues.
- Drive quality metrics, ensure signoff readiness, and deliver production-quality designs.
Required Education:
Bachelor's Degree
Preferred Education:
Master's Degree
Required Technical and Professional Expertise:
- 5-7 years of relevant industry experience in semiconductor design/verification.
- Proven experience in formal and/or functional verification, with demonstrated execution on logic block verification.
- Strong knowledge of formal verification methodologies and tools.
- Good understanding of HDLs (Verilog, VHDL, SystemVerilog) and assertion-based verification (SVA).
- Experience in developing verification environments/testbenches, debugging failures, and triaging issues.
- Strong programming skills in Python (or equivalent scripting languages).
- Solid understanding of processor/core micro-architecture.
- Ability to collaborate effectively across cross-functional teams.
- Experience with IBM internal tools/flows (or equivalent industry-standard formal tools).
- Exposure to high-performance processor or server-class SoC verification.
- Prior experience in leading verification efforts or mentoring engineers.
Preferred Technical and Professional Experience:
- Proven ability to drive verification coverage closure and ensure signoff readiness.
- Experience in leading verification teams and delivering across milestones.
- Ability to handle complex verification scenarios and contribute to high-level design discussions.
- Strong communication skills with the ability to work effectively in a global, cross-functional team environment.
- Demonstrated track record of technical leadership and team mentorship.
- Strong debugging, analytical, and problem-solving capabilities.
Years of Experience:5 - 8
Sourced from naukri
Let the agent run this one for you.
Tailored resume, auto-apply, and referral lookup — in under 2 minutes.
Section · 02
Skills
ScriptingSOCformal verificationscripting languagesProgrammingsemiconductorASICSOC VerificationProcessorFunctional VerificationdebuggingDebugsemiconductor designPythonCommunication SkillsArchitectureSystem Design
Section · Company
About IBM
IBM
IT Services & Consulting
130k+
employees
1911
115 years old
Bangalore / Bengaluru, Karnataka
India
About
IBM has been dedicated to every client's success and to creating innovations that matter for the world.
Industries
IT Services & ConsultingFinancial ServicesEmerging Technologies
Employee ratings
25,767 reviews
3.9/ 5
Culture
3.9
Career growth
3.0
Work-life
4.0
Employees rate it well for
Work Life Balance4166Salary3460Work Culture2867Learning2246Senior Management1890
Find them on