ASIC Formal Verification Intern

Groq, Inc.-posted 23 days ago
$30 - $50/Yr
Full-time • Intern
Palo Alto, CA
251-500 employees
Professional, Scientific, and Technical Services
Resume
Match Score
Upload and Match ResumeTrack Jobs with Teal

This position will focus on formal verification of Groq's next generation hardware. Through this work term, the successful candidate will work alongside experienced engineers to help verify complex digital designs using formal verification techniques and tools. You will be involved in tasks ranging from setting up formal verification environments, running automated checks, debugging formal proofs, and supporting the integration of formal verification tools into the overall verification flow.

  • Formal Verification Tasks: Assist in using formal verification tools to verify the correctness of digital designs (RTL, gate-level).
  • Tool Setup and Automation: Support the automation of formal verification workflows and tool integration into the broader verification environment.
  • Debugging & Bug Isolation: Investigate and debug verification failures, helping to isolate the root cause of issues in the design.
  • Documentation and Reporting: Document test cases, verification results, and issues, and communicate progress effectively to the team.
  • Collaboration: Work closely with hardware design, RTL verification, and software teams to align formal verification tasks with other verification efforts.
  • Experience with System Verilog or Verilog design language, SVA as a plus
  • Understanding of ASIC design flows for verificationProficiency in at least one programming language such as: tcl, Python, C++, etc.
  • Strong analytical skills and attention to detail when debugging complex issues
  • Excellent written and verbal communication skills
  • Must be authorized to work in the United States or Canada
  • Formal Verification Fundamentals: Familiarity with formal verification concepts such as model checking, equivalence checking, and assertion-based verification
  • Formal Verification Tool Experience: Hands-on experience with formal verification tools like Cadence Jasper(JasperGold), Synopsys VC Formal, or similar tools
  • Purposeful Hiring: You're not here by accident, and neither is anyone else. Every teammate is handpicked with intention because who we build with matters.
  • Builders Wanted: You're not just riding the rocket ship, you're building it. Your work directly shapes the trajectory of our company.
  • Mission-Driven Work: We're here to make a real impact. Our mission fuels everything we do.
  • Tackling Hard Problems: If easy isn't your thing, you're in the right place. We solve some of the most complex and exciting challenges in our space.
  • Excellence Is The Standard: High performance isn't just encouraged, it's the baseline. And it's contagious.
Track Jobs with Teal

Job Search Resources

•
AI Resume Builder
•
ASIC Design Engineer Resume Examples
•
Cover Letter Examples

Tools

Career Hubs

Guides

Company

© 2024 Teal Labs, Inc
Privacy PolicyTerms of Service