International Business Machines Corporation

Alexander Jung

Holger Horbach

Klaus Keuerleber

Joerg Behrend

Sandeep Korrapati

Juergen Wakunda

Itzhack Goldberg

Neil Sondhi

Frank Krick

Daniel D Sentler

Jurgen Wakunda

Disclosed aspects relate to controlling an electronic circuit having multiple units with at least one signal input each. A set of signal resources is determined by tracing back a dependency tree for each unit signal input until an endpoint representing a signal resource is reached. For each signal resource in the set a resource manager may be provided in dependence of its signal type. That resource manager may be assigned a set of signal inputs comprising each signal input in the circuit which was traced back to its respective signal resource. The resource manager is configured for controlling the signal resource. A control device may be provided to receive technical implementation requirements for one or more of the resource managers, detect conflicting requirements received for the one or more resource managers, and enable or disable one or more of the resource managers in response to the detected conflicting requirements.

Controlling an electronic circuit

The invention relates to a method for verifying a design of an electronic circuit. The electronic circuit comprises at least one register including one or more parts. After receiving specification information of said register, a register monitor module is automatically created based on said received specification information. The register monitor module comprises a scoreboard for each part of the register. Said scoreboard comprises an expected data value queue for receiving expected data values, an actual data value queue for receiving actual data values. Furthermore, the register monitor module provides a matching strategy for comparing expected data values with actual data values. Expected data values and actual data values are compared for each scoreboard based on the matching strategy and an error indication is generated if the result of the comparison step does not fulfill the requirements specified in the matching strategy.

Automated checker generation

A cooperative data file coloring backup system includes a file color agent (FCA) and a file color storage cloud controller (FCSCC). The FCA assigns a color to a data file. The assigned color is associated with a highest projected data reduction factor achieved when backing up the data file from a host to one of various storage devices comprised within a data backup storage area network. The FCSCC maintains a list of file types and associated data reduction factors that are achieved during a backup of the file types and provides to the FCA a storage path from the host to a particular storage device within the storage area network associated with the highest data reduction factor and file type. The FCA may implement the storage path based upon the assigned color for each backup request received by the host.

Assigning backup device path based on file coloring

Growing community of inventors

Leinfelden-Echterdingen, Germany

Alexander Jung