0-2 Years Experience2024 Batch2025 BatchIntern and ApprenticeLatest Jobs
Synopsys is Recruiting Interns of 2024/2025 Batch Apply Now
Synopsys has invited application for the post of Interns thos who are pursuing BTech/MTech are Eligible for this post apply Now
| Company | Synopsys |
|---|---|
| Post | Intern |
| Degree | B.Tech/MTech |
| Branch | CSE/Electrical |
| Batch | 2024/2025 |
| Location | Bengaluru |
| Apply link | visit wingineers.co.in |
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.
