Senior Engineer, Logic Equivalence CAD

About Marvell Marvell’s semiconductor solutions are the essential building blocks of the data infrastructure that connects our world. Across enterprise, cloud and AI, and carrier architectures, our innovative technology is enabling new possibilities. At Marvell, you can affect the arc of individual lives, lift the trajectory of entire industries, and fuel the transformative potential of tomorrow. For those looking to make their mark on purposeful and enduring innovation, above and beyond fleeting trends, Marvell is a place to thrive, learn, and lead. Your Team, Your Impact About Marvell Marvell's semiconductor solutions are the essential building blocks of the data infrastructure that connects our world. Across enterprise, cloud and AI, and carrier architectures, our innovative technology is enabling new possibilities. At Marvell, you can affect the arc of individual lives, lift the trajectory of entire industries, and fuel the transformative potential of tomorrow. For those looking to make their mark on purposeful and enduring innovation, above and beyond fleeting trends, Marvell is a place to thrive, learn, and lead. Your Team, Your Impact As a Staff Logic Equivalence Engineer, you'll be part of Marvell's CAD team, developing the Equivalence Checking infrastructure that underpins design integrity across Marvell's various Business Units. Your work ensures that RTL-to-Gate and Gate-to-Gate transformations preserve functional correctness, directly enabling confident, high-quality tape-outs across the company's product lines. What You Can Expect - Develop and maintain leading-edge Equivalence Checking flows addressing the needs of Marvell's various Business Units. - Apply strong debugging capabilities to root-cause and resolve equivalence issues. - Contribute to seamless RTL2Gate and Gate2Gate logic equivalence flow development, including understanding of pin constraints, don't-verify points, and other considerations based on DFT requirements. - Work closely with the synthesis and DFT teams to ensure a seamless handoff into the equivalence flow. - Contribute to functional ECO flows. - Contribute to low-power checks within the equivalence methodology. - Support the deployment and ongoing support of these flows. - Collaborate with the broader team to ensure optimal integration within the overall CAD platform. - Develop innovative solutions to address ever-increasing design challenges. - Stay current with evolving processes and tools. - Interface with EDA vendors to ensure optimal tool usage. What We're Looking For - Bachelor's or Master's degree in EE/CS with 2+ years of hands-on experience in Equivalence Checking and functional ECO flow development. - Recent experience with either Cadence Conformal or Synopsys Formality toolsets (experience with both is a plus). - Solid understanding of: Synthesis transforms'-to-Gate level logic equivalence debug. Functional ECO flows. Power intent and multiple power domain management. Basic knowledge of RTL coding. Basic DFT understanding (controllability, observability, scan chain stitching) and the constraints needed for equivalence checking. - Good level of proficiency in Tcl scripting in the context of flow development. - Strong analysis and problem-solving skills, with the ability to think outside the box. - Team player with good verbal and written communication skills. This role is eligible to participate in Marvell's bonus and equity plans, including a new hire equity grant and annual equity refreshers, ensuring you are rewarded for your contributions and remain invested in the company's long-term success. Additional Compensation and Benefit Elements With competitive compensation and great benefits, you will enjoy our workstyle within an environment of shared collaboration, transparency, and inclusivity. We’re dedicated to giving our people the tools and resources they need to succeed in doing work that matters, and to grow and develop with us. For additional information on what it’s like to work at Marvell, visit our Careers page. All qualified applicants will receive consideration for employment without regard to race, color, religion, sex, national origin, sexual orientation, gender identity, disability or protected veteran status. Interview Integrity To support fair and authentic hiring practices, candidates are not permitted to use AI tools (such as transcription apps, real-time answer generators like ChatGPT or Copilot, or automated note-taking bots) during interviews. These tools must not be used to record, assist with, or enhance responses in any way. Our interviews are designed to evaluate your individual experience, thought process, and communication skills in real time. Use of AI tools without prior instruction from the interviewer will result in disqualification from the hiring process. This position may require access to technology and/or software subject to U.S. export control laws and regulations, including the Export Administration Regulations (EAR). As such, applicants must be eligible to access export-controlled information as defined under applicable law. Marvell may be required to obtain export licensing approval from the U.S. Department of Commerce and/or the U.S. Department of State. Except for U.S. citizens, lawful permanent residents, or protected individuals as defined by 8 U.S.C. 1324b(a)(3), all applicants may be subject to an export license review process prior to employment. #LI-CP1