Abstract: A data processing system includes a system fabric, a system memory, a memory controller, and a link controller communicatively coupled to the system fabric and configured to be communicatively coupled, via a communication link to a destination host with which the source host is non-coherent. A plurality of processing units is configured to execute a logical partition and to migrate the logical partition to the destination host via the communication link. Migration of the logical partition includes migrating, via a communication link, the dataset of the logical partition executing on the source host from the system memory of the source host to a system memory of the destination host. After migrating at least a portion of the dataset, a state of the logical partition is migrated, via the communication link, from the source host to the destination host, such that the logical partition thereafter executes on the destination host.

Abstract: A data processing system includes a system fabric, a system memory, a memory controller, and a link controller communicatively coupled to the system fabric and configured to be communicatively coupled, via a communication link to a destination host with which the source host is non-coherent. A plurality of processing units is configured to execute a logical partition and to migrate the logical partition to the destination host via the communication link. Migration of the logical partition includes migrating, via a communication link, the dataset of the logical partition executing on the source host from the system memory of the source host to a system memory of the destination host. After migrating at least a portion of the dataset, a state of the logical partition is migrated, via the communication link, from the source host to the destination host, such that the logical partition thereafter executes on the destination host.

Abstract: An information handling system includes a processor with multiple hardware units that generate program application load, store, and I/O interface requests to system busses within the information handling system. The processor includes a resource allocation identifier (RAID) that links the processor hardware unit initiating a system bus request with a specific resource allocation group. The resource allocation group assigns a specific bandwidth allocation rate to the initiating processor. When a load, store, or I/O interface bus request reaches the I/O bus for execution, the resource allocation manager restricts the amount of bandwidth associated with each I/O request by assigning discrete amounts of bandwidth to each successive I/O requester. Successive stages of the instruction pipeline in the hardware unit contain the resource allocation identifiers (RAID) linked to the specific load, store, or I/O instruction.

Abstract: A system and method for incorporating design behavior and external stimulus in microdevice model feedback using a shared memory is presented. The invention describe herein uses the attached memory model to provide additional heuristics to an application executing on an emulation system's device model, which results in a more detail and real-life device emulation. The attached memory model provides a storage area for a runtime software environment to store emulation data, which is subsequently provided to the device model during emulation. The emulation data may include 1) randomization stimuli to the device model, 2) additional runtime data for checking heuristics, and 3) emulation data points that are otherwise not accessible to the device model.

Abstract: The present invention provides a method and apparatus for efficiently loading values into scan and non-scan memory elements. First, the network used to distribute control signals to the memory elements is cleared. Second, the desired values are loaded into the scan memory elements. Third, the values from the scan memory elements are propagated to the non-scan memory elements.

Abstract: The present invention provides a method and apparatus for efficiently loading values into scan and non-scan memory elements. First, the network used to distribute control signals to the memory elements is cleared. Second, the desired values are loaded into the scan memory elements. Third, the values from the scan memory elements are propagated to the non-scan memory elements.

Abstract: The present invention provides a method and apparatus for efficiently loading values into scan and non-scan memory elements. First, the network used to distribute control signals to the memory elements is cleared. Second, the desired values are loaded into the scan memory elements. Third, the values from the scan memory elements are propagated to the non-scan memory elements.

Abstract: A system and method for incorporating design behavior and external stimulus in microdevice model feedback using a shared memory is presented. The invention describe herein uses the attached memory model to provide additional heuristics to an application executing on an emulation system's device model, which results in a more detail and real-life device emulation. The attached memory model provides a storage area for a runtime software environment to store emulation data, which is subsequently provided to the device model during emulation. The emulation data may include 1) randomization stimuli to the device model, 2) additional runtime data for checking heuristics, and 3) emulation data points that are otherwise not accessible to the device model.

Abstract: A system for generating multimedia information including audio information, video information, or both is disclosed. The system includes an interface, a text converter, and a first multimedia dictionary. The interface is suitable for receiving a text-based message, such as an email message, from a transmission medium, such as the internet. The text converter is configured to receive the text-based message from the interface. The converter is adapted to decompose the words of the text-based message into their component diphthongs. The first multimedia dictionary receives a diphthong produced by the text converter and produces a set of digitized samples of multimedia information representative of the received diphthong. The system may include a second multimedia dictionary containing its own set of digitized samples. In this embodiment, the system is configured to determine the author of the text-based message and, in response, to select between the first and second multimedia dictionaries.

Abstract: A computer implemented method, apparatus, and computer usable program code for managing power consumption in a cache. A set of sections is identified in the cache used by the process in response to identifying a process requesting access to a cache. Power is enabled to each section in the set of sections in which power is disabled. The power is disabled to sections outside of the set of sections in which power is enabled.

Abstract: The present invention provides for automating identification of critical regions in memory. A behavioural software reference model of an operating system is certified as substantially error free. The behavioural software reference model is run of operating system. At least one access pattern of the behavioural software reference model is monitored. A cycle accurate software reference model of operating system is run. At least one access pattern of the cycle accurate software reference model is monitored. The at least one access pattern of the behavioural software reference model is compared with the at least one access pattern of the cycle accurate software reference model, thereby allowing a time saving in the testing process.

Abstract: A system, method, and computer program product for locating an audio segment includes an input device for transmitting an input sample indicative of the audio segment and a media player for playing audio information stored on the storage device. The system further includes a sample converter to generate a digitized representation of the input sample and a digitized representation of the audio information on the storage device. The digitized representation of the input sample may include a diphthong sequence indicative of the diphthong components of the input sample. In this embodiment, an audio converter of the system generates an audio content diphthong sequence. The system may further include a comparator configured to detect a match between the input sample diphthong sequence and a portion of the audio content diphthong sequence.

Abstract: All feedback cycles in a circuit network which cross only non-scannable memory elements are detected in linear run time. The method models a circuit network as a directed graph, then attributes network elements so that a single feedback cycle may be found in constant time. In the breadth first version, feedback is detected by traversing at most a constant distance back to the last scannable memory element. In the depth first version, graph nodes are not FINISHED until all predecessors are FINISHED. Feedback is found immediately if a node runs into another node that is NOT—FINISHED. This feedback is illegal if both nodes are in a zone defined by the same scannable memory element. The resulting identification and removal of feedback loops crossing only non-scannable memory elements significantly reduces the subsequent complexity of test pattern generation. This ensures a faster, more reliable, and more accurate test process after circuit fabrication.

Abstract: An audio transmission system and an associated method are disclosed, the system includes a transmitting device suitable for converting an audio signal to a digitized signal, a receiving device suitable for receiving transmissions from the transmitting device, and a phonetic analyzer suitable for comparing the digitized signal to a set of digitized signals stored in a first dictionary. The phonetic analyzer is adapted to transmit, in lieu of the digitized signal, an index value associated with the digitized signal to a receiving device in response to detecting a match between the digitized signal and one of the first dictionary entries. The phonetic analyzer is further adapted to assign an index value to the digitized signal and to store the digitized signal and its corresponding digitized signal in an entry of the first dictionary in response to detecting no match between the digitized signal and any of the first dictionary entries.

Abstract: A logic network is simulated, including partitioning logic operations into domains and ranking the operations. Some operations are dependent on source operations from other domains. Pairs of operations having common dependencies are then separated by at least as many operations as the total number of operations in the domains of the respective source operations. All operations are then merged into an order having a certain relation to the respective domain orderings, but omitting nop's inserted to achieve desired separation. Then pairs of operations having common dependency are again separated, this time making advantageous use of overlaps, so that nop's are reduced, to improve simulation time. Due to separations, after one value is computed for one instance of an operation depending on a source operation, a next value is computed for the source operation before computing the next instance of an operation depending on the source operation.

Abstract: All feedback cycles in a circuit network which cross only non-scannable memory elements are detected in linear run time. The method models a circuit network as a directed graph, then attributes network elements so that a single feedback cycle may be found in constant time. In the breadth first version, feedback is detected by traversing at most a constant distance back to the last scannable memory element. In the depth first version, graph nodes are not FINISHED until all predecessors are FINISHED. Feedback is found immediately if a node runs into another node that is NOT_FINISHED. This feedback is illegal if both nodes are in a zone defined by the same scannable memory element. The resulting identification and removal of feedback loops crossing only non-scannable memory elements significantly reduces the subsequent complexity of test pattern generation. This ensures a faster, more reliable, and more accurate test process after circuit fabrication.

Abstract: A formal verification method and apparatus allowing a user, via a waveform-based graphical user interface, to modify the waveform displayed by a verification algorithm by highlighting specific values at specific cycles. The user may begin either from scratch or from an existing trace produced by the tool. After running the tool, the resultant waveform represents a trace that the user wishes to extract from the model using the verification tool. The annotations input by the user are translated to “cycle-specific invariants” to force the tool to produce a trace that satisfies the desired annotated waveform and to insure a much faster and more efficient query. The invariants are then passed to a verification algorithm, which outputs a trace satisfying these invariants. The user determines whether the trace is satisfactory and may add additional constraints to the waveform to derive a subsequent trace until the user is satisfied.

Abstract: A method for characterizing average performance in a data processing system is provided. This method consists of adding meta-tool level variables to a verification tool. These meta-tool variables keep track, at once, of all concurrent streams of execution that the tool is considering in its reachability analysis. The image of an initial state variable is found and then divided into a frontier of new states and a set of previously reached states. The previously reached states are ignored and the image of the frontier is found. This process continues until the frontier is empty and all possible states have been reached. In one embodiment of the present invention, the probabilities of the paths can be considered by sampling and holding input data using SMV (a model checking tool) variables.

Abstract: A method and system for transmitting video data are disclosed. The method includes receiving a first video image and comparing the first video image to at least one stock image where each of the stock images is associated with a corresponding index value. If a match between at least a portion of the first video image and one of the at least one stock images is detected, the index value corresponding to the matching stock image is transmitted over a transmission medium. In one embodiment, the method further includes receiving the transmitted index value and generating the corresponding stock image from the index value. The method of may further includes comparing the first video image with a set of stock images. If it is determined that the first image does not match to any of the set of stock images, then a new index value is assigned to the first image and the first image is added to the set of stock images.

Abstract: An apparatus performs a process for partitioning a netlist. The process picks a unique color for each clock and traverses the clock tree coloring the latches in support of that clock tree with that color. The process then colors the fanout logic cones for each latch and notes any coloring collisions. In the case of a multicolored gate, the process retimes the network by moving the terminating latch backwards, towards the collision, to enable single coloring of the gate. The process then performs a depth-first search on the fanout logic of each primary input to the first latch encountered or a primary output. If a primary output is encountered, the path is colored with a color representing the free-run domain. Otherwise, the process colors the path with the color of the terminating latch. Next, the process duplicates the fanin cones for remaining multicolored gates so that a copy of the logic can be incorporated with each independent domain.