Unlock instant, AI-driven research and patent intelligence for your innovation.

Function excitation vector generation method and system based on classification processing

An excitation vector and function technology, applied in electrical digital data processing, special data processing applications, instruments, etc., can solve the problems of low verification efficiency, inability to obtain good verification coverage, large verification space, etc., to improve completeness and efficiency. sexual effect

Active Publication Date: 2019-03-26
NAT UNIV OF DEFENSE TECH
View PDF4 Cites 1 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

However, for data path circuits, which are generally used for data transmission and arithmetic operations, the corresponding verification space is huge. If the stimulus is generated by traversal, the verification efficiency will be too low, and good results cannot be obtained within a certain time and space. verification coverage of

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
  • Function excitation vector generation method and system based on classification processing
  • Function excitation vector generation method and system based on classification processing
  • Function excitation vector generation method and system based on classification processing

Examples

Experimental program
Comparison scheme
Effect test

Embodiment 1

[0026] Such as figure 1 , figure 2 and image 3 As shown, the implementation steps of the method for generating functional stimulus vectors based on classification processing in this embodiment include:

[0027] 1) Classify the target digital circuit into data path circuits and control path circuits according to the functional attributes. If the classification result is data path circuits, skip to step 2); otherwise, skip to step 3);

[0028] 2) Use the incentive uniform distribution strategy to obtain test vectors uniformly and randomly distributed in the verification space, and use a specific boundary case traversal strategy to obtain test vectors covering specific boundary case patterns, and exit;

[0029] 3) Using the specific functional mode coverage strategy to obtain test vectors covering specific functional modes in the verification space.

[0030] In this embodiment, digital circuits are classified into data path circuits and control path circuits according to the...

Embodiment 2

[0041] This embodiment is basically the same as Embodiment 1. Step S1) of this embodiment corresponds to step 1) of Embodiment 1, and step S2) corresponds to step 2) of Embodiment 1. The main difference is step S1 of this embodiment ) in the classification of data path circuits and control path circuits, the judgment jump and processing methods are different.

[0042] Such as Figure 4 As shown, the implementation steps of the method for generating functional stimulus vectors based on classification processing in this embodiment include:

[0043] S1) Classify the target digital circuit into a data path circuit and a control path circuit according to the functional attributes, if the classification result is a data path circuit, skip to step S2);

[0044] S2) Use the incentive uniform distribution strategy to obtain test vectors uniformly and randomly distributed in the verification space, and use a specific boundary case traversal strategy to obtain test vectors covering spec...

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 a function excitation vector generation method and system based on classification processing. According to the invention, a target digital circuit is classified into a data path type circuit and a control path type circuit according to functional attributes; if the classification result is a data path class circuit, adopting an excitation uniform distribution strategy to obtain test vectors uniformly and randomly distributed in a verification space, and adopting a specific boundary condition traversal strategy to obtain test vectors covering a specific boundary condition mode; And if the classification result is the control path type circuit, obtaining a test vector covering the specific function mode in the verification space by adopting a specific function mode covering strategy. According to the method, different excitation generation methods are provided according to different functional attributes, efficient random excitation automatic generation can be achieved for different types of circuits under small manual intervention under the condition that extra constraints are not increased, and the completeness and the high efficiency of simulation verification are improved.

Description

technical field [0001] The invention relates to the field of integrated circuit design verification, in particular to a method and system for generating functional excitation vectors based on classification processing, which are used to realize efficient random excitation automatic generation for data path circuits and control path circuits. Background technique [0002] Simulation verification is still the main verification method in the IC design verification process. Simulation verification is to judge whether the design is correct by applying excitation at the input end of the system and observing the output. Therefore, in order to ensure the completeness and efficiency of verification, the generation method of functional incentives is very important. However, circuits have different functional properties, and using a unified method for generating stimulus for functions will result in low quality stimulus generation, resulting in low verification efficiency. For contro...

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 & Authority Applications(China)
IPC IPC(8): G06F17/50
CPCG06F30/30Y02D10/00
Inventor 陈书明吕昭张廷荣王耀华胡春媚孙乾
Owner NAT UNIV OF DEFENSE TECH