About the role#
This internship is part of the Infrastructure Silicon organization. You will join a team building accelerators for data center workloads. You will apply formal verification tools and methodologies to advanced IPs and sub-systems. Working with experienced engineers, you will contribute to verification planning, assertion development, and proof analysis on a scoped project. You will learn to translate design intent into properties and analyze counterexamples to establish the correctness of hardware designs. This internship lasts between 12 and 16 weeks.
What you'll do#
- Learn the architecture, microarchitecture, and intended behavior of the designs you are verifying.
- Contribute to formal verification plans by identifying design requirements, properties to prove, and scenarios to cover.
- Write SystemVerilog Assertions (SVA), assumptions, and cover properties to verify design functionality and protocol behavior.
- Build formal testbenches and harnesses, including clock, reset, and environment models.
- Run formal verification tools, analyze proof results, and debug counterexamples to identify design bugs.
- Improve proof convergence and assess formal coverage, including checking for unreachable scenarios or overly restrictive assumptions.
- Write scripts to automate formal runs and regressions, while collaborating with engineers to resolve issues.
What you'll need#
- Currently pursuing a Bachelor's, Master's, or PhD degree in Electrical Engineering, Computer Engineering, or a related field.
- Intent to return to a degree program after the internship ends.
- Knowledge of computer architecture and digital logic design, including sequential logic and finite-state machines.
- Proficiency in a hardware description language like Verilog, SystemVerilog, or VHDL.
- Familiarity with assertion-based or formal verification concepts such as properties, assumptions, and counterexamples.
- Experience thinking critically about how to verify designs and solve problems.
- Ability to obtain and maintain work authorization in the United States.
- Helpful experience includes coursework or projects in formal methods, using tools like Cadence JasperGold, Synopsys VC Formal, or Siemens Questa Formal, and scripting in Python, Tcl, Perl, or Shell.
Location & details#
- This role is located in Sunnyvale, California.
- The position is on-site.
- This is a full-time, paid internship with a rolling term.
About Meta
Meta develops software and social media applications. It operates platforms such as Facebook, Messenger, Instagram, and WhatsApp. The company maintains headquarters in Menlo Park, California. Current work focuses on augmented and virtual reality alongside artificial intelligence and machine learning.
How to get in at Meta
Landing an internship at Meta requires a proactive approach to the application process. Intern Insider sends an instant alert the moment a role matching your target is published, allowing you to apply among the first. Early applicants often have their materials reviewed before the applicant pool grows significantly. You can use Intern Insider to surface the recruiters behind specific roles at Meta. Reaching out directly to these individuals to ask about the position or a referral often improves your response rates compared to applying into a queue.
