Job Title: Senior Logic Equivalence Checking (LEC) Engineer

Company: Oceancore Technologies Pvt. Ltd.

Experience: 6+ Years

Job Location: As per client requirement

We are looking for an experienced LEC Engineer with hands-on expertise in Cadence Conformal and Logic Equivalence Checking flow setup. The candidate should have strong knowledge of formal verification methodologies and experience debugging equivalence failures in complex digital designs.

Key Responsibilities

- Set up and execute Logic Equivalence Checking (LEC) flows.
- Work with Cadence Conformal for formal equivalence verification.
- Perform RTL-to-RTL and RTL-to-gate-level equivalence checks, as applicable.
- Debug and resolve equivalence failures.
- Analyze mismatches caused by design transformations and synthesis optimizations.
- Collaborate with RTL design, synthesis, and physical design teams.




- Ensure equivalence verification quality and closure.

Required Skills

- 6+ years of relevant experience in LEC/formal verification.
- Hands-on experience with Cadence Conformal.
- Strong knowledge of LEC flow setup and execution.
- Experience in debugging formal equivalence failures.
- Understanding of RTL design and synthesis flows.
- Strong analytical and problem-solving skills.

How to Apply Interested candidates can share their updated resumes at [email protected].

Contact: (phone hidden)

Company: Oceancore Technologies Pvt. Ltd.

Pay: ₹600,000.00 - ₹2,000,000.00 per year

Perks

- Provident Fund

Work Location: In person

📌 LEC Engineer (Bengaluru)
🏢 Oceancore Technologies
📍 Bengaluru