Synopsys

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: 

We are seeking a Formal Verification Engineer to develop and execute formal verification strategies ensuring the correctness, robustness, and reliability of complex hardware designs. The role involves applying formal methods to verify RTL designs, identify corner-case bugs, and collaborate closely with design and validation teams to execute Formal equivalence checks and Formality ECO’s.

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.