Cray Incorporated

Hewlett Packard Enterprise Development LP

Silicon Graphics, Incorporated

Abdulla Bataineh

Thomas L Court

Steven Lee Scott

Duncan Roweth

Robert L Alverson

Michael A Parker

James Robert Kohn

Eric P Lundberg

Gregory J Faanes

Timothy J Johnson

Dennis Kuba

A system and algorithm configured to generate diversity at the traffic source so that packets are uniformly distributed over all of the available paths, but to increase the likelihood of taking a minimal path with each hop the packet takes. This is achieved by configuring routing biases so as to prefer non-minimal paths at the injection point, but increasingly prefer minimal paths as the packet proceeds, referred to herein as Increasing Minimal Bias (IMB).

Increasingly minimal bias routing

A processor core, comprises one or more vector units operable to change between a fine-grained vector mode having a shorter maximum vector length and a coarse-grained vector mode having a longer maximum vector length. Changing vector modes comprises halting all instruction stream execution in the core, flushing one or more registers in a register space, reconfiguring one or more vector registers in the register space, and restarting instruction execution in the core.

Configurable vector length computer processor

A method and apparatus for a coherence mechanism that supports a distributed memory programming model in which processors each maintain their own memory area, and communicate data between them. A hierarchical programming model is supported, which uses distributed memory semantics on top of shared memory nodes. Coherence is maintained globally, but caching is restricted to a local region of the machine (a 'node' or 'caching domain'). A directory cache is held in an on-chip cache and is multi-banked, allowing very high transaction throughput. Directory associativity allows the directory cache to map contents of all caches concurrently. References off node are converted to non-allocating references, allowing the same access mechanism (a regular load or store) to be used for both for intra-node and extra-node references. Stores (Puts) to remote caches automatically update the caches instead of invalidating the caches, allowing producer/consumer data sharing to occur through cache instead of through main memory.

Optimized high bandwidth cache coherence mechanism

A method for efficiently simulating memory structures of a sequential circuit for design verification of the sequential circuit. The method is implemented by an computer system having a processor coupled to a memory via a bus, the memory storing computer readable code which when executed by the processor cause the computer system to perform the steps of the memory structure simulation method. The method includes accessing a netlist description of a sequential circuit, wherein the description is for realizing the sequential circuit in a physical form. Memory elements included within the description are identified. For these memory elements, inputs to the memory elements and outputs from the memory elements are identified. Using this information, the memory elements are grouped into at least one group of functionally related memory elements. Subsequently, the memory elements of the one or more groups are collectively addressed as a group. Similarly, data for the memory elements of the one or more groups are collectively written as a group. Once written, the data is coupled to circuit elements within the description that are coupled to the outputs of the memory elements such that the memory elements are efficiently simulated group-wise, as opposed being simulated individually. In so doing, a more efficient method and system for design verification for sequential circuits is implemented.

Efficient memory structure simulation for sequential circuit design verification

Growing community of inventors

Eau Claire, WI, United States of America

Abdulla Bataineh