Abstract: An edge clock model is used to capture states from a logic-level simulation of a circuit description. The states are captured at clock edges, or transitions, according to an edge clock model based on a clock specification for the circuit description. The captured states and associated attributes are used in formal verification of the circuit description. This approach helps to reduce or eliminate inaccuracies and other issues with other clock models such as a phase clock model. In one embodiment, a phase clock model can be used in addition to the edge clock model. In another embodiment, the edge clock states can be used to generate states according to different clock models, such as the phase clock model.

Abstract: A method and system for sending a multimedia stream in IP multicast networks are provided. IGMP report data is collected by a plurality of routers. The routers report the IGMP report data to a netflow collection server. The netflow collection server collates the IGMP report data. The collated IGMP report data is forwarded to an encoder coordinator. The encoder coordinator adaptively computes an encoding rate of the multimedia stream. The encoded multimedia stream is sent to a plurality of receivers at the encoding rate.

Abstract: A system and method for coupling a host to a drive in a high-capacity data storage system are disclosed. The data storage system comprises a number of drives arranged in a hierarchical manner. A control system is provided for controlling input/output of data and managing control signals. The control system comprises a hierarchy of controllers and switches. The control system receives a request for a drive from a host and couples the host to the requested drive through the hierarchy of controllers.

Abstract: A routing module resolves the conflict of IP addresses among at least two devices connected over a network. The routing module assigns a global IP address to a device based on the addressing configuration of the device. The outbound packets are sent with this global IP address. A record of the global IP address assigned to the device, the local IP address and MAC address are maintained by an information module. Where the local IP address of two or more devices is the same, the MAC address is used to determine the appropriate destination device. Routing module determines the entry in the information module that corresponds to the global IP address included within the IP header of inbound packets. The inbound packets are sent to the local IP address and MAC address of the appropriate destination-device that is derived from the entry that corresponds to the global IP address.

Abstract: An antenna, a wireless communication system, and a method for enabling presence detection of antennae are provided. The antenna includes a memory device that stores specifications of the antenna. These specifications are acquired by a wireless device in the wireless communication system. The wireless device is configured based on the specifications of the antenna.

Abstract: A method, a system and a computer programmable product have been provided for arbitrating bus cycles among a plurality of device nodes. Requests for bus grant are received from the device nodes. Each request includes values of one or more arbitration parameters. The requests grouped at a first stage, with two requests in each group. A comparison is performed in each group, based on the values of the one or more parameters. Further, winners from each comparison are forwarded to a next stage. Subsequently, comparisons are performed over one or more stages to select a winner of the bus grant.

Abstract: A method and apparatus is provided for debugging an application in case of an exception. A cyclic buffer is allocated to the application. Log messages are stored in the cyclic buffer and can be later used to debug the application in case of an exception.

Abstract: A method and apparatus for classification of packets is provided. The method includes classifying the packets based on the structured part of at least one packet classification rule, and classifying the packets based on the unstructured part of the at least one packet classification rule, the classification being done based on the structured classification results. The packet classification method provides a technique for splitting the n-dimensional space of the packet header fields into disjoint regions. The splitting is done such that all the packets falling into a region have the same packet classification result. The first packet falling into a region takes a longer time for classification, where the logical expression resulting from user-configured rule is solved. The classification of all subsequent packets falling into the same region gets accelerated and takes less time than the first packet to classify.

Abstract: A system and method for identifying molecules. Molecules are identified from a gaseous matter having the molecules and flowing at two different flow rates. A system and method for identifying a substance. A particle which is indicative of a substance is identified from matter having the particle and flowing at two different flow rates. After the particle is identified, the substance is identified.

Abstract: A sensing system for sensing conditions or characteristics associated with a process or thing. The sensing system includes one or more energy converters and a sensor, which are coupled to the process or thing. A node is coupled to the sensor and the energy-converter, and the node is powered by output from the energy converter. In a more specific embodiment, the node includes a controller that implements one or more routines for selectively powering a wireless transmitter of the node based on a predetermined condition. The predetermined condition may specify that sensor output values are within a predetermined range or are below or above a predetermined threshold. Alternatively, the predetermined condition may specify that electrical energy output from the energy converter is below a predetermined threshold. A remote computer may be wirelessly connected to node and may include software and/or hardware that is adapted to process information output by the sensor and relayed to the computer via the node.

Abstract: A computer is programmed to automatically select a state or a set of states of a digital circuit that are visited during simulation, for use as one or more initial states by a formal verification tool. Such automatic selection of one or more simulation states reduces the set of all simulation states to a small subset, thereby to address the state space explosion problem. Depending on the embodiment, the programmed computer uses one or more criteria provided by a library and/or by the user, in making its selection of states. Such criteria may be based on a property (assertion/checker) of the digital circuit and/or a signal generated during simulation. Furthermore, after such criteria (also called “primary criteria”) are applied, the selected states may be pruned by application of additional criteria (also called “secondary criteria”) prior to formal analysis.

Abstract: During verification of a description of a circuit containing a pre-determined assertion, in order to detect incorrect behavior of the circuit that may be caused by metastability occurring in signals that cross clock domains (“CDC” signals) in the circuit, the description of the circuit is automatically transformed by addition of circuitry to inject the effects of metastability into the CDC signals. The transformed description containing the circuitry to inject metastability is verified in the normal manner. Certain embodiments analyze the transformed description using a model checking method to determine a stimulus sequence that will cause the pre-determined assertion to be violated. The transformed circuit is then simulated in some embodiments, using the stimulus sequence from model checking, and an incorrect behavior of the circuit due to metastability is displayed, for diagnosis by the circuit designer. The circuit designer may revise the circuit description and iterate as noted above.

Abstract: An apparatus and a method for improving the fault tolerance of storage systems by replacing disk drives, which are about to fail, are disclosed. The set of disk drives in a storage system are monitored to identify failing disk drives. A processing unit identifies the failing disk drive and selects a spare disk drive to replace the failing disk drive. The selected spare disk drive is powered on, and data from the failing disk drive is copied to the selected spare disk drive. A memory unit stores attributes and sensor data for the disk drives in the storage system. The attributes and sensor data are used by the processing unit to identify a failing disk drive. Attributes for disk drives are obtained by using SMART, and sensor data is obtained from environmental sensors such as temperature and vibration sensors.

Abstract: Spare disk drive management in a storage system. The storage system comprises disk drives and spare disk drives. Spare disk drives are initially kept in power-off state. The storage system detects the failure of a disk drive and selects a spare disk drive to replace the failed disk drive. The spare disk drive is selected on the basis of spare selection criteria. The selected spare disk drive is powered-on and replaces the failed disk drive. Data on the failed disk drive can be reconstructed on the spare disk drive by using RAID parity techniques.

Abstract: Encoding digital data by using cues at a decoder. An encoder selects an index to indicate a target codeword from the complete space of all codewords to a decoder. The index identifies a group or a set of codewords that contain the target codeword. The sets are represented by a bit-length that is smaller than the code word bit-length thus achieving compression. Two or more codewords in such a set are separated by a predetermined distance and all such sets of codewords considered together form the complete space of all codewords. The encoder sends syntax information, including the index, to specify the decoding. The decoder then uses a set of candidate cues in a comparison operation to determine the target codeword from the indexed set. Processing complexity can be allocated among the encoder, decoder and other possible devices as, for example, in a digital network.

Abstract: A MEMS microphone is formed on a single substrate that also includes microelectronic circuitry. High-temperature tolerance metals are used to form contacts in a metallization step before performing deep reactive ion etching and back patterning steps to form a MEMS microphone. High-temperature tolerant metals such as titanium, tungsten, chromium, etc. can be used for the contacts. Another approach uses laser annealing in place of deep reactive ion etching so that high-temperature tolerant metals do not need to be used in earlier metallization steps. Different orderings for device, circuit, and metallization series of steps are presented.