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.

Multi-layer Random Stimulus Strategy for Microprocessor Verification

Functional Verification of EPA Chip

A Dynamic Random Instruction And Stimulus Generation For Functional Verification Of Embedded Processor

Test Program Generation for Microprocessor Verification Using Local Modeling Strategy

MorFuzz: Fuzzing Processor Via Runtime Instruction Morphing Enhanced Synchronizable Co-simulation.

Pseudo-random Functional Verification Method of Microprocessor and Its Improvement

A Generic UVM Verification Framework Based on Two-Stage Comparison for Protocol-Agnostic Data Streams in Digital Designs

Simulation Knowledge Extraction and Reuse in Constrained Random Processor Verification

Function Verification of Interface IP Core Based on the Restricted Random Test Bench

Using model-based test program generator for simulation validation

Efficient Stimuli Generation using Reinforcement Learning in Design Verification

Self-adjusting Constrained Random Stimulus Generation Using Splitting Evenness Evaluation and XOR Constraints

Optimizing Design Verification using Machine Learning: Doing better than Random

Functional verification of external memory interface IP core based on restricted random testbench

A Functional Verification Framework For Dsps With Vliw Architecture Based On A Random Program Generator

Program Generation for Functional Verification of Microprocessor

Functional Verification Methodology of A 32-Bit Risc Microprocessor

A Random Delay Injection Based Clock Domain Crossing Verification Method

A C-based RTL design verification methodology for complex microprocessor

Random Stimulus Generation with Self-Tuning

Random Test Program Generator for Microprocessor Verification