Proton World International N.v.

Stmicroelectronics (rousset) Sas

Ronny Van Keer

Jean-Louis Modave

Guillaume Docquier

Youssef Ahssini

Gilles Van Assche

Fabrice Marinet

Michael Peeters

The present disclosure relates to a monotonic counter whose value is represented by a number N of binary words of N memory cells of a non-volatile memory, and being able to implement a step increment operation wherein if only one first memory cell represents a first value different from zero, then a second value equal to the said first value incremented by two times the said step is written into a second memory cell of rank directly higher than the rank of the first memory cell; and if a third and a fourth memory cell of consecutive ranks represent, respectively, a third value and a fourth value different from zero, then the third value of the third memory cell of lower rank is erased.

Monotonic counter

A monotonic counter stores N binary words representing a value in N memory cells. When i memory cells of consecutive ranks between k modulo N and k+i modulo N each represent a value complementary to a null value, the counter is incremented by erasing a value of a memory cell of rank k+i+1 modulo N. When i+1 memory cells of consecutive ranks between k+1 modulo N and k+i+1 modulo N each represent the value complementary to the null value, the counter is incremented by incrementing a value of a memory cell of rank k modulo N by two step sizes and storing a result in a memory cell of rank k+1 modulo N, wherein, N is an integer greater than or equal to five, k is an integer, and i is an integer between 2 and N&#x2212;3.

A method of verifying the atomicity of an operation of data update in an EEPROM, includes, during a data writing operation of writing the data, the steps of: initializing at least one first flag to a first value and storing this value in the EEPROM; erasing the data from the EEPROM; writing a value of the data into the EEPROM; and writing at least one second value of the first flag into the EEPROM.

Atomicity management in an EEPROM

The disclosure concerns a method implemented by a processing device. The method includes performing a first execution by the processing device of a computing function based on one or more initial parameters stored in a first memory device. The execution of the computing function generates one or more modified values of at least one of the initial parameters, wherein during the first execution the one or more initial parameters are read from the first memory device and the one or more modified values are stored in a second memory device. The method also includes performing a second execution by the processing device of the computing function based on the one or more initial parameters stored in the first memory device.

Method and device for fault detection

A method of updating a counter in a flash memory includes a first phase where a set of values capable of being taken by the counter are programmed in at least one page of the flash memory. A second phase of updating the counter programs a state zero in the flash memory each time the counter is incremented/decremented.

Flash memory counter

A method of data storage in a non-volatile memory, wherein the non-volatile memory is divided into: a first region in which each page includes fields adapted to contain data and a field adapted to contain metadata; a second region in which each page includes fields adapted to contain data and a field adapted to contain metadata; a third region adapted to contain indicators of the progress of an operation in the first and second regions, the metadata fields of the first and second regions being respectively adapted to contain, during an operation of data update in a page of the first region, the indexes of a page in the second region and of said page of the first region.

Storage in flash memory

A method for writing data into a reprogrammable non-volatile memory, wherein a marking pattern including several bits is added at the beginning of the data and the set formed of the marking pattern and of the data is written from an address in the memory varying from one write operation to another, the marking pattern being identical for each write operation.

Method for writing into and reading from an atomicity memory using marking pattern

A method of storing a counter in at least two non-volatile memory pages, including: a step of initializing a page with an initial value and then, on each update of the counter value, a step of storing an update value and an opcode associated with this value, selected from a set of opcodes, the current value of the counter being given by application of the successive update operations to the initial value of the page.

Growing community of inventors

Hoeilaart, Belgium

Ronny Van Keer