Formal Verification Product Engineer-Sr. Staff-7337

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 motivated and innovative engineer with a passion for formal verification and a keen eye for detail. You thrive in a collaborative environment, working closely with customers and internal teams to deliver high-quality solutions. Your strong technical background in RTL design or verification and scripting/programming languages (like TCL/Python/Perl) enables you to develop and implement efficient verification methodologies. You are adept at understanding customer requirements and translating them into actionable solutions, showcasing excellent problem-solving skills and a proactive approach to overcoming challenges. Your strong oral and written communication skills ensure you can effectively convey complex technical concepts to diverse audiences. You are autonomous, taking ownership of projects and driving them to successful completion while continuously seeking opportunities to enhance your knowledge and skills.

What You’ll Be Doing:

• Promoting the adoption of Synopsys VC Formal Verification Apps to new customers through presentations and demos.
• Collaborating with customers to understand their flow requirements and mapping them to solutions available within Synopsys VC Formal Verification Apps.
• Working closely with R&D and Product Marketing to develop new flows and functionalities.
• Defining formal verification flows and methodologies to improve customer productivity.
• Developing custom scripts, creating workarounds, and providing quick solutions while features are being enhanced.
• Owning the customer relationship, ensuring customer requirements are well understood and tracking the development of features required by the customer.

The Impact You Will Have:

• Driving the successful adoption of Synopsys VC Formal Verification Apps among new customers.
• Enhancing customer satisfaction by delivering tailored solutions that meet their specific verification needs.
• Contributing to the development of innovative verification methodologies that set industry standards.
• Facilitating seamless communication between customers and internal teams to ensure timely and effective resolution of issues.
• Improving overall customer productivity and project timelines through efficient verification flows.
• Playing a key role in the continuous improvement and evolution of Synopsys VC Formal Verification solutions.

What You’ll Need:

• BSEE or MSEE degree with 5+ years of industry experience.
• Experience in RTL design or verification engineers involved in deploying verification methodology using simulation-based technologies.
• Exposure to assertion-based verification is required; experience with formal verification tools is desirable but not mandatory.
• Experience managing verification responsibility for hardware designs or verification consulting is desirable.
• Strong understanding of hardware design (Verilog/VHDL) and micro-architecture.
• Exceptional understanding of Unix/Linux automation shell (bash, csh) and scripting (Tcl, Perl, Python).

Who You Are:

• Great oral and written communication skills.
• Ability to work autonomously.
• Expertise in one or more of scripting/programming languages like TCL/Python/Perl/SKILL.
• Expertise in one or more areas such as Formal Property Verification testbench development, floating point arithmetic operations, C/C++, and IEEE math libraries.
• Understanding of Security architecture and verification, Automotive Safety (FuSa) verification, and achieving closure and verification signoff with formal.

The Team You’ll Be A Part Of:

VC Formal Verification Team is part of Synopsys EDA Group. We work with top-tier Synopsys customers to deploy high-quality Formal Verification Solutions and Flows on the cutting edge of verification requirements in the industry. The team addresses verification challenges such as Property Verification, Data Path Verification, Clock-gating Checks, Design Security, and Automotive Safety. We believe in fostering interest and opportunities to work in different aspects of design verification, providing a platform to understand verification requirements, identify the best-suited applications, and develop solutions using formal verification apps.

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.

#LI-DP1

Inclusion and Diversity are important to us. Synopsys considers all applicants for employment without regard to race, color, religion, national origin, gender, sexual orientation, gender identity, age, military veteran status, or disability.

In addition to the base salary, this role may be eligible for an annual bonus, equity, and other discretionary bonuses. Synopsys offers comprehensive health, wellness, and financial benefits as part of a of a competitive total rewards package. The actual compensation offered will be based on a number of job-related factors, including location, skills, experience, and education. Your recruiter can share more specific details on the total rewards package upon request. The base salary range for this role is across the U.S.