Multi-type coexistence access stream verification method supporting multi-core shared access

Abstract

The invention discloses a multi-type coexistence access stream verification method supporting multi-core shared access, and the method comprises the steps: obtaining system information of a storage system corresponding to a to-be-tested access component, building a verification system corresponding to the to-be-tested access component based on the system information, and enabling the verification system to comprise a plurality of virtual models; when the multi-source core request instruction is detected, determining each test excitation sending the multi-source core request instruction; and respectively determining each virtual model corresponding to each test excitation, and carrying out parallel processing on the multi-source core request instruction based on each virtual model to obtain each virtual response result. The functions of request sending, analysis, response processing and the like of each virtual model are realized in a short time, finally, the correctness of processing, analysis and forwarding of the to-be-tested memory access component is judged by comparing real and virtual responses, errors can be found and positioned more easily through the verification method and system, the correctness of the to-be-tested memory access component is ensured, and no tape-out error exists.

Description

technical field [0001] The present application relates to the technical field of pre-silicon functional correctness verification of central processing unit chips, and in particular, relates to a multi-type concurrent memory access flow verification method supporting multi-core shared access. Background technique [0002] As one of the core components of high-performance microprocessors, MBOX has a decisive impact on the performance and efficiency of computer storage systems. It is located inside the core and its main function is to parse and forward multiple requests initiated by sources. Various types of memory access operations, submit multiple memory access objects for storage access, receive and manage read response data and return it to each request source, and manage the completion of storage access, where the access request source mainly includes execution components ( EBOX), memory access requests sent by other cores through the local transmission unit (TBOX), and me...

AI Technical Summary

Problems solved by technology

Although the traditional software simulation verification method has the advantages of low cost and error-prone, as the design scale and complexity increase, the requirements for the number and quality of test vectors are also increasing

Moreover, the traditional software simulation method has the disadvantages of slow running speed, low control power of simulating specific functions, and difficult timing control, etc., and the verification method through software simulation requires the system to be fully constructed before the verification can be started, so that it has a great impact on the efficiency and efficiency of the verification. Comprehensiveness has some shortcomings

Images