Applications Engineering, Staff Engineer
SynopsysJob Title
Applications Engineering, Staff Engineer
Role Summary
Senior applications engineering role focused on validating and enhancing formal verification and EDA tools. The position works with R&D, application engineers, and product management to develop assertion IP, validate verification features, and improve tool capabilities for complex bus and memory interfaces.
Experience Level
Level: Senior. The posting indicates a broad experience range; candidates typically have experience in formal verification or EDA tool validation (posting lists 2–14 years).
Responsibilities
Primary responsibilities include validation, development of assertion IP, and cross-functional collaboration to improve formal verification tools.
- Develop and maintain Assertion IP for complex bus and memory protocols (AMBA family, DDR, etc.).
- Design and implement features and methodologies for formal verification tools.
- Validate advanced EDA tool features (property verification, sequential equivalence, connectivity checking, and related apps).
- Work closely with R&D, product management, and application engineering to define and refine tool capabilities.
- Monitor formal verification methodologies and industry standards to drive tool improvements.
Requirements
Must-have technical skills and experience for the role.
- 2–14 years of experience in formal verification or EDA tool validation.
- Hands-on experience with formal verification tools such as Synopsys VC Formal.
- Proficient in writing and understanding SystemVerilog Assertions (SVA).
- Experience developing synthesizable code for assertion IP for protocols like APB, AHB, AXI, ACE, CHI, I2C, and SPI.
- Proficiency in scripting and programming (Python, Perl, Tcl) and comfortable in Unix/Linux environments.
- Strong debugging, analytical skills, and effective technical communication.
- Nice-to-have: familiarity with DDR, CXL, PCIe, Ethernet, USB, and other interface standards.
Education Requirements
Bachelor's or Master’s degree in Electrical Engineering, Computer Science, or a related discipline is stated. The posting does not explicitly state equivalency language beyond standard industry experience expectations.
About the Company
Company: Synopsys
Headquarters: Mountain View, California, USA
Synopsys is a leading company in electronic design automation (EDA) and semiconductor IP solutions. It provides tools and services for designing and verifying complex semiconductor devices and systems. The company plays a pivotal role in the semiconductor industry, helping engineers innovate and deliver higher-quality products faster. Synopsys is committed to advancing technology standards and offers a range of software and hardware solutions to its clients globally.
