- Perform formal equivalence checking (LEC) between RTL and synthesized netlists
- Perform Netlist-to-Netlist equivalence across ECO, DFT, low-power, and PnR iterations
- Debug and resolve non-equivalence points (NEPs) and failing cones
- Handle clock-gating, scan, and DFT-related equivalence challenges
Desired Candidate Profile
Qualifications : BACHELOR OF ENGINEERING
