Abstract: Some embodiments of the present invention provide a system that profiles a serial simulation of a circuit to estimate the performance of a parallel simulation of the circuit. During operation, the system profiles execution of module instances during a serial simulation of the circuit, wherein each module instance includes code which simulates signal propagation through a corresponding circuit module. Next, the system uses execution times for the module instances obtained from the serial simulation to estimate the performance of a parallel simulation of the circuit.

Abstract: A system and method are disclosed performing error correction on data by a processor. Received data is demultiplexed into a first demultiplexer output and a second demultiplexer output. Stored instructions are executed by a processor to decode the first demultiplexer output and a deinterleaver output to produce a decoded output. Stored instructions are executed by a processor to interleave the decoded output to produce an interleaved output. Stored instructions are executed by a processor to decode the interleaved output and the second demultiplexer output to produce decoded data. Stored instructions are executed by a processor to deinterleave the decoded data. The deinterleaved data is output.

Abstract: Some embodiments of the present invention provide a system that profiles a serial simulation of a circuit to estimate the performance of a parallel simulation of the circuit. During operation, the system profiles execution of module instances during a serial simulation of the circuit, wherein each module instance includes code which simulates signal propagation through a corresponding circuit module. Next, the system uses execution times for the module instances obtained from the serial simulation to estimate the performance of a parallel simulation of the circuit.

Abstract: Roughly described, assertion expressions are evaluated against the binary signal values of a circuit simulation in such a way as to be able to report status information at intermediate levels of assertion subexpressions. In one embodiment, the status information reported for an intermediate subexpressions contains the final status of that subexpression in response to a given assertion attempt, at least to the extent it has been determined by the end of the evaluation period (e.g. pass, fail or indeterminate). In another embodiment, the status information reported for an intermediate subexpression contains a tick-by-tick analysis of the activity within that subexpression. In another embodiment, the status information for a subexpression can also contain a tick-by-tick analysis of the activity of an operator of the subexpression. Other kinds and levels of detail at the subexpression level can be provided in various other embodiments.

Abstract: A method for feature tracking across a plurality of related image frames by developing a dense array of features and their paths as a deformable, regularly spaced grid, with vectors for each nodal feature point in the grid being derived through a process related to optical flow. The resulting dense feature array can be applied to techniques such as tracking two-dimensional shapes across frames, estimating three-dimensional paths of selected feature points, estimating three-dimensional camera paths from multiple feature points, or recovering estimated three-dimensional scene structure (including estimated depths of object surfaces) from feature tracking data.

Abstract: A technique for converging upon a computer-based model of a real world or synthetic scene. The computer model makes use of abstraction-based data objects as well as image-based data objects. A correlation mesh provides links between related image-based and abstraction-based objects. An initial step in a process analyzes an input image stream and user inputs to derive initial image-based objects and abstraction-based objects for the scene model. Subsequent steps in the process allow user inputs to refine the image-based objects, abstraction-based objects and/or the correlation mesh. As a result, refinements to the image-based object model of the scene can improve the abstraction-based model of the scene, and refinements to the abstraction-based object model can improve the image-based model.

Abstract: A computer system, having a graphical user interface for authoring and playing a multimedia presentation having one or more multimedia events, displays a representation of a story, including a representation of a start position, indicating the beginning of the multimedia presentation, a representation of an end position, indicating the end of the multimedia presentation, and a representation of a unidirectional path line connecting the start position and the end positions. The representation of at least one icon, associated with a source of multimedia material, may be linked to the path line. The link, called a call spot, represents a call to the multimedia, allowing icons to be shared by many presentations or to be shown at different times in the same presentation. The multimedia presentation starts at the start position, plays the multimedia material represented by the at least one icon, and then continues along the unidirectional path line and completes at the end position.

Abstract: Disclosed is a system and method for simulating and detecting timing errors in digital circuit designs. The system consists of a logic simulator connected to various storage registers, a sequencer, and a randomizer, for simulating component functionality within the digital circuit design at sequential time increments using stored parametric data. The method includes selecting, for each component in a digital circuit design, a specific timing constraint from a range of possible timing constraint values, using a psuedo-random selection algorithm. The digital circuit is then simulated through a number of periods using this timing constraint. When an adequate number of periods have been simulated, a new set of timing constraints are selected. Timing requirement violations are detected and reported to a user.