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 dedicated and detail-oriented Formal Verification Engineer with a passion for ensuring the reliability and functionality of complex design IPs. You excel in a collaborative environment, working closely with designers, architects, and verification engineers to drive verification projects to success. You possess a solid understanding of hardware micro-architecture and design, and you are proficient in HDLs like Verilog and SystemVerilog. Your problem-solving skills are top-notch, and you are familiar with formal property verification concepts and tools. You are eager to contribute to a team that is at the forefront of technological innovation and excellence.

What You’ll Be Doing:

• Helping decide on the best applications of formal verification techniques to various parts of the design.
• Reviewing functional and micro-architectural specifications to define the scope for formal verification.
• Creating high-quality formal verification test plans to sign off on the corresponding design implementation.
• Building formal verification testbenches, coding assertions and constraints, and applying abstraction techniques.
• Applying formal coverage techniques to analyze over-constraints and measure functional coverage.
• Collaborating closely with the Synopsys Tool Development Group to drive verification projects.

The Impact You Will Have:

• Ensuring the reliability and functionality of complex design IPs through rigorous formal verification.
• Contributing to the development of high-quality IP that meets the stringent requirements of our clients.
• Driving innovation in verification methodologies and techniques.
• Collaborating with a talented team to achieve project milestones and goals.
• Enhancing the overall quality and performance of Synopsys' product offerings.
• Playing a key role in the success of various high-profile projects within the company.

What You’ll Need:

• Pursuing or completed BTech/MTech degree in Electrical Engineering, Computer Engineering, or a related field.
• Good understanding of hardware micro-architecture and design.
• Proficiency in HDLs like Verilog and SystemVerilog.
• Familiarity with SystemVerilog Assertions (SVA) and basic concepts of formal property verification.
• Good debugging and problem-solving skills.
• Scripting knowledge (Python/Perl/shell).
• Good interpersonal and communication skills and a dream to work as a great team member.

Who You Are:

• An excellent communicator who can articulate complex ideas clearly and effectively.
• A team player who thrives in a collaborative environment.
• A detail-oriented individual with strong analytical and problem-solving skills.
• A proactive learner who stays updated with the latest industry trends.
• A highly motivated and driven professional with a passion for technology.