Optimization method and apparatus for verification vectors

An optimization method and a technology for optimizing devices, which are applied in the directions of measuring devices, measuring electricity, and measuring electrical variables, etc., can solve problems such as unsatisfactory simulation speed of simulation verification technology, inability to know the contribution of test programs, and redundancy of verification vectors, etc., to achieve Effects of shortening simulation time, accelerating verification convergence, and improving verification efficiency

Active Publication Date: 2009-07-22
LOONGSON TECH CORP
View PDF0 Cites 8 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

However, when the simulation reaches a certain level, due to the complexity of the defined coverage space and some hard-to-reach states, the improvement of the coverage rate becomes very slow. At this time, a large number of test programs run are redundant. , and it is impossible to know the contribution of the test program to the improvement of the coverage rate before ...

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
  • Optimization method and apparatus for verification vectors
  • Optimization method and apparatus for verification vectors
  • Optimization method and apparatus for verification vectors

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0046] In order to make the purpose, technical solution and advantages of the present invention clearer, a verification vector optimization method and device of the present invention will be further described in detail below in conjunction with the accompanying drawings and embodiments. It should be understood that the specific embodiments described here are only used to explain the present invention, not to limit the present invention.

[0047]A verification vector optimization method and device of the present invention is to predict the coverage rate information of the newly generated verification vector according to the simulation information of the verified vector, and judge in advance whether it is possible to improve the current coverage rate. If it can be sent Enter the design to be verified to perform simulation operations, otherwise it is considered as a redundant verification vector and regenerated. It can reduce the use of verification vectors as much as possible an...

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

The invention discloses an optimization method and a device for verifying a vector. The method comprises the following steps: according to the simulated initial verification vector, obtaining information on coverage rate of function points covered by the initial verification vector, initializing a list of the covered function points, and constructing a classification model; and sending a generated verification vector to the classification model, predicting the coverage rate of the function points covered by the generated verification vector, simulating the generated verification vector for improving the coverage rate of the function points, and updating the list of the function points according to the simulation result to obtain the verification vector with higher coverage rate. The method can reduce the number of the verification vector needing to be simulated, reduce the usage of the verification vector as much as possible and shorten simulation time, so as to improve verification efficiency and accelerate verification convergence.

Description

technical field [0001] The present invention relates to VLSI (Very Large Scale Integrated circuits, VLSI), design field, mainly relates to coverage evaluation technology in simulation verification, especially relates to verification vector optimization method and device. Background technique [0002] With the wide application of integrated circuits, there are strict requirements on functional correctness, speed, power consumption, and reliability. Among them, functional correctness is the most basic requirement. The 2003 International Semiconductor Technology Development Report pointed out that verification has become the most expensive work in the integrated circuit design process. Verification is not only a hot spot in the research field, it is also directly related to the economic benefits of enterprises. Therefore, it is necessary to have an efficient verification design method to minimize the possibility of IC design errors, and at the same time shorten the time to ma...

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
IPC IPC(8): G01R31/3183
Inventor 郭崎沈海华王朋宇
Owner LOONGSON TECH CORP
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products