Multi-core processor Cache consistency simulation verification method and verification device

A multi-core processor, simulation verification technology, applied in electrical digital data processing, instruments, computing and other directions, can solve the problems of long debugging time, long time-consuming consistency verification cycle, etc., to shorten the time, improve the construction efficiency, and the verification effect is good Effect

Pending Publication Date: 2021-01-08
PHYTIUM TECH CO LTD
View PDF0 Cites 5 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

In addition, in terms of reusability, traditional verification methods are not based on UVM verification methodology, and when the verification environment is integrated from the module level to the subsystem level and system level, it still takes a long time to debug
In summary, the entire cache consistency verification cycle will take a long time

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
  • Multi-core processor Cache consistency simulation verification method and verification device
  • Multi-core processor Cache consistency simulation verification method and verification device
  • Multi-core processor Cache consistency simulation verification method and verification device

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0039] The present invention will be further described in detail below in conjunction with the accompanying drawings and specific embodiments.

[0040]The Cache consistency software simulation verification method proposed by the present invention can be based on UVM verification methodology (Universal Verification Methodology, UVM) according to actual needs, which configures verification environment generation tools and verification incentive generation tools according to design and verification requirements, and adds coverage Rate collection and performance statistics tools, through the correctness check tool to determine whether the system performs the correct execution of the message process and the correct transition of the state according to the protocol requirements. In addition, on the basis that the relevant status of the consistency protocol and the execution result of the message process have been verified, the correctness checking tool is further used to check whethe...

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 multi-core processor Cache consistency simulation verification method and device, and the method comprises the steps: configuring a verification environment and verificationexcitation, and carrying out the excitation test in the verification environment; and performing coverage rate collection and performance statistics after the excitation test is completed, and judgingwhether the system performs correct state migration according to protocol requirements or not through global protocol correctness check. The verification device is constructed based on the verification method. The method has the advantages of simple principle, simple operation, good verification effect and the like.

Description

technical field [0001] The present invention mainly relates to the technical field of high-speed cache memory, in particular to a simulation verification method and verification device suitable for multi-core processor Cache consistency. Background technique [0002] In processor design, Cache (high-speed cache memory) is a first-level memory that exists between the processor core and the main memory. In a multi-core processor system, there is a problem of Cache consistency. When multiple caches contain the same block of data, if any one of the caches modifies the data block without notifying other caches, data inconsistency will occur. Cache consistency is a protocol for maintaining the consistency of data in multiple caches. The design of Cache coherence protocol is one of the core technologies of multi-core processor system, so the verification of Cache coherence is a very important work. [0003] At present, the verification of Cache consistency generally adopts the me...

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): G06F11/36
CPCG06F11/3676G06F11/3688
Inventor 范君建晁张虎戴梅芝朱红柏颖杨庆娜王忠弈贾亚平王红灵李宇杰胡恩李晨
Owner PHYTIUM TECH CO LTD
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap