Verification method and device and related products
A verification method and instruction technology, applied in the computer field, can solve problems such as time-consuming, complicated verification work, and a large amount of time
Active Publication Date: 2020-11-24
ANHUI CAMBRICON INFORMATION TECH CO LTD
View PDF5 Cites 0 Cited by
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
When using instruction sequences to verify multi-core systems, because the relationship between instructions is very complex, and there are instructions whose correctness cannot be detected in real time by the verification environment (the errors caused by them may propagate in the instruction sequence), the verifier needs to spend a lot of time To analyze and locate the errors that occur, which makes the verification work complicated and time-consuming
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 moreImage
Smart Image Click on the blue labels to locate them in the text.
Smart ImageViewing Examples
Examples
Experimental program
Comparison scheme
Effect test
Embodiment Construction
[0021] The following will clearly and completely describe the technical solutions in the embodiments of the present disclosure with reference to the accompanying drawings in the embodiments of the present disclosure. Apparently, the described embodiments are part of the embodiments of the present disclosure, not all of them. Based on the embodiments in the present disclosure, all other embodiments obtained by those skilled in the art without making creative efforts belong to the protection scope of the present disclosure.
[0022] It should be understood that the terms "first", "second", "third" and "fourth" in the claims, specification and drawings of the present disclosure are used to distinguish different objects, rather than to describe a specific order . The terms "comprising" and "comprises" used in the specification and claims of the present disclosure indicate the presence of described features, integers, steps, operations, elements and / or components, but do not exclud...
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
Login to View More Abstract
The invention relates to a verification method and device and a related product. The product comprises a control module. The control module comprises an instruction cache unit, an instruction processing unit and a storage queue unit. The instruction caching unit is used for storing a calculation instruction associated with the artificial neural network operation; the instruction processing unit isused for analyzing the calculation instruction to obtain a plurality of operation instructions; the storage queue unit is used for storing an instruction queue, and the instruction queue comprises aplurality of operation instructions or calculation instructions to be executed according to the front-back sequence of the queue. Through the method, the efficiency of verifying related products can be improved.
Description
technical field [0001] The present disclosure relates to the field of computer technology, in particular to a verification method and device and related products. Background technique [0002] With the development of computer technology, related system design becomes more and more complex. When using instruction sequences to verify multi-core systems, because the relationship between instructions is very complex, and there are instructions whose correctness cannot be detected in real time by the verification environment (the errors caused by them may propagate in the instruction sequence), the verifier needs to spend a lot of time To analyze and locate the errors that occur, which makes the verification work complicated and time-consuming. Contents of the invention [0003] Based on this, it is necessary to provide a verification method and device and related products that can detect errors in the verification process as early as possible in order to address the above tec...
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
Login to View More Patent Type & Authority Patents(China)
IPC IPC(8): G06F9/30G06F15/80G06F15/82
CPCG06F9/30145G06F15/8007G06F15/82
Inventor 不公告发明人
Owner ANHUI CAMBRICON INFORMATION TECH CO LTD