About the role
AI summarisedThis internship focuses on AI-enabled formal verification for chip design, involving the evaluation of AI-based tools, setting up and testing performance and coverage, researching new features, and developing methodologies. The role includes creating documentation and training materials, with exposure to chip verification workflows and tool deployment. Ideal for students pursuing degrees in engineering, computer science, or related fields with strong scripting skills and interest in AI/ML.
IDMOnsiteATV
Key Responsibilities
- Learn and evaluate AI-based formal tools for chip verification
- Set up and test performance/coverage with actual design
- Research on new features and explore with team members on applying/replacing/introducing formal methods in chip verification
- Complete new methodology/development flow based on formal tool with AI capability
- Documentation on the new methodology and training material for new user
- Exposure to chip verification and deployment of new tools/verification methods
Requirements
- On track to attaining Bachelor / Masters’ Degree in Engineering / Computer Science / Information Technology / Business Analytics / Data Science
- Strong skills and interest in scripting and programming (Python and/or Perl)
- Aptitude for learning and defining new methodology using new development tools
- Knowledge in Artificial Intelligence / Data Mining / Machine Learning / UNIX / JIRA will be a plus