Using Neural Networks for Novelty-based Test Selection to Accelerate Functional Coverage Closure

07/01/2022
by   Xuan Zheng, et al.
0

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 as random simulation with far less simulation effort under three configurations of the framework. Moreover, the performance of the framework is not limited by the number of coverage events being hit. A commercial signal processing unit is used in the experiment to demonstrate the effectiveness of the framework. Compared to the random simulation, the framework can reduce up to 53.74 reach 99

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/17/2022

Supervised Learning for Coverage-Directed Test Selection in Simulation-Based Verification

Constrained random test generation is one of the most widely adopted met...
research
05/19/2022

Hybrid Intelligent Testing in Simulation-Based Verification

Efficient and effective testing for simulation-based hardware verificati...
research
03/06/2018

Automation of Processor Verification Using Recurrent Neural Networks

When considering simulation-based verification of processors, the curren...
research
05/30/2021

Machine learning moment closure models for the radiative transfer equation II: enforcing global hyperbolicity in gradient based closures

This is the second paper in a series in which we develop machine learnin...
research
06/22/2021

Assertion Based Functional Verification of March Algorithm Based MBIST Controller

The thesis work presents assertion based functional verification of RTL ...
research
09/04/2018

Coverage-Guided Fuzzing for Deep Neural Networks

In company with the data explosion over the past decade, deep neural net...
research
04/16/2019

Selection Bias in News Coverage: Learning it, Fighting it

News entities must select and filter the coverage they broadcast through...

Please sign up or login with your details

Forgot password? Click here to reset