A device for physical verification of multi-core processor cache consistency

Abstract

The invention discloses a device for physical verification of multi-core processor Cache consistency. Its purpose is to provide a physical verification device with low overhead and high efficiency for multi-core processor Cache consistency. This device is based on the field programmable gate array (Field Programmable Gate-Array, FPGA for short) verification platform of the single-core processor, and a virtual processor core (103) is embedded to realize the purpose of verifying the consistency of the multi-core processor Cache . The virtual processor core (103) can imitate a multi-core processor to automatically generate a shared memory access request and automatically ensure the correctness of the result. Using this device can verify the correctness of multi-core processor Cache consistency on the single-core processor FPGA verification platform, which reduces the cost of FPGA physical verification of multi-core processors, thereby improving the verification efficiency of multi-core processor Cache consistency, and at the same time , using this verification method in simulation verification can also reduce the complexity of simulation verification and increase the speed of simulation verification.

Description

technical field [0001] The invention relates to a device for physical verification of multi-core processors, in particular to the correctness verification of Cache consistency of multi-core processors. technical background [0002] With the development of microprocessors, traditional processor design and manufacturing methods have been difficult to achieve performance breakthroughs, single-core microprocessors are increasingly difficult to meet application requirements, and microprocessors have entered the multi-core era. From single-core to multi-core, it is not just a simple increase in the number of processor cores, the development of multi-core processors poses a huge challenge to the processor architecture, the overall computer architecture, operating systems and application software. With the increase of multi-core processor structure complexity, how to ensure the correctness of multi-core processor design, especially the correctness of multi-core processor Cache cohe...

AI Technical Summary

Problems solved by technology

However, due to the essential difference in system architecture between multi-core processors and single-core processors, this also determines that the software simulation environment, test incentives, and physical hardware simulation platforms of single-core processors cannot be directly applied to multi-core processing. The functional verification of the processor requires a lot of modification, and some environments even need to be rebuilt. In this way, it is difficult to inherit the verification results of the single-core processor, which greatly increases the development cycle of the multi-core processor.

Images