Challenges are our drive, innovation our calling. We at Kandou are a team of passionate accomplished professionals making a mark in the semiconductor industry. We're an innovative leader in high-speed and energy-efficient chip-chip link solutions critical to the evolution of the electronics industry, continuously developing to meet the demands of today's customers and tomorrow too. If you love to be part of a high-tech scale-up and are motivated by pushing your limits and challenging the status quo, we have an opportunity for you.
Project: LLM-Driven SystemVerilog Assertion GenerationGoal: Train an LLM to translate natural language specifications into functional SystemVerilog Assertions (SVA) using proprietary and public code.Objectives :We want to be able to extract features from specifications written in natural language and generate SVA automatically.The generated SVA can be used in formal verification, providing verification results very early in the process and possibly highlighting specification conflicts.Some of all of he generated SVA can also be included in dynamic simulations in order to provide value throughout the verificationprocess.Training the LLM will utilize both public sources and the company's proprietary source code, which is a unique dataset enriched with contextual information such as comments and historical data from the version control system.Duties and Responsibilities:1) Process natural language to extract requirements out of specification documents2) Collect and sanitize data from public and private sources with good quality code3) Generate SystemVerilog Assertion code based on the extracted requirements4) Build a pipeline to automate the process Requirements:1) MSc students,2) Computer Science Fundamentals,3) Experience with Python programming,4) Experience with SystemVerilog is a plus,5) Experience with Large Language Models training and fine tuning, is highly appreciated,6) Experience with Natural Language Processing, is a plus,7) Self-Motivated,8) Strong verbal and written communication,9) strong ethic and attention to detail,10) Ability to work well in a team.Benefits:- Gain hands-on experience in a semi-conductor company,- Shadowing knowledgeable professionals,- Opportunity to see the inner workings of a scale-up company,- Access to very advanced process nodesIf you recognize yourself in the description above, and love to be part of a growing Company, are a good team player with an upbeat approach to life, we would love to hear from you.
Together We Kandou It!
