A method of measuring a movement, the method comprising the steps of: acquiring and digitizing both a first measurement voltage across the terminals of a first secondary winding and also a second measurement voltage across the terminals of a second secondary winding of an inductive movement sensor; multiplying the first measurement voltage by itself in order to obtain a first component of a crossed vector, multiplying the second measurement voltage by itself in order to obtain a second component of the crossed vector, and multiplying together the first measurement voltage and the second measurement voltage in order to obtain a third component of the crossed vector; applying the crossed vector as input to a lowpass filter in order to obtain a filtered vector; and estimating the movement from the components of the filtered vector.

Techniques related to triple and quad coloring of shape layouts are provided. A computer-implemented method comprises coloring, by a system operatively coupled to a processor, a shape layout with a plurality of colors in accordance with a defined design rule based on a determination that a first defined shape within the shape layout satisfies a layout specification and a second defined shape within the shape layout satisfies a defined rule.

Method for evaluating temperatures in active heave compensation ropes comprising the following steps: describe the geometry of ropes as composite structures obtained through assemblies of helical components in hierarchical levels: wires, strands and the rope itself; use a mechanical model of the strand that represents the material properties of each wire, under the assumption of linear elastic behavior; use a mechanical model of the rope that represents the combined action of tensile loads and imposed bending curvature; use a thermal model for the evaluation of the rope temperature increase (Ts) with respect to the ambient temperature, the thermal model comprising two main dissipation sources: the friction between strands or rope and a sheave and the friction between wires or between strands and compare rope temperature increase (Ts) obtained by the thermal model with a value of a predetermined temperature threshold.

Techniques related to triple and quad coloring of shape layouts are provided. A computer-implemented method comprises coloring, by a system operatively coupled to a processor, a shape layout with a plurality of colors in accordance with a defined design rule based on a determination that a first defined shape within the shape layout satisfies a layout specification and a second defined shape within the shape layout satisfies a defined rule.

An arithmetic processing device includes a coefficient memory storing coefficients of a Taylor series expansion of a trigonometric function, a multiply-add arithmetic unit, a first bypass path supplying an output of the multiply-add arithmetic unit to a register file, an OR circuit calculating OR of a sign bit of the output of the multiply-add arithmetic unit and a least significant bit of a second input, a first selector selecting either a first input y or a value 1.0 an EOR circuit calculating an EOR of a first bit of the second input and a sign bit of an output of the first selector, and a second bypass path supplying the least significant bit of the second input to a coefficient selector. The multiply-add arithmetic unit executes an auxiliary instruction repeatedly while modifying a coefficient index from a maximum value to a minimum value to calculate sin (x).

Techniques related to triple and quad coloring of shape layouts are provided. A computer-implemented method comprises coloring, by a system operatively coupled to a processor, a shape layout with a plurality of colors in accordance with a defined design rule based on a determination that a first defined shape within the shape layout satisfies a layout specification and a second defined shape within the shape layout satisfies a defined rule.

Techniques related to triple and quad coloring of shape layouts are provided. A computer-implemented method comprises coloring, by a system operatively coupled to a processor, a shape layout with a plurality of colors in accordance with a defined design rule based on a determination that a first defined shape within the shape layout satisfies a layout specification and a second defined shape within the shape layout satisfies a defined rule.

A device may receive a floating-point function. The floating-point function may be a function described in a programming language that uses floating-point representation. The device may determine that fixed-point program code, associated with the floating-point function, is to be generated. The device may determine that the floating-point function is to be replaced with a replacement construct before the fixed-point program code is generated. The replacement construct may be described in the programming language and may be capable of conversion from the floating-point representation to a fixed-point representation. The device may determine parameters associated with generating the replacement construct. The parameters may be determined based on an evaluation of the floating-point function. The device may generate the replacement construct based on the parameters. The device may replace the floating-point function with the replacement construct. The device may generate the fixed-point program code based on the replacement construct.

The present embodiments relate to integrated circuits with circuitry that implements floating-point trigonometric functions. The circuitry may include an approximation circuit that generates an approximation of the output of the trigonometric functions, a storage circuit that stores predetermined output values of the trigonometric functions, and a selector circuit that selects between different possible output values based on a control signal from a control circuit. In some embodiments, the circuitry may include a mapping circuit and a restoration circuit. The mapping circuit may map an input value from an original quadrant of the trigonometric circle to a predetermined input interval, and the restoration circuit may map the output value selected by the selection circuit back to the original quadrant of the trigonometric circle. If desired, the circuitry may be implemented in specialized processing blocks.

Techniques related to triple and quad coloring of shape layouts are provided. A computer-implemented method comprises coloring, by a system operatively coupled to a processor, a shape layout with a plurality of colors in accordance with a defined design rule based on a determination that a first defined shape within the shape layout satisfies a layout specification and a second defined shape within the shape layout satisfies a defined rule.