Job Description :

Description & Requirements :

As a CPU Processor Verification Engineer, you will 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.

Years of Experience : 8 - 12 years.

Formal Verification Lead :

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.

- Mentor junior engineers and promote best practices within the verification team.

Required Professional and Technical Expertise :

- 8-12 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.

Skills :

- Formal Verification

- Formal Property Verification

- Property Checking

- Formal Methods

- Formal Verification Engineer

- Design Verification (Formal)

- Assertion-Based Verification (ABV)