Chip algorithm module verification method and system based on C algorithm model

Abstract

The invention discloses a chip algorithm module verification method based on a C algorithm model, and the method comprises the steps: carrying out the expansion of an existing C algorithm model, developing a related function module, carrying out the proper matching of the C algorithm model and the hardware of an algorithm on the premise of guaranteeing the functions of an original C algorithm model, and enabling the functional module to be easily integrated in a verification environment. And transmission between the verification environment and the C model is realized through the DPIC interface, so that the operation of the verification case is fully automatic. Meanwhile, no file is used as a transmission medium between the C model and the verification environment in the testing process, so that the storage space is saved. Due to the fact that the C model is independently compiled, development and debugging of the C model are independent of a verification platform, verification efficiency is improved, source codes of the C algorithm model do not need to be provided for verification personnel, and confidentiality of algorithm codes is guaranteed. In addition, the invention further provides a chip algorithm module verification system based on the C algorithm model, and the technical effect of the chip algorithm module verification system corresponds to the technical effect of themethod.

Description

technical field [0001] The present application relates to the field of computer technology, and in particular, to a method and system for verifying a chip algorithm module based on a C algorithm model. Background technique [0002] Chip verification is an important link in the chip development process. As the chip scale becomes larger and larger, the complexity of chip verification becomes higher and higher. For chips that implement algorithm functions, it usually needs to process a large amount of data or undergo many complex operations. The processed results are very different from the original input data. The corresponding algorithm model is needed as a reference when verifying the algorithm module. [0003] Algorithm models are generally implemented in high-level languages, and there are usually the following implementation methods: [0004] Method 1: Use a verification language such as System Verilog to implement the algorithm model and integrate it into the verificati...

AI Technical Summary

Problems solved by technology

[0008] The above method 1 can realize real-time online comparison, but has an obvious disadvantage, that is, the existing algorithm model cannot be reused, and the verification language needs to be used for secondary development, which increases additional costs

[0009] The above method 2 separates the generation of reference results from the running process of the verification use case, and uses files as the data transmission medium to transfer data. The shortcomings include two points. One is that it is not easy to realize automatic verification, and the other is that with the increase of the incentive range , the number of files to be saved also increases, requiring a large amount of additional storage space

[0010] Although the above method 3 integrates the operation of the algorithm model into the verification environment and can be controlled by the verification use case, it still needs to use files as a medium to transfer the results, and the disadvantages are the same as the above method 2

[0011] The above method 4 needs to compile the reference model together with the verification environment, and needs to put the algorithm source code in the verification environment. The verification personnel encapsulate the DPI-C interface on the basis of the algorithm model. There are two shortcomings. First, the algorithm model has been integrated In the verification environment, when the verification use case fails to locate the problem by comparing the intermediate process of the algorithm, the algorithm model is not easy to debug independently, and additional auxiliary means are needed; second, the confidentiality of the algorithm code cannot be guaranteed when cooperating with a third party

[0012] To sum up, the current verification scheme for the chip algorithm module either needs to disclose the source code of the algorithm model, which cannot guarantee the confidentiality of the algorithm code; or uses files as the data transmission medium, which takes up a large storage space; or cannot reuse the existing Algorithmic models, increasing development costs

Images