Derek Edward Williams

Processor system and methods of triggering a block move using a system bus write command initiated by user code

Techniques for write-after-write ordering in a coherency managed processor system that employs a command pipeline

Tracking converge results in a batch simulation farm network

Reducing wiring congestion in a cache subsystem utilizing sectored caches with discontiguous addressing

Method and data processing system for microprocessor communication using a processor interconnect in a multi-processor system

Program product providing a configuration specification language having clone latch support

METHOD, SYSTEM AND PROGRAM PRODUCT SUPPORTING USER TRACING IN A SIMULATOR

Program product for providing a configuration specification language supporting incompletely specified configuration entities

Controlling operation of a digital system utilizing register entities

Program product for defining and recording minimum and maximum event counts of a simulation utilizing a high level language

Configuration specification language supporting arbitrary mapping functions for configuration constructs

Variable store gather window

Annotating system traces with control program information and presenting annotated system traces

Method and system for reducing storage requirements of simulation data via KEYWORD restrictions

METHOD, SYSTEM AND PROGRAM PRODUCT PROVIDING A CONFIGURATION SPECIFICATION LANGUAGE SUPPORTING ARBITRARY MAPPING FUNCTIONS FOR CONFIGURATION CONSTRUCTS

Method and data processing system for processor-to-processor communication in a clustered multi-processor system

Method for Priority Scheduling and Priority Dispatching of Store Conditional Operations in a Store Queue

System and method for completing full updates to entire cache lines stores with address-only bus operations

Method for priority scheduling and priority dispatching of store conditional operations in a store queue

Method and system for reducing storage requirements of simulation data via keyword restrictions

Method, processing unit and data processing system for microprocessor communication in a multi-processor system

Data processing system and method for efficient L3 cache directory management

Method and data processing system for microprocessor communication in a cluster-based multi-processor system

Data processing system and method for efficient L3 cache directory management

Method and data processing system for microprocessor communication in a cluster-based multi-processor system

Method and data processing system for microprocessor communication in a cluster-based multi-processor wireless network

Tracking converage results in a batch simulation farm network

Processor and data processing system employing a variable store gather window

Method, processing unit and data processing system for microprocessor communication in a multi-processor system

Method, system and program product supporting presentation of a simulated or hardware system including configuration entities

Data processing system and method for efficient communication utilizing an Tn and Ten coherency states

Presentation of a simulated or hardware system including configuration entities

Variable store gather window

Configuration database supporting selective presentation of configuration entities

Method, system and program product for determining a configuration of a digital design by reference to an invertible configuration database

Method, system and program product providing a configuration specification language supporting arbitrary mapping functions for configuration constructs

High speed promotion mechanism suitable for lock acquisition in a multiprocessor data processing system

C-API instrumentation for HDL models

Chained cache coherency states for sequential homogeneous access to a cache line with outstanding data response

Chained cache coherency states for sequential non-homogeneous access to a cache line with outstanding data response

Method and system for selectively storing and retrieving simulation data utilizing keywords

Method and system for reducing storage and transmission requirements for simulation results

Method, system and program product for specifying and using register entities to configure a simulated or physical digital system

Method, system and program product for implementing a read-only dial in a configuration database of a digital design

Method, system and program product for configuring a simulation model of a digital design

Dynamic loading of C-API HDL model instrumentation

Method, system and program product that utilize a configuration database to configure a hardware digital system having an arbitrary system size and component set

Maintaining data integrity within a distributed simulation environment

Non-redundant collection of harvest events within a batch simulation farm network

Method, system and program product for specifying a configuration for multiple signal or dial instances in a digital system

Cache memory, processing unit, data processing system and method for assuming a selected invalid coherency state based upon a request source

Method, system and program product providing a configuration specification language supporting arbitrary mapping functions for configuration constructs

Cache memory direct intervention

Annealing harvest event testcase collection within a batch simulation farm

Signal override for simulation models

Data processing system and method for efficient L3 cache directory management

Data processing system and method for efficient communication utilizing an Tn and Ten coherency states

System and method of re-ordering store operations within a processor

Count data access in a distributed simulation environment

Method, system and program product for specifying a configuration of a digital system described by a hardware description language (HDL) model

Method, system and program product for automatically transforming a configuration of a digital system utilizing traceback of signal states

Method and data processing system for microprocessor communication in a cluster-based multi-processor network

Method, system and program product that utilize a configuration database to configure a hardware digital system having multiple access methods

Method, system and program product for specifying and using a dial having a default value to configure a digital system described by a hardware description language (HDL) model

Method, system and program product for defining and recording threshold-qualified count events of a simulation by testcases

Integrated purge store mechanism to flush L2/L3 cache structure for improved reliabity and serviceability

Processor, method, and data processing system employing a variable store gather window

Method, system and program product for specifying and using dials having phased default values to configure a simulated or physical digital system

Naming and managing simulation model events

Method for priority scheduling and priority dispatching of store conditional operations in a store queue

Method, system and program product for defining and recording minimum and maximum event counts of a simulation utilizing a high level language

Method, system and program product for defining and recording minimum and maximum count events of a simulation

Processor, data processing system and method for synchronzing access to data in shared memory

Processor, data processing system and method for synchronizing access to data in shared memory

Processor, data processing system and method for synchronizing access to data in shared memory

Centralized disablement of instrumentation events within a batch simulation farm network

Method, apparatus and system for managing released promotion bits

Method, system and program product for providing a configuration specification language supporting selective presentation of configuration entities

Method, system and program product supporting presentation of a simulated or hardware system including configuration entities

Method, system and program product for specifying a dial group for a digital system described by a hardware description language (HDL) model

Methods, systems and program products for annotating system traces with control program information and presenting annotated system traces

Method, system and program product for providing a configuration specification language supporting incompletely specified configuration entities

Embedded hardware description language instrumentation

Method, system and program product for specifying and using register entities to configure a simulated or physical digital system

System and method for completing updates to entire cache lines with address-only bus operations

System and method to stall dispatch of gathered store operations in a store queue using a timer

System and method for enabling weak consistent storage advantage to a firmly consistent storage architecture

System and method for reducing contention in a multi-sectored cache

Method, system and program product for reducing a size of a configuration database utilized to configure a hardware digital system

Hierarchical processing of simulation model events

Fail thresholding in a batch simulation farm network

Method, apparatus and system for accessing a global promotion facility through execution of a branch-type instruction

Method, apparatus and system that cache promotion information within a processor separate from instructions and data

Detecting events within simulation models

Method, system and program product providing a configuration specification language having split latch support

Method, system and program product providing a configuration specification language supporting arbitrary mapping functions for configuration constructs

Method and system for selective compilation of instrumentation entities into a simulation model of a digital design

Method, system and program product supporting user tracing in a simulator

System and method for exposing hidden events on system buses

Speculative execution of instructions and processes before completion of preceding barrier operations