Overview
What You’ll Be Doing
- Apply formal verification techniques to various design parts.
- Review functional and micro-architectural specifications to define formal verification scopes.
- Develop high-quality formal verification test plans for design implementation sign-off.
- Create formal verification testbenches, code assertions, constraints, and abstraction techniques.
- Use formal coverage techniques to analyze over-constraints and measure functional coverage.
- Collaborate with the Synopsys Tool Development Group to drive verification projects.
Required Skills
Verilog, SystemVerilog, SystemVerilog Assertions (SVA), Hardware Micro-architecture, Formal Property Verification, Python, Perl, Shell Scripting, Debugging, Problem-solving
Who You Are
- Excellent communicator with strong interpersonal skills.
- Team player thriving in collaborative environments.
- Detail-oriented with strong analytical and problem-solving skills.
- Proactive learner staying updated with industry trends.
- Passionate and motivated professional with a keen interest in technology.
What You’ll Gain
- Hands-on experience in formal verification projects.
- Collaboration with a dynamic and innovative team.
- Opportunity to contribute to high-quality IP development.
- Exposure to industry-leading verification methodologies and tools.
Rewards and Benefits
Synopsys offers a comprehensive range of health, wellness, and financial benefits to cater to your needs. Your recruiter will provide details about the salary range and benefits during the hiring process.
Inclusion and Diversity
We value diversity and consider all applicants regardless of race, color, religion, national origin, gender, sexual orientation, gender identity, age, veteran status, or disability.
Apply Now
Be a part of a team that values collaboration, creativity, and excellence, and is committed to pushing the boundaries of technology.
Education Requirement: Pursuing or completed BTech/MTech in Electrical Engineering, Computer Engineering, or a related field
If an employer asks you to pay any kind of fee, please notify us immediately. Talentd does not charge any fee from applicants and we do not allow other companies to do so.
Key Skills
Related Tags
Education Requirements
- Pursuing or completed BTech/MTech in Electrical Engineering, Computer Engineering, or a related field
Eligible Batch Years
Synopsys
Synopsys, Inc. is a leading multinational corporation specializing in electronic design automation (EDA) and semiconductor intellectual property (IP). Founded in 1986, the company has grown to become a cornerstone of the global technology ecosystem, enabling engineers and designers to create advanced chips and systems. With over 19,000 employees worldwide, Synopsys serves a diverse range of industries, including consumer electronics, automotive, communications, and artificial intelligence. Its mission is to accelerate innovation by providing cutting-edge tools, IP, and services that help bring complex designs to life efficiently and reliably.
In addition to its core EDA offerings, Synopsys is a recognized leader in software security and quality solutions, helping organizations build secure, high-quality software. The company maintains a strong reputation for technological excellence and has consistently been ranked among the top innovators in its field. Recent achievements include advancements in AI-driven design automation, collaborations with leading semiconductor manufacturers, and contributions to sustainability initiatives in chip design. Synopsys' market position is reinforced by its deep expertise, broad portfolio, and commitment to enabling the next generation of smart, connected devices.
Company Details
Connect With Us
Websitesynopsys.com
