Formal Verification Intern
SynopsysJob Title
Formal Verification Intern
Role Summary
The Formal Verification Intern will learn and apply formal verification methodology to real projects within a verification team. The intern will execute validation plans, support quality improvements, and contribute insights to enhance verification tools and processes.
Experience Level
Entry-level (Internship). No prior professional experience required; candidates graduating in 2027 are preferred.
Responsibilities
Key tasks the intern will perform:
- Learn formal verification methodologies from experienced engineers and apply them to assigned projects.
- Execute validation and verification tasks according to defined plans.
- Develop and run test cases and analyses to validate design properties.
- Support quality improvements and provide feedback to improve verification tools and flows.
- Collaborate with team members to debug issues and document findings.
Requirements
Required skills and abilities for successful candidates:
- Strong academic foundation with relevant coursework, projects, or internships in semiconductor design (degree details listed under Education Requirements).
- Good understanding of computer architecture and digital design fundamentals.
- Exposure to Formal Verification, Verilog/SystemVerilog, and SystemVerilog Assertions is a plus.
- Proficiency in scripting (Python, Perl, Tcl) and experience working in Unix/Linux environments.
- Analytical problem-solving skills and the ability to work effectively in a team with clear communication.
Education Requirements
Currently pursuing a B.E. / B.Tech / M.Tech in Electronics, Electrical, Instrumentation, or a related technical field. Candidates graduating in 2027 are preferred.
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.
