We Are:

At Synopsys, we drive the innovations that shape the way we live and connect. Our technology is central to the Era of Pervasive Intelligence, from self-driving cars to learning machines. We lead in chip design, verification, and IP integration, empowering the creation of high-performance silicon chips and software content. Join us to transform the future through continuous technological innovation.

You Are:

You are a highly motivated Staff Engagement Applications Engineer with over 4+ years of hands-on experience in synthesis or place and route (P&R). You have a robust understanding of the most advanced CPU/GPU/NPU designs and are eager to work closely with R&D on driving product development and developing advanced HPC reference flow. Your technical expertise allows you to demonstrate differentiated PPA results on the most advanced IP cores to win benchmarking and deploy HPC methodologies to our worldwide key customers to accelerate business growth. You thrive in dynamic environments and possess excellent communication skills, including a strong command of English. Your background in EE/CS, coupled with your experience with EDA tools like DC, ICC2, and Fusion Compiler, makes you an ideal fit for this role.

Key Responsibilities

• Develop and implement formal verification plans for RTL designs for multiple customer projects.
• Debug formal failures and work with design teams to resolve issues.
• Identify critical bugs in the FM and FM-ECO flow and report these issues to the R&D.

Required Qualifications

• Bachelor’s or Master’s degree in Electrical Engineering, Computer Engineering, or related field
• 3+ years’ experience needed.
• Strong understanding of digital design concepts, UPF methodology and Formal equivalence flows.
• Hands-on experience with formal verification methodologies , ECO execution and Static Low power checks.
• Experience with RTL languages such as Verilog/System Verilog
• Strong debugging and problem-solving skills.

Preferred Qualifications

• Experience with formal tools such Formality, Formality-ECO, VC-LP.
• Experience in equivalence checking (LEC)
• Scripting skills in Python, Perl, or Tcl
• Experience with complex SoCs or IP blocks, Ability to work independently and in cross-functional teams.

The Team You’ll Be A Part Of:

You will join a dynamic and innovative team focused on developing and optimizing advanced HPC designs. Our team collaborates closely with R&D to drive technological advancements and provide top-tier support to our global customers. We are passionate about pushing the boundaries of what's possible in chip design and software security, and we are looking for like-minded individuals to join us on this exciting journey.

Rewards and Benefits:

We offer a comprehensive range of health, wellness, and financial benefits to cater to your needs. Our total rewards include both monetary and non-monetary offerings. Your recruiter will provide more details about the salary range and benefits during the hiring process.