Williams; Derek Edward

Patent Applications and Registrations

Patent applications and USPTO patent grants for Williams; Derek Edward.The latest application filed is for "techniques for write-after-write ordering in a coherency managed processor system that employs a command pipeline".

Company Profile

0.141.114

Williams; Derek Edward - Austin TX US

*profile and listings may contain filings by different individuals or companies with the same name. Review application materials to confirm ownership/assignment.

Patent Activity

Patent	Date
Reducing wiring congestion in a cache subsystem utilizing sectored caches with discontiguous addressing Grant 8,433,851 - Clark , et al. April 30, 2	2013-04-30
Annotating system traces with control program information and presenting annotated system traces Grant 8,296,740 - Roesner , et al. October 23, 2	2012-10-23
Processor system and methods of triggering a block move using a system bus write command initiated by user code Grant 8,281,075 - Arimilli , et al. October 2, 2	2012-10-02
Techniques for write-after-write ordering in a coherency managed processor system that employs a command pipeline Grant 8,230,117 - Daly, Jr. , et al. July 24, 2	2012-07-24
Program product providing a configuration specification language having clone latch support Grant 8,028,273 - Roesner , et al. September 27, 2	2011-09-27
Controlling operation of a digital system utilizing register entities Grant 7,921,389 - Roesner , et al. April 5, 2	2011-04-05
Configuration specification language supporting arbitrary mapping functions for configuration constructs Grant 7,895,558 - Roesner , et al. February 22, 2	2011-02-22
Variable store gather window Grant 7,840,758 - Bell, Jr. , et al. November 23, 2	2010-11-23
Method and data processing system for microprocessor communication in a cluster-based multi-processor system Grant 7,818,364 - Arimilli , et al. October 19, 2	2010-10-19
Techniques For Triggering A Block Move Using A System Bus Write Command Initiated By User Code App 20100262735 - Arimilli; Lakshminarayana Baba ; et al.	2010-10-14
Techniques For Write-after-write Ordering In A Coherency Managed Processor System That Employs A Command Pipeline App 20100262720 - Daly, JR.; George William ; et al.	2010-10-14
Presentation of a simulated or hardware system including configuration entities Grant 7,805,695 - Roesner , et al. September 28, 2	2010-09-28
Configuration database supporting selective presentation of configuration entities Grant 7,765,513 - Roesner , et al. July 27, 2	2010-07-27
Tracking converge results in a batch simulation farm network Grant 7,752,026 - Gabele , et al. July 6, 2	2010-07-06
Method and data processing system for processor-to-processor communication in a clustered multi-processor system Grant 7,734,877 - Arimilli , et al. June 8, 2	2010-06-08
Method, processing unit and data processing system for microprocessor communication in a multi-processor system Grant 7,698,373 - Arimilli , et al. April 13, 2	2010-04-13
Tracking Converge Results In A Batch Simulation Farm Network App 20090192778 - Gabele; Carol Ivash ; et al.	2009-07-30
Variable store gather window Grant 7,568,076 - Bell, Jr. , et al. July 28, 2	2009-07-28
Processor and data processing system employing a variable store gather window Grant 7,543,120 - Bell, Jr. , et al. June 2, 2	2009-06-02
Method, system and program product supporting user tracing in a simulator Grant 7,536,288 - Nelson , et al. May 19, 2	2009-05-19
Method for priority scheduling and priority dispatching of store conditional operations in a store queue Grant 7,533,227 - Guthrie , et al. May 12, 2	2009-05-12
Program product for defining and recording minimum and maximum event counts of a simulation utilizing a high level language Grant 7,529,655 - Gabele , et al. May 5, 2	2009-05-05
Program product for providing a configuration specification language supporting incompletely specified configuration entities Grant 7,519,524 - Nelson , et al. April 14, 2	2009-04-14
Data processing system and method for efficient L3 cache directory management Grant 7,500,065 - Guthrie , et al. March 3, 2	2009-03-03
Reducing Wiring Congestion in a Cache Subsystem Utilizing Sectored Caches with Discontiguous Addressing App 20090049248 - Clark; Leo James ; et al.	2009-02-19
Method and data processing system for microprocessor communication using a processor interconnect in a multi-processor system Grant 7,493,417 - Arimilli , et al. February 17, 2	2009-02-17
System and method for completing full updates to entire cache lines stores with address-only bus operations Grant 7,493,446 - Arimilli , et al. February 17, 2	2009-02-17
Data processing system and method for efficient L3 cache directory management Grant 7,490,202 - Guthrie , et al. February 10, 2	2009-02-10
Method and system for reducing storage requirements of simulation data via KEYWORD restrictions Grant 7,480,608 - Gabele , et al. January 20, 2	2009-01-20
Data processing system and method for efficient communication utilizing an Tn and Ten coherency states Grant 7,480,772 - Fields, Jr. , et al. January 20, 2	2009-01-20
Method, system and program product supporting presentation of a simulated or hardware system including configuration entities Grant 7,469,400 - Roesner , et al. December 23, 2	2008-12-23
Program Product Providing A Configuration Specification Language Having Clone Latch Support App 20080295073 - ROESNER; WOLFGANG ; et al.	2008-11-27
Method, System And Program Product Supporting User Tracing In A Simulator App 20080288234 - NELSON; BRADLEY ; et al.	2008-11-20
Data processing system and method for efficient communication utilizing an Tn and Ten coherency states Grant 7,454,577 - Fields, Jr. , et al. November 18, 2	2008-11-18
Method, system and program product for defining and recording threshold-qualified count events of a simulation by testcases Grant 7,454,325 - Behm , et al. November 18, 2	2008-11-18
Method, system and program product for specifying and using register entities to configure a simulated or physical digital system Grant 7,454,737 - Roesner , et al. November 18, 2	2008-11-18
Controlling Operation Of A Digital System Utilizing Register Entities App 20080255821 - Roesner; Wolfgang ; et al.	2008-10-16
Program Product For Providing A Configuration Specification Language Supporting Incompletely Specified Configuration Entities App 20080256135 - NELSON; BRADLEY S. ; et al.	2008-10-16
Program Product For Defining And Recording Minimum And Maximum Event Counts Of A Simulation Utilizing A High Level Language App 20080249758 - Gabele; Carol Ivash ; et al.	2008-10-09
Program Product Providing A Configuration Specification Language Supporting Arbitrary Mapping Functions For Configuration Constructs App 20080235648 - Roesner; Wolfgang ; et al.	2008-09-25
Processor, Method, And Data Processing System Employing A Variable Store Gather Window App 20080235459 - Bell; Robert H. ; et al.	2008-09-25
Method, system and program product for providing a configuration specification language supporting incompletely specified configuration entities Grant 7,426,461 - Nelson , et al. September 16, 2	2008-09-16
Chained cache coherency states for sequential non-homogeneous access to a cache line with outstanding data response Grant 7,409,504 - Rajamony , et al. August 5, 2	2008-08-05
Methods, Systems And Program Products For Annotating System Traces With Control Program Information And Presenting Annotated System Traces App 20080178159 - Roesner; Wolfgang ; et al.	2008-07-24
Method And System For Reducing Storage Requirements Of Simulation Data Via Keyword Restrictions App 20080168057 - GABELE; CAROL Ivash ; et al.	2008-07-10
Method, System And Program Product Providing A Configuration Specification Language Supporting Arbitrary Mapping Functions For Configuration Constructs App 20080163136 - ROESNER; WOLFGANG ; et al.	2008-07-03
Method, system and program product providing a configuration specification language having clone latch support Grant 7,395,524 - Roesner , et al. July 1, 2	2008-07-01
Method And Data Processing System For Processor-to-processor Communication In A Clustered Multi-processor System App 20080155231 - Arimilli; Ravi Kumar ; et al.	2008-06-26
Method, system and program product providing a configuration specification language supporting arbitrary mapping functions for configuration constructs Grant 7,392,501 - Roesner , et al. June 24, 2	2008-06-24
Method, system and program product for defining and recording minimum and maximum event counts of a simulation utilizing a high level language Grant 7,392,169 - Gabele , et al. June 24, 2	2008-06-24
Method, system and program product for providing a configuration specification language supporting selective presentation of configuration entities Grant 7,389,490 - Roesner , et al. June 17, 2	2008-06-17
System and Method for Completing Full Updates to Entire Cache Lines Stores with Address-Only Bus Operations App 20080140943 - Arimilli; Ravi Kumar ; et al.	2008-06-12
Method for Priority Scheduling and Priority Dispatching of Store Conditional Operations in a Store Queue App 20080140953 - Guthrie; Guy Lynn ; et al.	2008-06-12
Method for Priority Scheduling and Priority Dispatching of Store Conditional Operations in a Store Queue App 20080140936 - Guthrie; Guy Lynn ; et al.	2008-06-12
Method, system and program product supporting presentation of a simulated or hardware system including configuration entities Grant 7,386,825 - Roesner , et al. June 10, 2	2008-06-10
Method and system for reducing storage requirements of simulation data via keyword restrictions Grant 7,373,290 - Gabele , et al. May 13, 2	2008-05-13
Method, Processing Unit And Data Processing System For Microprocessor Communication In A Multi-processor System App 20080109816 - ARIMILLI; RAVI KUMAR ; et al.	2008-05-08
Chained cache coherency states for sequential homogeneous access to a cache line with outstanding data response Grant 7,370,155 - Rajamony , et al. May 6, 2	2008-05-06
Processor, method, and data processing system employing a variable store gather window Grant 7,366,851 - Bell, Jr. , et al. April 29, 2	2008-04-29
Method, system and program product providing a configuration specification language supporting arbitrary mapping functions for configuration constructs Grant 7,366,999 - Roesner , et al. April 29, 2	2008-04-29
Data Processing System and Method for Efficient L3 Cache Directory Management App 20080098177 - Guthrie; Guy Lynn ; et al.	2008-04-24
Data Processing System and Method for Efficient L3 Cache Directory Management App 20080091885 - Guthrie; Guy Lynn ; et al.	2008-04-17
Method And Data Processing System For Microprocessor Communication In A Cluster-based Multi-processor System App 20080091918 - Arimilli; Ravi Kumar ; et al.	2008-04-17
System and method for completing updates to entire cache lines with address-only bus operations Grant 7,360,021 - Arimilli , et al. April 15, 2	2008-04-15
Method and data processing system for microprocessor communication in a cluster-based multi-processor wireless network Grant 7,360,067 - Arimilli , et al. April 15, 2	2008-04-15
Method and data processing system for microprocessor communication in a cluster-based multi-processor system Grant 7,359,932 - Arimilli , et al. April 15, 2	2008-04-15
Method for priority scheduling and priority dispatching of store conditional operations in a store queue Grant 7,360,041 - Guthrie , et al. April 15, 2	2008-04-15
Tracking converage results in a batch simulation farm network Grant 7,359,847 - Gabele , et al. April 15, 2	2008-04-15
Processor, Method, And Data Processing System Employing A Variable Store Gather Window App 20080086605 - BELL; ROBERT H. JR. ; et al.	2008-04-10
Method, processing unit and data processing system for microprocessor communication in a multi-processor system Grant 7,356,568 - Arimilli , et al. April 8, 2	2008-04-08
Method, System And Program Product Supporting Presentation Of A Simulated Or Hardware System Including Configuration Entities App 20080077377 - Roesner; Wolfgang ; et al.	2008-03-27
Data processing system and method for efficient L3 cache directory management Grant 7,337,280 - Guthrie , et al. February 26, 2	2008-02-26
Data processing system and method for efficient communication utilizing an Tn and Ten coherency states App 20080040556 - Fields; James Stephen JR. ; et al.	2008-02-14
Method, System And Program Product Supporting Presentation Of A Simulated Or Hardware System Including Configuration Entities App 20080021691 - Roesner; Wolfgang ; et al.	2008-01-24
Cache memory direct intervention Grant 7,305,523 - Guthrie , et al. December 4, 2	2007-12-04
Processor, Method, And Data Processing System Employing A Variable Store Gather Window App 20070277026 - BELL; ROBERT H. JR. ; et al.	2007-11-29
System and method of re-ordering store operations within a processor Grant 7,284,102 - Guthrie , et al. October 16, 2	2007-10-16
Method, System And Program Product For Providing A Configuration Specification Language Supporting Selective Presentation Of Configuration Entities App 20070234268 - ROESNER; WOLFGANG ; et al.	2007-10-04
Method, system and program product for determining a configuration of a digital design by reference to an invertible configuration database Grant 7,266,489 - Hunt , et al. September 4, 2	2007-09-04
Method, system and program product providing a configuration specification language supporting arbitrary mapping functions for configuration constructs App 20070174806 - Roesner; Wolfgang ; et al.	2007-07-26
Method, system and program product providing a configuration specification language having split latch support Grant 7,249,330 - Roesner , et al. July 24, 2	2007-07-24
Method, system and program product that automatically generate coverage instrumentation for configuration constructs within a digital system Grant 7,239,993 - Roesner , et al. July 3, 2	2007-07-03
Method and system for selective compilation of instrumentation entities into a simulation model of a digital design Grant 7,236,918 - Roesner , et al. June 26, 2	2007-06-26
Cache memory, processing unit, data processing system and method for assuming a selected invalid coherency state based upon a request source Grant 7,237,070 - Guthrie , et al. June 26, 2	2007-06-26
Processor, data processing system and method for synchronizing access to data in shared memory Grant 7,228,385 - Guthrie , et al. June 5, 2	2007-06-05
High speed promotion mechanism suitable for lock acquisition in a multiprocessor data processing system Grant 7,213,248 - Arimilli , et al. May 1, 2	2007-05-01
Method, system and program product for specifying and using register entities to configure a simulated or physical digital system Grant 7,213,225 - Roesner , et al. May 1, 2	2007-05-01
C-API instrumentation for HDL models Grant 7,206,732 - Williams , et al. April 17, 2	2007-04-17
Chained cache coherency states for sequential non-homogeneous access to a cache line with outstanding data response App 20070083716 - Rajamony; Ramakrishnan ; et al.	2007-04-12
Chained cache coherency states for sequential homogeneous access to a cache line with outstanding data response App 20070083717 - Rajamony; Ramakrishnan ; et al.	2007-04-12
Method and system for selectively storing and retrieving simulation data utilizing keywords Grant 7,203,633 - Gabele , et al. April 10, 2	2007-04-10
Processor, data processing system and method for synchronizing access to data in shared memory Grant 7,200,717 - Guthrie , et al. April 3, 2	2007-04-03
Processor, data processing system and method for synchronzing access to data in shared memory Grant 7,197,604 - Guthrie , et al. March 27, 2	2007-03-27
Method and system for reducing storage and transmission requirements for simulation results Grant 7,194,400 - Gabele , et al. March 20, 2	2007-03-20
Method, System and Program Product for Specifying and Using Register Entities to Configure a Simulated or Physical Digital System App 20070050735 - Roesner; Wolfgang ; et al.	2007-03-01
Method, system and program product for implementing a read-only dial in a configuration database of a digital design Grant 7,168,061 - Roesner , et al. January 23, 2	2007-01-23
Method, system and program product for configuring a simulation model of a digital design Grant 7,162,404 - Hunt , et al. January 9, 2	2007-01-09
Dynamic loading of C-API HDL model instrumentation Grant 7,158,924 - Williams , et al. January 2, 2	2007-01-02
Method, system and program product that utilize a configuration database to configure a hardware digital system having an arbitrary system size and component set Grant 7,146,302 - Roesner , et al. December 5, 2	2006-12-05
Maintaining data integrity within a distributed simulation environment Grant 7,143,019 - Gabele , et al. November 28, 2	2006-11-28
Non-redundant collection of harvest events within a batch simulation farm network Grant 7,143,018 - Gabele , et al. November 28, 2	2006-11-28
Method, system and program product providing a configuration specification language that supports the definition of links between configuration constructs Grant 7,143,387 - Fields, Jr. , et al. November 28, 2	2006-11-28
Method, system and program product for specifying a configuration for multiple signal or dial instances in a digital system Grant 7,134,098 - Roesner , et al. November 7, 2	2006-11-07
Cache memory, processing unit, data processing system and method for assuming a selected invalid coherency state based upon a request source App 20060236037 - Guthrie; Guy L. ; et al.	2006-10-19
Method, system and program product providing a configuration specification language supporting arbitrary mapping functions for configuration constructs App 20060190910 - Roesner; Wolfgang ; et al.	2006-08-24
Method, system and program product providing a configuration specification language supporting arbitrary mapping functions for configuration constructs Grant 7,096,434 - Roesner , et al. August 22, 2	2006-08-22
Cache memory direct intervention App 20060184743 - Guthrie; Guy Lynn ; et al.	2006-08-17
Signal override for simulation models Grant 7,092,864 - Roesner , et al. August 15, 2	2006-08-15
Annealing harvest event testcase collection within a batch simulation farm Grant 7,092,868 - Gabele , et al. August 15, 2	2006-08-15
Data processing system and method for efficient communication utilizing an Tn and Ten coherency states App 20060179245 - Fields; James Stephen JR. ; et al.	2006-08-10
System and method of re-ordering store operations within a processor App 20060179226 - Guthrie; Guy Lynn ; et al.	2006-08-10
Data processing system and method for efficient L3 cache directory management App 20060179250 - Guthrie; Guy Lynn ; et al.	2006-08-10
System and method to stall dispatch of gathered store operations in a store queue using a timer Grant 7,089,364 - Arimilli , et al. August 8, 2	2006-08-08
Count data access in a distributed simulation environment Grant 7,085,703 - Gabele , et al. August 1, 2	2006-08-01
Method, system and program product for specifying a configuration of a digital system described by a hardware description language (HDL) model Grant 7,080,347 - Hunt , et al. July 18, 2	2006-07-18
Method, system and program product for automatically transforming a configuration of a digital system utilizing traceback of signal states Grant 7,080,346 - Roesner , et al. July 18, 2	2006-07-18
Method and data processing system for microprocessor communication in a cluster-based multi-processor network Grant 7,073,004 - Arimilli , et al. July 4, 2	2006-07-04
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 Grant 7,062,745 - Roesner , et al. June 13, 2	2006-06-13
Method, system and program product that utilize a configuration database to configure a hardware digital system having multiple access methods Grant 7,062,746 - Roesner , et al. June 13, 2	2006-06-13
Method, system and program product for defining and recording threshold-qualified count events of a simulation by testcases App 20060122818 - Behm; Michael Lee ; et al.	2006-06-08
Integrated purge store mechanism to flush L2/L3 cache structure for improved reliabity and serviceability Grant 7,055,002 - Cargnoni , et al. May 30, 2	2006-05-30
Processor, method, and data processing system employing a variable store gather window App 20060095691 - Bell; Robert H. JR. ; et al.	2006-05-04
Method, system and program product for specifying and using dials having phased default values to configure a simulated or physical digital system Grant 7,039,894 - Roesner , et al. May 2, 2	2006-05-02
Naming and managing simulation model events Grant 7,039,574 - Roesner , et al. May 2, 2	2006-05-02
Method for priority scheduling and priority dispatching of store conditional operations in a store queue App 20060090035 - Guthrie; Guy Lynn ; et al.	2006-04-27
Method, system and program product for defining and recording minimum and maximum count events of a simulation App 20060089826 - Gabele; Carol Ivash ; et al.	2006-04-27
Method, system and program product for defining and recording minium and maximum event counts of a simulation utilizing a high level language App 20060089827 - Gabele; Carol Ivash ; et al.	2006-04-27
Processor, data processing system and method for synchronzing access to data in shared memory App 20060085603 - Guthrie; Guy Lynn ; et al.	2006-04-20
Processor, data processing system and method for synchronzing access to data in shared memory App 20060085605 - Guthrie; Guy Lynn ; et al.	2006-04-20
Processor, data processing system and method for synchronizing access to data in shared memory App 20060085604 - Guthrie; Guy Lynn ; et al.	2006-04-20
Centralized disablement of instrumentation events within a batch simulation farm network Grant 7,027,971 - Gabele , et al. April 11, 2	2006-04-11
Method, apparatus and system for managing released promotion bits Grant 7,017,031 - Arimilli , et al. March 21, 2	2006-03-21
Method, system and program product for providing a configuration specification language supporting selective presentation of configuration entities App 20060026548 - Roesner; Wolfgang ; et al.	2006-02-02
Method, system and program product supporting presentation of a simulated or hardware system including configuration entities App 20060025978 - Roesner; Wolfgang ; et al.	2006-02-02
Method, system and program product for specifying a dial group for a digital system described by a hardware description language (HDL) model Grant 6,993,729 - Nelson , et al. January 31, 2	2006-01-31
Methods, systems and program products for annotating system traces with control program information and presenting annotated system traces App 20060015314 - Roesner; Wolfgang ; et al.	2006-01-19
Method, system and program product for providing a configuration specification language supporting incompletely specified configuration entities App 20060004556 - Nelson; Bradley S. ; et al.	2006-01-05
Embedded hardware description language instrumentation Grant 6,978,231 - Williams , et al. December 20, 2	2005-12-20
Method, system and program product for specifying and using register entities to configure a simulated or physical digital system App 20050278683 - Roesner, Wolfgang ; et al.	2005-12-15
Method to stall store operations to increase chances of gathering full entries for updating cachelines App 20050251622 - Arimilli, Ravi Kumar ; et al.	2005-11-10
Method for completing full cacheline stores with address-only bus operations App 20050251623 - Arimilli, Ravi Kumar ; et al.	2005-11-10
System and method for enabling weak consistent storage advantage to a firmly consistent storage architecture Grant 6,963,967 - Guthrie , et al. November 8, 2	2005-11-08
System and method for reducing contention in a multi-sectored cache Grant 6,950,909 - Guthrie , et al. September 27, 2	2005-09-27
Hierarchical processing of simulation model events Grant 6,941,257 - Roesner , et al. September 6, 2	2005-09-06
Method, system and program product for reducing a size of a configuration database utilized to configure a hardware digital system Grant 6,941,527 - Roesner , et al. September 6, 2	2005-09-06
Fail thresholding in a batch simulation farm network Grant 6,934,885 - Gabele , et al. August 23, 2	2005-08-23
Method, apparatus and system for accessing a global promotion facility through execution of a branch-type instruction Grant 6,925,551 - Arimilli , et al. August 2, 2	2005-08-02
Method, apparatus and system that cache promotion information within a processor separate from instructions and data Grant 6,920,514 - Arimilli , et al. July 19, 2	2005-07-19
Detecting events within simulation models Grant 6,920,418 - Roesner , et al. July 19, 2	2005-07-19
Method, system and program product providing a configuration specification language supporting arbitrary mapping functions for configuration constructs App 20050149883 - Roesner, Wolfgang ; et al.	2005-07-07
Method and system for selective compilation of instrumentation entities into a simulation model of a digital design App 20050149313 - Roesner, Wolfgang ; et al.	2005-07-07
Method, system and program product providing a configuration specification language having split latch support App 20050149893 - Roesner, Wolfgang ; et al.	2005-07-07
Method, system and program product supporting user tracing in a simulator App 20050149309 - Nelson, Bradley ; et al.	2005-07-07
System and method for exposing hidden events on system buses Grant 6,889,344 - Williams May 3, 2	2005-05-03
Speculative execution of instructions and processes before completion of preceding barrier operations Grant 6,880,073 - Arimilli , et al. April 12, 2	2005-04-12
Method, system and program product that automatically generate coverage instrumentation for configuration constructs within a digital system App 20050049842 - Roesner, Wolfgang ; et al.	2005-03-03
Method, system and program product providing a configuration specification language that supports the definition of links between configuration constructs App 20050050509 - Fields, James Stephen JR. ; et al.	2005-03-03
Method, system and program product providing a configuration specification language having clone latch support App 20050049740 - Roesner, Wolfgang ; et al.	2005-03-03
Method, apparatus and system for acquiring a plurality of global promotion facilities through execution of an instruction Grant 6,842,847 - Arimilli , et al. January 11, 2	2005-01-11
Method, apparatus and system for allocating and accessing memory-mapped facilities within a data processing system Grant 6,829,762 - Arimilli , et al. December 7, 2	2004-12-07
Method, apparatus and system for acquiring a global promotion facility utilizing a data-less transaction Grant 6,829,698 - Arimilli , et al. December 7, 2	2004-12-07
Method, system and program product for utilizing a configuration database to configure a hardware digital system Grant 6,826,732 - Hunt , et al. November 30, 2	2004-11-30
Integrated purge store mechanism to flush L2/L3 cache structure for improved reliabity and serviceability App 20040215885 - Cargnoni, Robert Alan ; et al.	2004-10-28
Method, system and program product for determining a configuration of a digital design by reference to an invertible configuration database App 20040215435 - Hunt, Bryan Ronald ; et al.	2004-10-28
System and method for reducing contention in a multi-sectored cache App 20040215900 - Guthrie, Guy Lynn ; et al.	2004-10-28
Method, system and program product for specifying a configuration for multiple signal or dial instances in a digital system App 20040215432 - Roesner, Wolfgang ; et al.	2004-10-28
Method, system and program product that utilize a configuration database to configure a hardware digital system having an arbitrary system size and component set App 20040215433 - Roesner, Wolfgang ; et al.	2004-10-28
Method, system and program product for specifying a dial group for a digital system described by a hardware description language (HDL) model App 20040216075 - Nelson, Bradley ; et al.	2004-10-28
Method, system and program product for specifying and using dials having phased default values to configure a simulated or physical digital system App 20040216080 - Roesner, Wolfgang ; et al.	2004-10-28
Method, system and program product for implementing a read-only dial in a configuration database of a digital design App 20040215436 - Roesner, Wolfgang ; et al.	2004-10-28
Localized cache block flush instruction App 20040215896 - McCalpin, John David ; et al.	2004-10-28
Method and data processing system for microprocessor communication in a cluster-based multi-processor network App 20040215899 - Arimilli, Ravi Kumar ; et al.	2004-10-28
Method, system and program product for configuring a simulation model of a digital design App 20040215434 - Hunt, Bryan Ronald ; et al.	2004-10-28
Method, system and program product for automatically transforming a configuration of a digital system utilizing traceback of signal states App 20040216008 - Roesner, Wolfgang ; et al.	2004-10-28
Method, system and program product that utilize a configuration database to configure a hardware digital system having multiple access methods App 20040216078 - Roesner, Wolfgang ; et al.	2004-10-28
Method, System And Program Product For Utilizing A Configuration Database To Configure A Hardware Digital System App 20040216076 - Hunt, Bryan Ronald ; et al.	2004-10-28
Method, system and program product for reducing a size of a configuration database utilized to configure a hardware digital system App 20040216068 - Roesner, Wolfgang ; et al.	2004-10-28
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 App 20040216077 - Roesner, Wolfgang ; et al.	2004-10-28
Method, system and program product for specifying a configuration of a digital system described by a hardware description language (HDL) model App 20040216079 - Hunt, Bryan Ronald ; et al.	2004-10-28
High performance symmetric multiprocessing systems via super-coherent data mechanisms Grant 6,785,774 - Arimilli , et al. August 31, 2	2004-08-31
Symmetric multiprocessor systems with an independent super-coherent cache directory Grant 6,779,086 - Arimilli , et al. August 17, 2	2004-08-17
Data processing system and method for resolving a conflict between requests to modify a shared cache line Grant 6,763,434 - Arimilli , et al. July 13, 2	2004-07-13
Super-coherent multiprocessor system bus protocols Grant 6,763,435 - Arimilli , et al. July 13, 2	2004-07-13
Method and data processing system for microprocessor communication in a cluster-based multi-processor system App 20040117511 - Arimilli, Ravi Kumar ; et al.	2004-06-17
Method, processing unit and data processing system for microprocessor communication in a multi-processor system App 20040117603 - Arimilli, Ravi Kumar ; et al.	2004-06-17
Method and data processing system for microprocessor communication in a cluster-based multi-processor wireless network App 20040117598 - Arimilli, Ravi Kumar ; et al.	2004-06-17
Method and data processing system for microprocessor communication using a processor interconnect in a multi-processor system App 20040117510 - Arimilli, Ravi Kumar ; et al.	2004-06-17
Multi-level multiprocessor speculation mechanism Grant 6,748,518 - Guthrie , et al. June 8, 2	2004-06-08
System and method for providing multiprocessor speculation within a speculative branch path Grant 6,728,873 - Guthrie , et al. April 27, 2	2004-04-27
Mechanism for folding storage barrier operations in a multiprocessor system Grant 6,725,340 - Guthrie , et al. April 20, 2	2004-04-20
Method, apparatus and system for accessing a global promotion facility through execution of a branch-type instruction App 20040073734 - Arimilli, Ravi Kumar ; et al.	2004-04-15
Method, apparatus and system for managing released promotion bits App 20040073756 - Arimilli, Ravi Kumar ; et al.	2004-04-15
Method, apparatus and system for acquiring a global promotion facitily utilizing a data-less transaction App 20040073759 - Arimilli, Ravi Kumar ; et al.	2004-04-15
High speed promotion mechanism suitable for lock acquisition in a multiprocessor data processing system App 20040073909 - Arimilli, Ravi Kumar ; et al.	2004-04-15
Method, apparatus and system that cache promotion information within a processor separate from instructions and data App 20040073760 - Arimilli, Ravi Kumar ; et al.	2004-04-15
Method, apparatus and system for allocating and accessing memory-mapped facilities within a data processing system App 20040073766 - Arimilli, Ravi Kumar ; et al.	2004-04-15
Method, apparatus and system for acquiring a plurality of global promotion facilities through execution of an instruction App 20040073757 - Arimilli, Ravi Kumar ; et al.	2004-04-15
Dynamic hardware and software performance optimizations for super-coherent SMP systems Grant 6,704,844 - Arimilli , et al. March 9, 2	2004-03-09
Multiprocessor speculation mechanism via a barrier speculation flag Grant 6,691,220 - Guthrie , et al. February 10, 2	2004-02-10
Incorporating simulation analysis instrumentation into HDL models App 20030237078 - Williams, Derek Edward ; et al.	2003-12-25
Super-coherent data mechanisms for shared caches in a multiprocessing system Grant 6,658,539 - Arimilli , et al. December 2, 2	2003-12-02
Method and system for reducing storage and transmission requirements for simulation results App 20030191621 - Gabele, Carol Ivash ; et al.	2003-10-09
Dynamic loading of C-API HDL model instrumentation App 20030191620 - Williams, Derek Edward ; et al.	2003-10-09
Method and system for selectively storing and retrieving simulation data utilizing keywords App 20030191617 - Gabele, Carol Ivash ; et al.	2003-10-09
C-API instrumentation for HDL models App 20030191869 - Williams, Derek Edward ; et al.	2003-10-09
Method and system for reducing storage requirements of simulation data via keyword restrictions App 20030191618 - Gabele, Carol Ivash ; et al.	2003-10-09
Multiprocessor speculation mechanism for efficiently managing multiple barrier operations Grant 6,625,660 - Guthrie , et al. September 23, 2	2003-09-23
System and method for asynchronously overlapping storage barrier operations with old and new storage operations Grant 6,609,192 - Guthrie , et al. August 19, 2	2003-08-19
Multiprocessor speculation mechanism with imprecise recycling of storage operations Grant 6,606,702 - Guthrie , et al. August 12, 2	2003-08-12
Tracking converage results in a batch simulation farm network App 20030135354 - Gabele, Carol Ivash ; et al.	2003-07-17
Method and system for run-time logic verification of operations in digital systems Grant 6,590,929 - Williams July 8, 2	2003-07-08
Count data access in a distributed simulation environment App 20030125915 - Gabele, Carol Ivash ; et al.	2003-07-03
Centralized disablement of instrumentation events within a batch simulation farm network App 20030101038 - Gabele, Carol Ivash ; et al.	2003-05-29
Fail thresholding in a batch simulation farm network App 20030101382 - Gabele, Carol Ivash ; et al.	2003-05-29
Annealing harvest event testcase collection within a batch simulation farm App 20030101041 - Gabele, Carol Ivash ; et al.	2003-05-29
Non-redundant collection of harvest events within a batch simulation farm network App 20030101035 - Gabele, Carol Ivash ; et al.	2003-05-29
Maintaining data integrity within a distributed simulation environment App 20030101039 - Gabele, Carol Ivash ; et al.	2003-05-29
Super-coherent data mechanisms for shared caches in a multiprocessing system App 20030097528 - Arimilli, Ravi Kumar ; et al.	2003-05-22
Super-coherent multiprocessor system bus protocols App 20030097530 - Arimilli, Ravi Kumar ; et al.	2003-05-22
High performance symmetric multiprocessing systems via super-coherent data mechanisms App 20030097529 - Arimilli, Ravi Kumar ; et al.	2003-05-22
Dynamic hardware and software performance optimizations for super-coherent SMP systems App 20030097531 - Arimilli, Ravi Kumar ; et al.	2003-05-22
Symmetric multiprocessor systems with an independent super-coherent cache directory App 20030093624 - Arimilli, Ravi Kumar ; et al.	2003-05-15
System and method for exposing hidden events on system buses App 20030033559 - Williams, Derek Edward	2003-02-13
Method and system for counting events within a simulation model Grant 6,470,478 - Bargh , et al. October 22, 2	2002-10-22
Method and system for run-time logic verification of operations in digital systems in response to a plurality of parameters Grant 6,457,147 - Williams September 24, 2	2002-09-24
Randomized simulation model instrumentation App 20020128809 - Roesner, Wolfgang ; et al.	2002-09-12
Data processing system and method for resolving a conflict between requests to modify a shared cache line App 20020129211 - Arimilli, Ravi Kumar ; et al.	2002-09-12
Signal override for simulation models App 20020123873 - Roesner, Wolfgang ; et al.	2002-09-05
Hierarchical processing of simulation model events App 20020123875 - Roesner, Wolfgang ; et al.	2002-09-05
Detecting events within simulation models App 20020123874 - Roesner, Wolfgang ; et al.	2002-09-05
Embedded hardware description language instrumentation App 20020120922 - Williams, Derek Edward ; et al.	2002-08-29
Full multiprocessor speculation mechanism in a symmetric multiprocessor (smp) System App 20020087849 - Arimilli, Ravi Kumar ; et al.	2002-07-04
Method and apparatus for executing multiply-initiated, multiply-sourced variable delay system bus operations Grant 6,314,495 - Arimilli , et al. November 6, 2	2001-11-06
Method and system for incrementally compiling instrumentation into a simulation model Grant 6,223,142 - Bargh , et al. April 24, 2	2001-04-24
Eviction override for larx-reserved addresses Grant 6,212,605 - Arimilli , et al. April 3, 2	2001-04-03
Hardware simulator instrumentation Grant 6,202,042 - Bargh , et al. March 13, 2	2001-03-13
Method and system for selectively disabling simulation model instrumentation Grant 6,195,629 - Bargh , et al. February 27, 2	2001-02-27
Method and system for instrumenting simulation models Grant 6,195,627 - Bargh , et al. February 27, 2	2001-02-27
Demand-based issuance of cache operations to a system bus Grant 6,182,201 - Arimilli , et al. January 30, 2	2001-01-30
Method and apparatus for executing singly-initiated, singly-sourced variable delay system bus operations of differing character Grant 6,178,485 - Arimilli , et al. January 23, 2	2001-01-23
Demand based sync bus operation Grant 6,175,930 - Arimilli , et al. January 16, 2	2001-01-16
Latch-and-hold circuit that permits subcircuits of an integrated circuit to operate at different frequencies Grant 6,161,189 - Arimilli , et al. December 12, 2	2000-12-12
Dynamic folding of cache operations for multiple coherency-size systems Grant 6,105,112 - Arimilli , et al. August 15, 2	2000-08-15
Demand based sync bus operation Grant 6,065,086 - Arimilli , et al. May 16, 2	2000-05-16
Apparatus and method for separately layering cache and architectural specific functions in different operational controllers Grant 6,061,762 - Arimilli , et al. May 9, 2	2000-05-09
Precise synchronization mechanism for SMP system buses using tagged snoop operations to avoid retries Grant 6,029,204 - Arimilli , et al. February 22, 2	2000-02-22
Method and system for transferring data between buses having differing ordering policies Grant 6,014,721 - Arimilli , et al. January 11, 2	2000-01-11
Method and system for transferring data between buses having differing ordering policies Grant 5,951,668 - Arimilli , et al. September 14, 1	1999-09-14
Method and system for controlling access to a shared resource in a data processing system utilizing pseudo-random priorities Grant 5,935,234 - Arimilli , et al. August 10, 1	1999-08-10
Method and system for controlling access to a shared resource that each requestor is concurrently assigned at least two pseudo-random priority weights Grant 5,931,924 - Arimilli , et al. August 3, 1	1999-08-03
Method and apparatus for transferring data between buses having differing ordering policies Grant 5,901,299 - Arimilli , et al. May 4, 1	1999-05-04
Method and system for controlling access to a shared resource in a data processing system utilizing dynamically-determined weighted pseudo-random priorities Grant 5,896,539 - Arimilli , et al. April 20, 1	1999-04-20
Demand-based larx-reserve protocol for SMP system buses Grant 5,895,495 - Arimilli , et al. April 20, 1	1999-04-20
System and method for resolving contention arising from execution of cache coherency operations in a multiple cache computer system Grant 5,822,765 - Boatright , et al. October 13, 1	1998-10-13