Stmicroelectronics (grenoble 2) Sas

Stmicroelectronics S.r.l.

Stmicroelectronics International N.v.

Stmicroelectronics S.a.

Stmicroelectronics (rousset) Sas

Denis Dutey

Om Ranjan

Riccardo Gemelli

Gregory Trunde

Nikola Cornij

Stephane Martin

Ranjan Om

In accordance with an embodiment, a method verifies contents of a plurality of registers having two first registers, where each of the plurality of registers is configured to store a data word and a verification bit. The method includes determining whether a value of the verification bit of each respective register of the plurality of registers corresponds to the data word of its respective register. The data words stored in the two first registers are selected so that the bits of a same rank of the two first registers include two complementary bits, each bit of a common binary word is associated with a respective register of the plurality of registers, and the value of the verification bit of each respective register depends on the data word of the respective register and the bit of the common binary word associated with the respective register.

Circuit for verifying the content of registers

A method is provided to access a data storage memory that stores data signals in a plurality of indexed memory locations. An access control circuit receives a memory access request signals from a processing circuit. The method includes replicating the respective memory access request signals to provide for each a respective replicated memory access request signal, accessing indexed internal memory locations to retrieve a first data signal retrieved as a function of the respective memory access request signal and a second data signal retrieved as a function of the respective replicated memory access request signal, and checking for identity the first data signal and the at least one second data signal. The access control circuit transmits to the processing circuit a data signal or an integrity error flag signal as a result of the identity check.

Functional safety method, corresponding system-on-chip, device and vehicle

In an embodiment a device includes a first circuit configured to send a signal comprising numbers successively separated by a constant value to at least one second circuit, each second circuit being in a clock domain different from a clock domain of the first circuit and at least one third circuit configured to determine whether the successive numbers of the signal received by the second circuit are separated by the constant value, wherein the signal is sent to a respective third circuit in each of the clock domains different from the clock domain of the first circuit.

Device with a plurality of clock domains

Application data and error correction code (ECC) checkbits associated with that application data are stored in a first memory. The ECC checkbits, but not the application data, are stored in a second memory. In response to a request to read the application data from the first memory, the ECC checkbits from the first memory are also read and used to detect, and possibly correct, errors in the read application data. The ECC checkbits are further output from both the first and second memories for bit-by-bit comparison. In response to a failure of the bit-by-bit comparison, a signal indicating possible malfunction of one or the other or both of the first and second memories is generated.

Redundant storage of error correction code (ECC) checkbits for validating proper operation of a static random access memory (SRAM)

A method of transcoding a sub-picture unit each comprising encoded sub-picture pixel data including sub-picture lines separated into at least a first field and a second field as well as a set of display control commands associated with the sub-picture pixel data, comprises the step of pre-processing () the display control commands to prepare transcoding to frame format. Encoded lines of said top and bottom fields are then merged () into a single encoded frame and the display control commands are modified () according to changes in encoded sub-picture pixel data before outputting.

Growing community of inventors

Jarrie, France

Denis Dutey