Machine learning (ML) has been used to accelerate the closure of functional coverage in simulation-based verification. A supervised ML algorithm, as a prevalent option in the previous work, is used to bias the test generation or filter the generated tests. However, for missing coverage events, these algorithms lack the positive examples to learn from in the training phase. Therefore, the tests generated or filtered by the algorithms cannot effectively fill the coverage holes. This is more severe when verifying large-scale design because the coverage space is larger and the functionalities are more complex. This paper presents a configurable framework of test selection based on neural networks (NN), which can achieve a similar coverage gain ...
Safety-critical and mission-critical systems, such as airplanes or (semi-)autonomous cars, are relyi...
Deep neural networks (DNNs) have a wide range of applications, and software employing them must be t...
We address the problem of testing artificial intelligence (AI) hardware accelerators implementing sp...
The continuing increase in functional requirements of modern hardware designs means the traditional ...
Due to high performance demand and varied usage requirements from computer systems, the complexity o...
Simulation-based functional verification is a commonly used technique for hardware verification, wit...
When a large feedforward neural network is trained on a small training set, it typically performs po...
Functional verification is widely acknowledged as the bottleneck in the hardware design cycle. This ...
The safety and reliability of deep learning systems necessitate a compelling demonstration of their ...
The goal of this thesis is to analyze and to find solutions of optimization problems derived from au...
This paper summarizes eight design requirements for DNN testing criteria, taking into account distri...
Functional verification is widely acknowledged as the bottleneck in the hardware design cycle. This ...
In simulation based design verification, deterministic or pseudo-random tests are used to check func...
Functional verification continues to be one of the most time-consuming steps in the chip design cycl...
Machine learning models and in particular Deep Neural Networks are being deployed in an ever increas...
Safety-critical and mission-critical systems, such as airplanes or (semi-)autonomous cars, are relyi...
Deep neural networks (DNNs) have a wide range of applications, and software employing them must be t...
We address the problem of testing artificial intelligence (AI) hardware accelerators implementing sp...
The continuing increase in functional requirements of modern hardware designs means the traditional ...
Due to high performance demand and varied usage requirements from computer systems, the complexity o...
Simulation-based functional verification is a commonly used technique for hardware verification, wit...
When a large feedforward neural network is trained on a small training set, it typically performs po...
Functional verification is widely acknowledged as the bottleneck in the hardware design cycle. This ...
The safety and reliability of deep learning systems necessitate a compelling demonstration of their ...
The goal of this thesis is to analyze and to find solutions of optimization problems derived from au...
This paper summarizes eight design requirements for DNN testing criteria, taking into account distri...
Functional verification is widely acknowledged as the bottleneck in the hardware design cycle. This ...
In simulation based design verification, deterministic or pseudo-random tests are used to check func...
Functional verification continues to be one of the most time-consuming steps in the chip design cycl...
Machine learning models and in particular Deep Neural Networks are being deployed in an ever increas...
Safety-critical and mission-critical systems, such as airplanes or (semi-)autonomous cars, are relyi...
Deep neural networks (DNNs) have a wide range of applications, and software employing them must be t...
We address the problem of testing artificial intelligence (AI) hardware accelerators implementing sp...