A random verification method and device

A technique of random verification and constraint vector, applied in the field of random verification

Active Publication Date: 2019-03-05
SHANDONG HAILIANG INFORMATION TECH RES INST
View PDF3 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

In addition, the "appropriate number of random incentives" will continue to change with the current verification level and specific random constraints, and the exact number cannot be obtained by analysis and past experience

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • A random verification method and device
  • A random verification method and device
  • A random verification method and device

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0022] The technical solutions in the embodiments of the present invention will be clearly and completely described below in conjunction with the accompanying drawings in the embodiments of the present invention. Obviously, the described embodiments are only a part of the embodiments of the present invention, rather than all the embodiments. Based on the embodiments of the present invention, all other embodiments obtained by those of ordinary skill in the art without creative work shall fall within the protection scope of the present invention.

[0023] The embodiment of the present invention provides a random verification method, such as figure 1 Shown, including:

[0024] Step 101: Determine at least four random constraint vectors included in the random constraint pool.

[0025] Wherein, the random constraint vector contains at least one random constraint parameter.

[0026] Specifically, the more random constraint vectors contained in the random constraint pool, the higher the dive...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

Embodiments of the present invention provide a random verification method and device, which relate to the field of chip design. The method includes: determining at least four random constraint vectors included in a random constraint pool; the random constraint vector includes at least one random constraint parameters; respectively perform simulation processing on the random constraint vectors in the random constraint pool to obtain an initial coverage ratio; when the initial coverage ratio does not reach a preset target coverage ratio, cyclically perform differential evolution on the random constraint pool process, and obtain the simulation condition parameters, determine whether the simulation condition parameters meet the end requirements, until the simulation condition parameters meet the end requirements; the end requirements are preset, and are used to end the requirement information for performing differential evolution processing on the random constraint pool ; Carry out random verification according to the random constraint vector in the random constraint pool after differential evolution processing. The present invention is applicable to the scenario of random verification with multiple random constraints.

Description

Technical field [0001] The invention relates to the field of chip design, in particular to a method and device for random verification. Background technique [0002] With the development of science and technology, the functions of various network devices are becoming more and more complex, so the complexity of the chips in the network devices continues to increase. Correspondingly, the complexity of the verification work for verifying the chip is also continuously increasing. For chips with high complexity, it is necessary to adopt a collection verification method for verification. [0003] In the traditional random verification method, a random verification uses a set of random constraints, and after the end, the verification effect is evaluated. In this way, the problem of how to determine the verification scale is to determine the number of random excitations. If the number of random excitations for a random verification is too small, there may be a problem that many scenario...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
Patent Type & AuthorityPatents(China)
IPC IPC(8): G06F17/50
CPCG06F30/33
Inventor李拓
OwnerSHANDONG HAILIANG INFORMATION TECH RES INST