Cache Replacement Management Tables for Accelerated Simulation Debugging

Resolve Bottlenecks,
Find Innovative Solutions
Generate Solutions

Solution Overview

Problem

Current accelerated simulation methods for microprocessor verification lack thorough debugging capabilities due to reduced checking, making it difficult to identify and debug failures effectively.

Innovation Solution

The implementation of a cache replacement system using Replacement Management Tables (RMTs) in a Cell Broadband Engine Architecture (CBEA) compliant system, which allows for locking and isolating cache data, enabling enhanced cache data and state checking in an accelerated simulation environment.

Engineering Contradictions & Design Principles

VSEngineering Contradiction Analysis

1Productivity

If accelerated simulation is used to increase simulation speed, then simulation performance is improved, but debugging capability deteriorates

Engineering Contradiction:
Improvesimulation speedVSAvoiddebugging capability
Core Design Contradiction:
ProductivityVSDifficulty of detecting and measuring

Solution Approach 1:

The patent introduces replacement management tables as an intermediary structure between the accelerated simulation hardware and the verification system. These tables mediate the interaction by providing structured metadata about cache replacements, enabling verification without sacrificing simulation speed. The tables act as a bridge that allows both high-performance simulation and thorough debugging to coexist.

Inventive Principle:
Principle #24Intermediary (Mediator)

Solution Approach 2:

The patent implements feedback mechanisms through verification algorithms that analyze replacement management table data and feed results back to the simulation system. This feedback loop enables continuous verification of simulation accuracy while maintaining accelerated simulation speeds, allowing debugging capabilities to keep pace with the rapid simulation execution.

Inventive Principle:
Principle #23Feedback

2Reliability

If replacement management tables are implemented to enable cache locking, then verification thoroughness is improved, but device complexity increases

Engineering Contradiction:
Improveverification thoroughnessVSAvoidsystem complexity
Core Design Contradiction:
ReliabilityVSDevice complexity

Solution Approach 1:

The replacement management tables serve multiple functions: they manage cache replacement policies, enable data locking for verification, provide metadata for analysis, and support both accelerated simulation and formal verification methodologies. By making this single structure multi-functional, the patent reduces overall system complexity while improving verification thoroughness.

Inventive Principle:
Principle #6Universality (Multi-functionality)

Solution Approach 2:

The patent merges the replacement management functionality with the verification infrastructure, combining what could be separate complex systems into a unified approach. The replacement management tables are integrated into the accelerated simulation hardware while simultaneously serving the verification process, eliminating redundancy and reducing overall system complexity.

Inventive Principle:
Principle #5Merging (Combining)

Data Source

PatentUS7756695B2Accelerated simulation and verification of a system under test (SUT) using cache and replacement management tables
Publication Date: 2010.07.13 X CORP
  • US7756695B2 patent drawing
  • US7756695B2 patent drawing
  • US7756695B2 patent drawing

AI summary

A cache replacement system for extending the debugging capabilities of accelerated simulation by enabling enhanced cache data and state checking is provided. The system includes a Cell Broadband Engine Architecture (CBEA) compliant system implementing Replacement Management Tables in an accelerated simulation environment. The RMTs control cache replacement and allow the software to direct entries with specific address ranges at a particular subset of the cache. The RMTs further allow for locking data in the cache and are utilized to prevent overwriting data in the cache by directing data that is known to be used only once at a particular set. Using the locking mechanism in an accelerated simulation environment, a user is able to run code sets, which, when the microprocessor system being tested is correctly designed, generates identical and verifiable data and cache states in each of the different sets of the cache.