Brevet FR3051590A1 — publié le 20171124

B14847 - 15-ZV2-0718 1 COMPTEUR EN MÉMOIRE FLASH Domaine La présente description concerne de façon générale les circuits électroniques et, plus particulièrement, les circuits exploitant une mémoire flash. La présente description vise plus 5 particulièrement la gestion de compteurs en mémoire flash. Exposé de l'art antérieur Les mémoires flash sont de plus en plus utilisées dans des microcontrôleurs pour stocker de façon non volatile des informations. 10 Le stockage de données dans une mémoire flash présente diverses contraintes temporelles liées à la granularité des opérations réalisées, l'écriture s'effectuant par mot (par exemple, par mot de quatre octets) tandis que l'effacement s'effectuant par page de plusieurs mots (quelques dizaines à 15 quelques centaines de mots). La gestion d'un compteur en mémoire flash requiert que les transactions (incrément/décrément) réalisées et stockées respectent un critère d'atomicité. L'atomicité d'une transaction correspond à s'assurer que des données stockées en mémoire 20 présentent bien un état exploitable et intègre. Cela revient à s'assurer que des données en mémoire non volatile présentent soit 3051590 B14847 - 15-ZV2-0718 2 l'état avant la transaction soit l'état après la transaction concernée mais qu'elles ne présentent pas un état intermédiaire. La gestion de l'atomicité des transactions est particulièrement utilisée dans des applications où une inter- ruption de l'alimentation du circuit ou l'apparition d'une perturbation accidentelle ou volontaire peut engendrer le stockage de données dans un état les rendant soit inexploitables par la suite soit vulnérables du point de vue de la confidentialité ou de leur intégrité. Par exemple, dans le domaine des cartes à microcircuit, on souhaite s'assurer qu'en cas d'arrachement (tearing) volontaire ou accidentel d'une carte du lecteur dans laquelle elle se trouve, les informations contenues dans une mémoire flash de la carte soient fiables. Dans un circuit intégrant un module de sécurité, l'équivalent de l'arrachement correspond à une coupure de l'alimentation du circuit. Résumé Il existe un besoin d'améliorer la gestion de compteurs stockés en mémoire flash, en particulier pour préserver le caractère atomique des incréments/décréments de la valeur du 20 compteur. Il existe également un besoin d'améliorer la gestion de plusieurs compteurs dans une même mémoire flash. Un mode de réalisation pallie tout ou partie des inconvénients des techniques connues de gestion de compteurs dans 25 une mémoire flash. Un mode de réalisation améliore l'endurance (le nombre d'écritures possible) du stockage d'un compteur dans une mémoire flash. Un mode de réalisation facilite la gestion de 30 l'atomicité des mises à jour d'un compteur dans une mémoire flash. Ainsi, un mode de réalisation prévoit un procédé de stockage d'au moins un compteur dans une mémoire flash, dans lequel chaque page de la mémoire affectée au stockage du ou des compteurs comporte : 3051590 B14847 - 15-ZV2-0718 3 des données d'entête incluant un premier mot destiné à contenir un numéro de la page, un mot par compteur pour stocker une première valeur de celui-ci, et un deuxième mot destiné à contenir un code de contrôle d'erreur calculé en tenant compte 5 des première valeurs ; des trames ayant toutes un même nombre de mots, chaque trame étant destinée à contenir une valeur indépendante des données de la trame, et au moins une occurrence d'un identifiant d'un compteur, chaque trame écrite représentant un incrément ou 10 décrément de la valeur du compteur concerné par rapport à sa première valeur. Selon un mode réalisation, une nouvelle trame est écrite à chaque mise à jour de la valeur d'un compteur. Selon un mode réalisation, les trames sont écrites 15 séquentiellement dans une page. Selon un mode réalisation, chaque trame est en outre destinée à contenir un mot de code de contrôle d'erreur calculé en tenant compte des autres mots de la trame. Selon un mode réalisation, ladite valeur indépendante 20 des données de la trame est la même pour toutes les trames de la page. Selon un mode réalisation, lesdites données d'entête sont écrites avant écriture d'une première trame dans la page. Selon un mode réalisation, la valeur courante d'un 25 compteur est calculée en mettant à jour la première valeur de ce compteur en fonction de toutes les trames de la page qui comportent l'identifiant de ce compteur. Selon un mode réalisation, chaque trame comporte en outre un mot de stockage de la valeur d'incrément ou de décrément 30 du compteur concerné. Selon un mode réalisation, la valeur d'incrément ou de décrément est l'unité. Selon un mode réalisation, l'initialisation d'une nouvelle page s'accompagne d'une écriture de ces données d'entête 3051590 B14847 - 15-ZV2-0718 4 avec, comme première valeur, les valeurs courantes des compteurs calculées sur la base de la page précédente. Un mode de réalisation prévoit une mémoire flash, programmée conformément au procédé ci-dessus. 5 Un mode de réalisation prévoit un circuit électronique comportant une mémoire flash. Brève description des dessins Ces caractéristiques et avantages, ainsi que d'autres, seront exposés en détail dans la description suivante de modes de 10 réalisation particuliers faite à titre non limitatif en relation avec les figures jointes parmi lesquelles : la figure 1 représente, de façon très schématique et sous forme de blocs, un mode de réalisation d'un circuit électronique du type auquel d'appliquent, à titre d'exemple, les 15 modes de réalisation qui vont être décrits ; la figure 2 illustre un mode de réalisation d'une structure d'enregistrement d'un compteur ; la figure 3 illustre un mode de réalisation d'une organisation de données dans une page de mémoire flash ; la figure 4 illustre un mode de réalisation d'une structure d'une trame d'enregistrement d'une mise à jour d'un compteur ; la figure 5 est un schéma-blocs illustrant un mode de réalisation d'un incrément d'un compteur dans la mémoire ; la figure 6 est un schéma-blocs illustrant un mode de réalisation d'une préparation d'une page suivante pour écriture quand une page courante est pleine ; la figure 7 illustre, sous forme de schéma-blocs, un mode de réalisation d'une lecture de la valeur d'un compteur dans 30 la mémoire flash ; et la figure 8 est un schéma-blocs illustrant un mode de réalisation d'une récupération d'atomicité. Description détaillée De mêmes éléments ont été désignés par de mêmes 35 références aux différentes figures. 3051590 B14847 - 15-ZV2-0718 5 Par souci de clarté, seuls les étapes et éléments utiles à la compréhension des modes de réalisation qui vont être décrits ont été représentés et seront détaillés. En particulier, le fonctionnement électrique d'une mémoire flash lors des étapes 5 d'écriture, de lecture et d'effacement n'ont pas été détaillées, les modes de réalisation décrits étant compatibles avec les technologies usuelles des mémoires flash. De plus, les applications utilisant des compteurs et une gestion d'atomicité n'ont pas non plus été détaillées, les modes de réalisation 10 décrits étant, là encore, compatibles avec les applications usuelles. La figure 1 représente, de façon très schématique et sous forme de blocs, un mode de réalisation d'un circuit électronique 1 du type auquel d'appliquent, à titre d'exemple, 15 les modes de réalisation qui vont être décrits. Le circuit 1 comporte : une unité de traitement 11 (PU), par exemple une machine d'états, un microprocesseur, un circuit logique programmable, etc. ; 20 une ou plusieurs zones 12 (RAM) de stockage volatil, par exemple de type mémoire RAM ou registres, pour stocker temporairement des informations pendant les traitements ; une ou plusieurs zones de stockage non volatil, dont au 25 une mémoire 2 de type flash (FLASH) pour stocker des informations de façon durable et en particulier quand le circuit n'est pas alimenté ; un ou plusieurs bus 14 de données, d'adresses et/ou de commandes entre les différents éléments internes au circuit 1 ; 30 et une interface d'entrée-sortie 15 (I/O) de communication, par exemple de type bus série, avec l'extérieur du circuit 1. Le cas échéant, le circuit 1 intègre également un circuit 16 de communication sans contact (CLF - ContactLess Front- (instructions, adresses, données) moins 3051590 B14847 - 15-ZV2-0718 6 end), de type communication en champ proche (Near Field Communication - NFC). Par ailleurs, le circuit 1 peut intégrer d'autres fonctions, symbolisées par un bloc 17 (FCT), selon l'application, 5 par exemple, un crypto-processeur, d'autres interfaces, d'autres mémoires, etc. La gestion d'un ou plusieurs compteurs stockés dans un mémoire flash et la gestion de l'atomicité des incréments / décréments de ces compteurs dans un circuit équipé d'une mémoire 10 flash est particulière car la mémoire flash de présente pas la même granularité de traitement selon le type d'opération. En particulier, l'écriture s'effectue par mot (d'un octet ou de quelques octets) tandis que l'effacement s'effectue par page. La taille d'un mot correspond généralement à la taille d'un registre 15 recevant les données en série pour les transférer en parallèle au plan mémoire pour écriture. Une page est définie comme la taille minimale susceptible d'être adressée simultanément pour effacement. Typiquement, une page représente, dans une mémoire flash, 64, 128, 256, 512 ou 1024 octets. 20 Une mémoire flash se programme, à partir d'un état initial, désigné arbitrairement 1, vers des états 0 (états non conducteurs des cellules). Cela signifie que les cellules de la mémoire doivent être initialisées à un état haut (effacement) et que, pour stocker une donnée (écriture), on intervient 25 (programmation à 0) ou pas (état du bit à 1) sur les états des bits par mot de données. Afin de garantir l'atomicité des transactions, le stockage en mémoire flash d'une donnée ne doit être considéré comme valide qu'une fois que la transaction est terminée et que les données sont dites stables. En pratique, les procédés de gestion d'atomicité activent un indicateur de traitement d'une donnée lorsque celle-ci est extraite de la mémoire non volatile, puis organisent le stockage de la donnée mise à jour, une fois le traitement terminé, l'indicateur de traitement changeant alors 3051590 B14847 - 15-ZV2-0718 7 d'état. L'atomicité peut concerner une quantité plus ou moins importante de données selon la nature de la transaction. Le caractère atomique des transactions est particulièrement important dans le cas de compteurs pour lesquels il est 5 nécessaire de s'assurer que l'information stockée dans la mémoire flash, par exemple le solde d'un portemonnaie électronique ou d'une autorisation d'achat, ou le nombre de tentatives de saisie d'un code, est stocké de façon fiable. Généralement, pour garantir l'atomicité d'une 10 transaction, on utilise des espaces de stockage temporaire (Buffer) d'atomicité qui sont mis à jour avec les informations initiales, puis finales, pour transfert dans la mémoire non volatile principale. Toutefois, dans le cas d'une mémoire flash, une 15 difficulté réside dans la procédure d'effacement en raison de sa granularité par page qui est relativement longue par rapport à l'opération d'écriture par mot. Dans les applications sans contact, les transactions doivent être effectuées très rapidement en raison du caractère 20 fugace de la communication qui est lié à la durée pendant laquelle le circuit 1 peut communiquer avec un terminal. Or, la gestion de l'atomicité des transactions en utilisant des tampons en mémoire flash prend du temps, en raison des opérations d'effacement qui sont nécessaires pour autoriser une programmation. 25 Selon les modes de réalisation qui vont être décrits, on prévoit d'organiser de façon particulière le stockage de compteurs dans des pages d'une mémoire flash. La figure 2 illustre un mode de réalisation d'une structure d'enregistrement d'un compteur. 30 Selon ce mode de réalisation, un compteur C, ou plutôt une valeur de ce compteur, est stocké dans quatre octets BO, Bl, B2 et B3. Quatre octets est une taille largement suffisante pour représenter la valeur d'un compteur quel qu'il soit. Toutefois, d'autres tailles, par exemple un octet, deux octets, etc. peuvent 3051590 B14847 - 15-ZV2-0718 8 être prévues. Ici, on tire profit avec quatre octets que cela correspond à la taille d'un mot de la mémoire flash. La figure 3 illustre un mode de réalisation d'une organisation de données dans une page de mémoire flash. 5 Afin de respecter la contrainte d'effacement, la mémoire est physiquement organisée en pages Pl, représentant la granularité d'effacement et comporte au moins deux pages. Chaque page comporte un même nombre de mots, constituant la granularité d'écriture (et de lecture). Toutes les pages dans lesquelles sont 10 stockés le ou les compteurs présentent la même structure. Un circuit de gestion de la mémoire est chargé d'organiser son adressage, l'écriture, la lecture et l'effacement. Ce circuit ou unité de gestion est le cas échéant l'unité de traitement. L'unité de gestion de la mémoire 2 convertit des adresses virtuelles 15 fournies par les différentes entités en des adresses physiques. Chaque page Pl commence par des données d'entête. Physiquement, les données d'entête peuvent être n'importe où dans la page mais du point de vue logique, on considère que la page commence préférentiellement par des données d'entête. Ces données 20 d'entête comportent : un premier mot de métadonnées MD11 contenant le numéro de la page, incrémenté à chaque utilisation d'une nouvelle page lorsque la page précédente est pleine ; n mots Ci contenant chacun la valeur initiale d'un ou 25 plusieurs compteurs pour la page concernée (selon la taille des compteurs, quelques compteurs peuvent se partager un même mot Ci-on prendra par la suite l'exemple d'un compteur par mot) ; et un deuxième mot de métadonnées MD12 contenant un code de contrôle d'erreur de type CRC, signature ou autre, calculé à 30 partir des valeurs initiales des compteurs Ci et, de préférence, du numéro de page. Le reste de la page P1 est destiné à contenir des enregistrements représentant des incréments des compteurs (on fera par la suite référence à des incréments mais il peut également 35 s'agir de décréments). Selon ce mode de réalisation, le reste de 3051590 B14847 - 15-ZV2-0718 9 la page est divisé en m trames Fj comportant chacune un même nombre de mots de données (par exemple, quatre mots). On peut donc stocker, dans chaque page jusqu'à m trames Fj représentant des enregistrements de mises à jour successives (mots d'incréments) 5 d'un ou plusieurs compteurs. On rappelle que, lorsqu'un mot est vierge (effacé), tous ses bits sont dans un premier état (désigné haut ou 1). La programmation d'un mot pour y stocker une valeur consiste à sélectionner les bits des octets du mot qui doivent changer d'état 10 et être écrits (basculer vers l'état bas ou 0). La programmation d'un drapeau ou indicateur consiste à programmer le bit ou les bits de l'octet à l'état correspondant à l'état bas. On rappelle également qu'une fois écrit ou programmé à l'état 0, le contenu du mot ne peut pas être modifié sauf à effacer la page entière et 15 à la reprogrammer. Ainsi, une fois qu'un mot est écrit dans une page, on ne peut plus y toucher sauf à effacer toute la page. L'écriture dans les pages Pl s'effectue séquentiellement dans chaque page. L'écriture des données dans la mémoire s'effectue trame 20 par trame et mot par mot au fur et à mesure qu'ils sont reçus et successivement dans la page. Ainsi, en cas d'écritures successives d'un incrément d'un même compteur, cet incrément peut se retrouver écrit plusieurs fois dans la page (dans différentes trames) au fur et à mesure des écritures. Cela participe à la résolution du 25 problème d'atomicité dans la mesure où, à partir du moment où la page contient la valeur initiale Ci d'un compteur, on pourra toujours, lors des lectures ultérieures, revenir au dernier incrément enregistré de façon stable. La figure 4 illustre un mode de réalisation d'une 30 structure d'une trame Fj d'enregistrement d'une mise à jour d'un compteur. Selon ce mode de réalisation, on écrit en premier un mot WO de valeur fixe CST, puis au moins un mot W1 contenant un identifiant i du compteur concerné par la trame Fj et enfin un 35 mot W3 par exemple non programmé ou contenant une valeur A, par 3051590 B14847 - 15-ZV2-0718 10 exemple un code de contrôle d'erreur CRC de la trame. De préférence, on stocke deux fois (dans les mots W1 et W2), l'identifiant i du compteur. La valeur fixe CST est, par exemple, la même pour toutes les trames Fj de la page Pl. En variante, il 5 s'agit d'une constante identique pour toute les pages de la mémoire ou, à l'inverse, d'une valeur déterministe différente pour chaque trame, basée sur la position (l'identifiant) de la trame. La valeur CST ne doit cependant pas dépendre du compteur incrémenté dans la trame. Grace à l'utilisation d'une valeur fixe 10 pour le mot WO de chaque trame Fj, on sera en mesure de s'assurer qu'il n'y a pas eu d'arrachement ou d'attaque au début de l'écriture de la trame, par exemple une tentative de modification du contenu d'un mot lors d'une attaque. La valeur A est un indicateur d'annulation. Elle n'est normalement pas programmée. 15 Elle sert à indiquer qu'une trame doit être ignorée suite à une détection d'arrachement. La figure 5 est un schéma-blocs illustrant un mode de réalisation d'un incrément d'un compteur dans la mémoire. On suppose que la page courante Pl a été précédemment 20 initialisée avec les données d'entête. On commence par sélectionner (bloc 31, SELECT 1) la page P1 ayant le numéro de page 1 le plus élevé en parcourant (en lisant) les mots de métadonnées MD11 (ou MD12) des pages. Puis, on identifie (bloc 32, SELECT j), la première 25 trame Fj disponible séquentiellement dans la page P1. Cette sélection s'effectue, par exemple, en parcourant les trames successivement jusqu'à la première dont le mot WO destiné à la valeur fixe CST n'est pas programmé. En variante, on sélectionne la première trame dont l'identifiant de compteur i n'est pas 30 programmé. On suppose dans cet exemple qu'une nouvelle page est ouverte à la fin de l'écriture de la dernière trame d'une page. Par conséquent on trouve forcément une trame disponible à l'étape 32. En variante, si aucune trame n'est libre, cela signifie 35 que la page est pleine. On exécute alors une sous-routine 3051590 B14847 - 15-ZV2-0718 11 d'ouverture d'une nouvelle page. Cette sous-routine sera exposée plus loin en relation avec la figure 6. Une fois que la trame Fj est sélectionnée, on commence par écrire (bloc 33, CST -> WO), dans la trame Fj, le premier mot 5 WO de valeur CST fixe. On écrit ensuite (bloc 34, i -> Wl, i - W2) l'identifiant du compteur à incrémenter dans les mots W1 et W2. Le mot W3 est laissé non programmé. On vérifie alors si la page est pleine, c'est-à-dire s'il existe une trame Fj disponible pour la prochaine écriture 10 (bloc 35, EXIST NEXT j ?). Dans l'affirmative (sortie Y du bloc 35), l'écriture est terminée (bloc 36, END). Dans la négative (sortie N du bloc 35), c'est-à-dire s'il n'y a plus de trame disponible, on prépare la page suivante pour la prochaine écriture (bloc 4, NEXT 1). 15 La figure 6 est un schéma-blocs illustrant un mode de réalisation d'une préparation d'une page suivante pour écriture quand une page courante est pleine. On commence (bloc 41, SELECT NEXT 1) par sélectionner la prochaine page P1 disponible, c'est-à-dire vierge ou effacée. 20 La valeur du nombre de pages écrites, incrémentée de 1, (bloc 42, 1=1+1 -> MD11) est stockée dans le premier mot de métadonnée MD11. Puis, on calcule les valeurs finales des compteurs de la page précédente qui deviennent les valeurs initiales pour la nouvelle page (bloc 43, COMPUTE NEW Ci) et on stocke ces valeurs (bloc 44, 25 STORE Ci) dans la nouvelle page. Enfin, on calcule et on stocke (bloc 45, CRC -> MD12), dans le deuxième mot de métadonnées, le CRC des valeurs initiales des compteurs désormais enregistrées. Une fois ces opérations réalisées, la page précédente est obsolète et peut donc être effacée. Ainsi, le nombre minimal 30 de pages mémoire pour la mise en oeuvre des modes de réalisation décrits est deux. Toutefois, on pourra prévoir un plus grand nombre de pages mémoire afin d'augmenter la longévité des compteurs, le nombre d'effacements d'une même page étant limité par l'endurance de la mémoire. 3051590 B14847 - 15-ZV2-0718 12 Le calcul des valeurs finales des compteurs s'effectue de la même manière que la lecture d'un compteur en effectuant le calcul correspondant pour chaque compteur et sur l'ensemble de la page. 5 La figure 7 illustre, sous forme de schéma-blocs, un mode de réalisation d'une lecture d'une donnée A dans la mémoire 2. On commence (bloc 51, Ci -> R), par lire la valeur initiale du compteur dans la page et on la stocke dans un registre 10 ou un élément de mémoire volatile. On parcourt ensuite les trames successives Fj de la page en recherchant celles qui concernent le compteur Ci. Par exemple, on initialise un index j à 1 (bloc 52, j=1). Puis, on sélectionne la trame de rang j (bloc 53, Select 15 j) et on vérifie qu'elle soit programmée. Par exemple, on vérifie que son premier mot contienne la constante CST (bloc 54, W0(Fj)=CST ?). Dans l'affirmative (sortie Y du bloc 54), on lit son mot W1 (ou W2) pour vérifier qu'il contient l'identifiant i (bloc 55, Wl(Fj)= i ?). Dans l'affirmative (sortie Y du bloc 55), 20 on effectue le même test (bloc 56, W2(Fj)= i ?) sur l'autre mot d'identifiant W2 (ou W1). Cette double vérification optionnelle apporte une sécurité supplémentaire. Si le ou les deux tests 55 et 56 sont positifs (sortie Y du bloc 56), on incrémente la valeur du registre R (bloc 57, R=R+1). On incrémente alors l'index de 25 trame (bloc 58, j=j+1) et on sélectionne la trame suivante (bloc 53). Si l'un des tests 55 ou 56 s'avère négatif (sortie N du bloc 55 ou 56), on passe également à la trame suivante (blocs 58 et 53). Quand toutes les trames écrites ont été parcourues 30 (sortie N du bloc 54), on retourne la valeur du registre R (bloc 59, RETURN R) comme étant la valeur finale du compteur Ci. Lors d'un changement de page, on peut économiser le test 54 dans la mesure où toutes les trames sont écrites. Avec un tel processus d'écriture et de lecture dans la 35 mémoire 2, on est en mesure, en lecture, de retrouver la dernière 3051590 B14847 - 15-ZV2-0718 13 transaction atomique pour chaque compteur. En effet, si une transaction ne s'est pas terminée correctement l'identifiant i n'est pas programmé dans le mot W2 et la valeur du registre n'est pas incrémentée. Si le mot W3 est utilisé en indicateur 5 d'écriture, il suffit de commencer par lire ce mot à chaque trame. Ce mot W3 peut d'ailleurs comporte un code de type CRC calculé sur les valeurs des trois premiers mots afin d'effectuer une vérification supplémentaire lors de la lecture et détecter une éventuelle perturbation de la trame. 10 La figure 8 est un schéma-blocs illustrant un mode de réalisation d'une récupération d'atomicité. En pratique, ce processus est effectué au démarrage OU lors d'une réinitialisation du circuit, ce qui revient à vérifier l'atomicité après chaque arrachement ou extinction accidentelle 15 ou volontaire. On commence par sélectionner (bloc 61, SELECT 1) la page ayant le numéro d'ordre 1 maximal. Puis, on charge ses valeurs initiales Ci et on vérifie le code CRC contenu dans la métadonnée d'entête (bloc 62, 20 MD12=CRC ?) afin de s'assurer que l'arrachement ne s'est pas produit pendant l'initialisation de la page et que les valeurs initiales des compteurs sont valides. Puis, on sélectionne (bloc 63, SELECT LAST j) la dernière trame écrite dans cette page et on vérifie qu'elle 25 contient bien des informations correctes (bloc 64, Fj VALID ?). Par exemple, on vérifie que le premier mot WO contient bien la constante CST et que les deux mots W1 et W2 sont bien programmés avec un identifiant i de compteur existant. En variante, si le dernier mot W3 contient un CRC, on vérifie ce CRC. 30 Si tout est correct (sortie Y du bloc 64), il n'y pas de problème d'atomicité et la coupure ou réinitialisation s'est effectuée alors que les processus d'écriture dans la mémoire flash étaient terminés. Le fonctionnement normal reprend alors son cours (bloc 65, END). Dans le cas contraire (bloc 66, A -> W3), la 35 valeur A est programmée dans le mot W3 pour indiquer que la trame 3051590 B14847 - 15-ZV2-0718 14 courante contient une mauvaise valeur et doit être ignorée. En variante, les valeurs des compteurs sont transférées dans une nouvelle page. Pour cela, on met en oeuvre un processus similaire à celui d'initialisation d'une nouvelle page quand la page 5 courante est pleine (figure 6). Avec un tel processus d'écriture dans la mémoire 2, on est en mesure, en lecture, de retrouver la dernière transaction atomique pour chaque compteur. Selon une variante de réalisation, un des mots des 10 trames Fj (soit un mot supplémentaire, soit le mot W2 ou W3) contient la valeur d'incrément/décrément à apporter au compteur. Ainsi, l'incrément n'est pas nécessairement d'une unité. De plus, un même compteur peut être mis à jour dans les deux sens (incrément/décrément) dans une même page et ce avec des valeurs 15 différentes à chaque incrément/décrément. Le cas échéant, l'incrément/décrément est implicite, chaque trame écrite représente un incrément ou un décrément sans qu'il soit nécessaire d'indiquer dans la trame la valeur de cet incrément/décrément. Cela peut concerner en particulier le cas 20 d'un incrément ou décrément unitaire. Le nombre de compteurs stockés (au moins un) dépend de l'application et n'affecte pas le fonctionnement. Un avantage des modes de réalisation qui ont été décrits est qu'ils améliorent la gestion de compteurs dans une mémoire 25 flash en préservant un critère d'atomicité. Un autre avantage est qu'ils permettent aisément de remonter à la dernière valeur atomique d'un compteur. Divers modes de réalisation ont été décrits. Diverses variantes et modifications apparaîtront à l'homme de l'art. Par 30 ailleurs, la mise en oeuvre pratique des modes de réalisation qui ont été décrits est à la portée de l'homme du métier à partir des indications fonctionnelles données ci-dessus et en utilisant des circuits en eux-mêmes usuels. Notamment, l'organisation de l'adressage de la mémoire et la génération des signaux adaptés à REVENDICATIONS1. Procédé de stockage d'au moins un compteur (Ci) dans une mémoire flash (2), dans lequel chaque page (Pl) de la mémoire affectée au stockage du ou des compteurs comporte : des données d'entête incluant un premier mot (MD11) 5 destiné à contenir un numéro (1) de la page, un mot (Ci) par compteur pour stocker une première valeur de celui-ci, et un deuxième mot (MD12) destiné à contenir un code de contrôle d'erreur calculé en tenant compte des première valeurs ; des trames (Fj) ayant toutes un même nombre de mots, 10 chaque trame étant destinée à contenir une valeur (CST) indépendante des données de la trame, et au moins une occurrence d'un identifiant (i) d'un compteur, chaque trame écrite représentant un incrément ou décrément de la valeur du compteur concerné par rapport à sa première valeur. 15 2. Procédé selon la revendication 1, dans lequel une nouvelle trame (Fj) est écrite à chaque mise à jour de la valeur d'un compteur. 3. Procédé selon la revendication 1 ou 2, dans lequel les trames (Fj) sont écrites séquentiellement dans une page (Pl). 20 4. Procédé selon l'une quelconque des revendications 1 à 3, dans lequel chaque trame (Fj) est en outre destinée à contenir un mot de code de contrôle d'erreur calculé en tenant compte des autres mots de la trame. 5. Procédé selon l'une quelconque des revendications 1 25 à 4, dans lequel ladite valeur (CST) indépendante des données de la trame est la même pour toutes les trames de la page. 6. Procédé selon l'une quelconque des revendications 1 à 5, dans lequel lesdites données d'entête sont écrites avant écriture d'une première trame (Fj) dans la page (Pl). 30 7. Procédé selon l'une quelconque des revendications 1 à 6, dans lequel la valeur courante d'un compteur est calculée en mettant à jour la première valeur de ce compteur en fonction de toutes les trames (Fj) de la page qui comportent l'identifiant (i) de ce compteur. 3051590 B14847 - 15-ZV2-0718 17 8. Procédé selon l'une quelconque des revendications 1 à 7, dans lequel chaque trame (Fj) comporte en outre un mot de stockage de la valeur d'incrément ou de décrément du compteur concerné. 9. Procédé selon l'une quelconque des revendications 1 à 7, dans lequel la valeur d'incrément ou de décrément est l'unité. 10. Procédé selon l'une quelconque des revendications 1 à 9, dans lequel l'initialisation d'une nouvelle page s'accompagne d'une écriture de ces données d'entête avec, comme première valeur, les valeurs courantes des compteurs calculées sur la base de la page précédente. 11. Mémoire flash (2), programmée conformément au procédé selon l'une quelconque des revendications 1 à 10. 12. Circuit électronique (1) comportant une mémoire 15 flash (2) conforme à la revendication 11.