Job Title

Job Description

Category

Computer Science, Electrical Engineering

Scope

Two students completing 30 credits (20 weeks) each

Introduction

In ASIC System-on-Chip (SoC) verification, exhaustive testing is critical to ensure design robustness and functionality before fabrication. Traditional verification relies on constrained random data, but achieving complete coverage, particularly for rare or complex scenarios, is challenging. This thesis investigates how machine learning, including symbolic regression and generative modeling, can predict patterns in fixed data to create randomized inputs that expand coverage. By leveraging machine learning to generalize these patterns, this research aims to optimize ASIC verification, making it faster and more comprehensive.

Background

At Axis, we design and verify our own image processing chips that are used in most of our products. Our pre-silicon verification is done bottom-up starting from the lowest level functional unit of the chip, the module level, referred to as the design under test (DUT) in the context of verification.

The DUT's functional verification is mostly done using simulation and coverage-driven constrained random verification methodology. It simulates the DUT under random input data which is constrained by the legal configurations of the DUT, as well as steered to be able to weed out corner cases and hidden bugs. The ultimate goal is to cover all relevant functionalities of the DUT.

Coverage of particular scenarios or functionalities might require input data with patterns that are not discernible or possible to deduce. This makes it next to impossible to steer randomization with constraints to be able to cover these. To address this, Axis' verification team has developed a new methodology by using mathematical methods to generate specific fixed input data that target these cases. However, it is generally preferred to use constraint random input data instead of a fixed stimulus since randomized input data could exercise not only a specific case but also some not thought of cases.

An improvement in our methodology is to use the generated fixed input data from the mathematical models and use machine learning and other regression analysis techniques to infer a pattern which could then be expressed as a data structure or a set of constraints.

Goals

The goal of this thesis work is to investigate suitable technique(s) with the purpose of fulfilling one or more the following criteria:

• Symbolic regression to reduce the fixed stimulus into expressions that can be randomized by a constraint solver.
• Produce generative models that can be used to generate randomized input data patterns. The models can be used by our verification infrastructure to produce the required input data.
• Regression analysis to produce a visualization of the pattern from the generated fixed stimulus. The visualization can be used to manually create a pattern in a constraint language.

The investigation of the regression analysis technique could include but is not limited to traditional regression methods, CNNs or traditional AI methods, or novel symbolic regression approaches.

Who are you?

We think that this thesis would be suitable for two students who have explorer spirit with strong interest in data analysis technique. Preferably, you are majoring in Computer Science or Electrical Engineering (does not mean both student are in the same major). Some experience in Python programming is also preferred.

OK, I am interested! What do I do now?

You are valuable to us – how nice that you are interested in one of our proposals! There are a few things for you to keep in mind when applying.

• Applications are accepted in both Swedish and English, and you apply via the proposal advert.
• The announced thesis is open only to students affiliated with a Swedish University/College either directly or via an exchange program.
• It is mandatory to apply in pairs. Send one application for each pair but make sure to clearly state in your application who your co-applicant is. If you have any questions regarding this, please do not hesitate to contact us.
• It is also required to attach the CV and University/College grade transcript from both students.

Who to contact for any questions

For more information, contact Per Dagermo Engineering Manager at the ASIC Verification department, per.dagermo@axis.com.

Type of Employment

Posting End Date

Certain roles at Axis require background checks, which means applicable verifications will be done in these recruitments. Notice will be provided before we take any action.

About Axis Communications

We enable a smarter, safer world by creating innovative solutions for improving security and business performance. As a network technology company and industry leader, we offer solutions in video surveillance, access control, intercom, and audio systems, enhanced by intelligent analytics applications.

With around 4500 committed employees in over 50 countries, we collaborate with partners worldwide. Together, we thrive in our friendly, open, and collaborative culture and inspire each other to think beyond the expected. United by our commitment to inclusion, diversity, and sustainability, we consistently seek to develop our skills and way of working.

Let´s create a smarter, safer world

For more information about Axis, please visit our website www.axis.com.

Listen to Get To Know Axis – Podcast