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.

A Random Delay Injection Based Clock Domain Crossing Verification Method

A Clock Isolation Technique for Low Power SoC Design

A Novel Multiphase Clock Generator Based on Digital DLL Designed for Oversampling in Transceiver

Pragmatic Formal Verification Methodology for Clock Domain Crossing (CDC)

A Secure Scan Method for Crypto Chips

Model Checking on Clock Domain Crossing Design of System-on-Chip

Clock Domain Crossing Fault Model and Coverage Metric for Validation of SoC Design

Method for Reducing the Complexity of Clock Domain Crossing Design and Its Verification in System-on-chips

Design and FPGA Verification of a Novel Reliable Real-Time Data Transfer System

Property Generation Method for Model Checking on Clock Domain Grossing Design

Novel delay-controllable clock buffer and its application

Dynamic Current Mode Logic Based Flip-Flop Design for Robust and Low-Power Security Integrated Circuits

Logic Design for On-Chip Test Clock Generation - Implementation Details and Impact on Delay Test Quality

MPAM: Reliable, Low-Latency, Near-Threshold-Voltage Multi-Voltage/Frequency-Domain Network-on-Chip with Metastability Risk Prediction and Mitigation

Solution of Multi-Asynchronous Clock Design

A simulation methodology for establishing IR-drop-induced clock jitter for high precision timing ASICs

A Hierarchical Fault Injection System for RISC-V Processors Targeting Single Event Upsets in Flip-Flops

TimingCamouflage+: Netlist Security Enhancement with Unconventional Timing (with Appendix)

Design and Optimization of Multiclocked Embedded Systems Using Formal Techniques

A Fast Delay Computation for the Hybrid Structured Clock Network.

Optimizing Design Verification using Machine Learning: Doing better than Random