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

Quick verification system for operation result

A computing result and fast technology, applied in the field of data computing, can solve the problem of high hardware resource consumption, etc., and achieve the effect of small resource consumption, satisfying real-time performance, and saving resource consumption

Active Publication Date: 2020-08-14
HEFEI UNIV OF TECH
View PDF3 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0007] The purpose of this application is to overcome the disadvantage of large hardware resource consumption in the existing method and reduce the implementation cost of computing result verification under the premise of satisfying the timeliness of computing result verification

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
  • Quick verification system for operation result
  • Quick verification system for operation result
  • Quick verification system for operation result

Examples

Experimental program
Comparison scheme
Effect test

Embodiment 1

[0026] Such as figure 1 As shown, the present embodiment provides a quick check system for calculation results, the system is suitable for DSP chips, the DSP chip includes a calculation unit, the calculation unit is used to perform target calculation conversion according to input data to obtain corresponding output data, input Both the data and the output data are arrays, and the target operation may include: DCT operation, (I)DCT operation, DFT operation, (I)DFT operation, etc.

[0027] Specifically, in this embodiment, the transformation matrix W of the input data is set to satisfy the following formula:

[0028] W·W T =kE

[0029] In the formula, E is the identity matrix, and k is a constant.

[0030] For the convenience of description, it is assumed that the input data in this embodiment is an array composed of real numbers, and the operation unit performs DCT operation, and at this time, the operation unit performs serial input calculation.

[0031] On the basis of th...

Embodiment 2

[0044] For the arithmetic units that perform parallel multi-way operations, it is necessary to set the same number of first check units and second check units according to the number of parallel branches, and set the corresponding adders, and use the adders to check the check units. The calculated data is added to complete the verification of the correctness of the output data. In this embodiment, the parallel two-way operation is taken as an example, and the description is made on the basis of the first embodiment above.

[0045] Such as figure 2 As shown, the second embodiment provides a quick verification system for calculation results. When the calculation unit executes two parallel input data calculations, the system is provided with two first verification units and two second verification units in parallel. unit, the system also includes: a first adder and a second adder;

[0046] A first checking unit is respectively set at the two input terminals of the arithmetic u...

Embodiment 3

[0050] Such as image 3 As shown, on the basis of the first and second embodiments above, the third embodiment provides a quick verification system for the calculation results. When the calculation unit performs DFT and IDFT operations, the input data includes two parts, the real part and the imaginary part. At this time, the square unit in the first (second) checking unit in this embodiment includes: a first multiplier, a second multiplier and a third adder; the first multiplier is used to calculate the input data of the square unit The square of the real part; the second multiplier is used to calculate the square of the imaginary part of the input data of the square unit; the third adder is used to calculate the sum of the square of the real part and the square of the imaginary part, and record the sum as the square unit output, and then output the sum value to the accumulation unit to complete the operation of the first (second) check unit.

[0051] Specifically, when perf...

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 quick verification system for an operation result. The system comprises a first verification unit which comprises a square unit and an accumulation unit which are connected,calculates the squares of all elements in input data, carries out the accumulation summation of the squares, and records the sum as a first input quadratic sum; a multiplication unit which is connected to the first verification unit, calculates a product of the first input quadratic sum and a predetermined coefficient, and records the product as a first verification value; a second verification unit which is arranged at the output end of the operation unit, has the same structure as the first verification unit, and is used for calculating the square of each element in the output data, accumulating and summing the squares, and recording the sum as a second verification value; and a comparison unit which is used for judging that the output data is correct when the difference value between the first verification value and the second verification value is smaller than or equal to the verification threshold value. According to the technical scheme, on the premise that the timeliness of operation result verification is met, the defect that an existing method is large in hardware resource consumption is overcome, and the implementation cost of operation result verification is reduced.

Description

technical field [0001] The present application relates to the technical field of data calculation, and in particular, to a fast verification system for calculation results. Background technique [0002] With the continuous development of technology, transformation methods such as Discrete Fourier Transform (DFT) and its inverse transform, discrete cosine transform (DCT) and its inverse transform are gradually introduced in order to improve the efficiency of data operations . [0003] In the application process of such algorithms, to ensure fast and accurate results, it is necessary to verify the operation results, especially real-time verification. For example, in aerospace and other fields, due to the interference of strong radiation, the chip is prone to erroneous flips, resulting in errors in calculation results, so it is necessary to verify the correctness of the results. [0004] However, in the prior art, on the one hand, the method of spatial module redundancy is us...

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): G06F17/14G06F7/544
CPCG06F17/142G06F17/147G06F7/5443
Inventor 宋宇鲲王正茂张多利唐旭李桢旻杜高明
Owner HEFEI UNIV OF TECH