Abstract:As integrated circuits have become progressively more complex, constrained random stimulus has become ubiquitous as a means of stimulating a designs functionality and ensuring it fully meets expectations. In theory, random stimulus allows all possible combinations to be exercised given enough time, but in practice with highly complex designs a purely random approach will have difficulty in exercising all possible combinations in a timely fashion. As a result it is often necessary to steer the Design Verification (DV) environment to generate hard to hit combinations. The resulting constrained-random approach is powerful but often relies on extensive human expertise to guide the DV environment in order to fully exercise the design. As designs become more complex, the guidance aspect becomes progressively more challenging and time consuming often resulting in design schedules in which the verification time to hit all possible design coverage points is the dominant schedule limitation. This paper describes an approach which leverages existing constrained-random DV environment tools but which further enhances them using supervised learning and reinforcement learning techniques. This approach provides better than random results in a highly automated fashion thereby ensuring DV objectives of full design coverage can be achieved on an accelerated timescale and with fewer resources. Two hardware verification examples are presented, one of a Cache Controller design and one using the open-source RISCV-Ariane design and Google's RISCV Random Instruction Generator. We demonstrate that a machine-learning based approach can perform significantly better on functional coverage and reaching complex hard-to-hit states than a random or constrained-random approach.

The Cognitive Approach to the Coverage-Directed Test Generation

Coverage-Directed Test Generation Automated by Machine Learning -- A Review

Effective code coverage in compositional systematic dynamic testing

Steep coverage-ascent directed test generation for shared-memory verification of multicore chips

Temporal Coverage Analysis for Dynamic Verification.

Guided test generation for coverage criteria

Directed Test Generation for Hardware Validation: A Survey

Coverage-Driven Verification - An approach to verify code for robots that directly interact with humans

Automatic Generation of High-Coverage Tests for RTL Designs using Software Techniques and Tools

Efficient Mutation-Analysis Coverage For Constrained Random Verification

Coverage Explorer: Coverage-guided Test Generation for Cyber Physical Systems

An Effective Approach to High Strength Covering Array Generation in Combinatorial Testing

Optimizing Design Verification using Machine Learning: Doing better than Random

VerilogReader: LLM-Aided Hardware Test Generation

The Research and Implement of an Advanced Function Coverage Based Verification Environment

Search Based Combinatorial Testing

Survey of combinatorial test generation

Genetic Micro-Programs for Automated Software Testing with Large Path Coverage

TCA: an Efficient Two-Mode Meta-Heuristic Algorithm for Combinatorial Test Generation (T).

A new approach to test generation for combinational circuits

Precise Identification Of Problems For Structural Test Generation