Consistency physical verification device of multicore processor Cache

Abstract

The invention discloses a consistency physical verification device of a multicore processor Cache, to provide a consistency physical verification device with low cost and high efficiency for the multicore processor Cache. Based on a field programmable gate-array (FPGA) verification platform of a single core processor, the device is embedded with a virtual processor core (103) to verify the consistency of the multicore processor Cache. The virtual processor core (103) can imitate the multicore processor to automatically generate shared memory access request and automatically store the correctness of results. The device can verify the correctness of the consistency of the multicore processor Cache on the FPGA verification platform of a single core processor, which reduces FPGA physical verification cost of the multicore processor and improves the consistency verification efficiency of the multicore processor Cache; synchronously, using such verification method in a simulation verification can reduce the complexity of the simulation verification and increase the speed of the 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 coher...

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