Brevet FR2718867A1 — publié le 19951020

PROCEDE D'EFFACEMENT D'UNE MEMOIRE ET CIRCUITS DE MISE EN OEUVRE L'invention concerne les microprocesseurs et, plus particulièrement, un procédé pour effacer la mémoire à semi-conducteurs associée au microprocesseur ainsi que les circuits pour le mettre en oeuvre. Cette mémoire est du type non volatile, effaçable et programmable électriquement, plus connue sous l'abréviation anglo-saxonne FLASH EEPROM (Electrically Erasable and Programmable Read Only Memory). Une telle mémoire est prévue pour enregistrer, notamment, les instructions des programmes qui sont utilisées par l'unité centrale du microprocesseur pour réaliser la succession des opérations sur des informations ou données à traiter. Du fait de cette utilisation, cette mémoire est adressée essentiellement pour y lire les informations qu'elle contient, l'enregistrement des informations d'effectuant de temps à autre pour y changer les instructions en fonction des programmes à mettre en oeuvre. Cet enregistrement est précédé d'une opération d'effacement de la mémoire pour mettre tous ses points de mémoire dans un état binaire déterminé. De telles mémoires à semi-conducteurs ont des capacités de plus en plus élevées, pouvant atteindre éventuellement 16 à 64 millions de points ou cellules de mémoire (16 à 64 mégabits), et sont amenées à remplacer les mémoires magnétiques sur disques rotatifs. Elles présentent les avantages principaux suivants: - temps d'accès court pour la lecture, - absence de pièces mécaniques en rotation, - tension d'alimentation faible, consommation électrique faible, - fiabilité accrue, - fabrication intégrée avec le microprocesseur. Pour modifier les informations dans ces mémoires à semi-conducteurs, il est nécessaire, comme indiqué ci-dessus, de les effacer pour mettre tous les points ou cellules de mémoire dans un état binaire déterminé: 1 ou 0. Cette opération d'effacement consiste non seulement à effacer les cellules de mémoire mais aussi à vérifier ensuite si l'effacement a bien conduit à l'état binaire déterminé. Si la vérification indique que certaines cellules de mémoire ne sont pas dans l'état souhaité, une deuxième opération d'effacement est lancée suivie d'une deuxième opération de vérification et ainsi de suite, ce qui peut conduire à une durée d'effacement très longue, de l'ordre de plusieurs secondes car il peut y avoir plusieurs centaines de cycles d'effacement. En outre, au fur et à mesure des cycles d'effacement successifs, il apparaît un phénomène de déplétion des cellules et leur seuil de conduction diminue. Le but de la présente invention est de mettre en oeuvre un procédé d'effacement global d'une mémoire à semi-conducteurs qui conduit à une réduction de la durée globale de l'opération d'effacement. De telles mémoires à semi-conducteurs, par exemple de 64 mégabits peuvent être organisées en 32 secteurs ayant chacun 512.000 cellules de mémoire, ce qui permet d'enregistrer dans chaque secteur 64.000 mots de huit bits chacun. Dans le procédé d'effacement du type classique, l'effacement s'effectue secteur après secteur et consiste à appliquer une impulsion d'effacement à un secteur sélectionné, à vérifier ensuite l'effacement de chaque cellule du secteur sélectionné et à appliquer une nouvelle impulsion d'effacement au secteur sélectionné dès la détection d'une cellule en défaut. Une telle manière de faire conduit à une durée d'effacement qui peut être longue. Le procédé de l'invention consiste à appliquer simultanément une impulsion d'effacement à tous les secteurs, puis à vérifier ensuite l'effacement secteur après secteur, à verrouiller le secteur dont la vérification a été satisfaisante, à appliquer une nouvelle impulsion d'effacement aux secteurs non verrouillés et à vérifier ensuite ces derniers. Ainsi les cycles d'effacement successifs ne sont effectués que sur les secteurs qui présentent des défauts d'effacement après vérification. De cette manière, la vérification de l'effacement n'a lieu que pour les secteurs dont la vérification précédente avait détecté des défauts d'o un gain de temps appréciable. Par ailleurs, l'effacement proprement dit ne concerne que les secteurs qui présentent des défauts d'effacement, ce qui limite le phénomène de déplétion des cellules. L'invention a donc pour objet un procédé d'effacement d'une mémoire intégrée non volatile, effaçable et programmable électriquement, qui est divisée en N secteurs sélectionnés séparément par des circuits d'adressage, les cellules de chaque secteur étant sélectionnées par des circuits d'adressage par rangées et colonnes, caractérisé en ce qu'il comprend les étapes suivantes: (A) effacement proprement dit de la mémoire par l'application simultanée d'une impulsion à tous les secteurs; (B) vérification, secteur après secteur, de l'effacement de chaque cellule de la mémoire; (C) verrouillage de chaque secteur dont la vérification ne détecte pas de cellule non effacée, (D) vérification du verrouillage de tous les secteurs - si réponse positive, fin de l'opération d'effacement, - si réponse négative, passage à l'étape suivante, (E) application d'une impulsion d'effacement aux secteurs non verrouillés, (F) vérification, secteur après secteur, des secteurs non verrouillés, (G) retour à l'étape (C). Circuit de verrouillage de secteur dans une mémoire intégrée non volatile, effaçable et programmable électriquement qui est divisée en N secteurs sélectionnés séparément par des circuits d'adressage, les cellules de chaque secteur étant sélectionnées par des circuits d'adressage par rangées et colonnes, l'effacement de la mémoire étant obtenue par l'application simultanée à tous les secteurs d'une impulsion d'effacement, caractérisé en ce qu'il comprend: - un circuit de porte sur le circuit d'alimentation de l'effacement d'un secteur auquel est appliqué l'impulsion d'effacement, et - un circuit logique pour commander la fermeture ou l'ouverture du circuit de porte selon que le secteur est verrouillé ou non de manière à n'effectuer l'effacement du secteur que si ledit secteur comporte au moins une cellule non effacée. D'autres caractéristiques et avantages de la présente invention apparaîtront à la lecture de la description suivante d'un exemple particulier de réalisation, ladite description étant faite en relation avec les dessins joints dans lesquels: - la figure 1 est un schéma fonctionnel d'une mémoire à semi-conducteurs et de ses circuits associés à laquelle s'applique le procédé d'effacement selon l'invention; - la figure 2 est un diagramme montrant les différentes opérations du procédé d'effacement selon l'invention, et - la figure 3 est un schéma d'un circuit de verrouillage de secteur selon l'invention. Sur la figure 1, l'ensemble mémoire 10 qui est associé à un microprocesseur 21 comprend schématiquement une mémoire 11 proprement dite, des circuits d'adressage 12 de la mémoire 11, un circuit 19 de commande de la mémoire 11, des circuits d'entrée/sortie 20 de la mémoire 11 et un circuit horloge 22 fournissant un signal horloge H, ces différents éléments étant connectés entre eux de manière connue. A titre indicatif, la mémoire 11 a une capacité de 16 mégabits environ et est divisée en 32 secteurs S0 à S31 ayant chacun 512.000 cellules de mémoire qui sont groupées en mots de 8 bits, soit 64.000 mots par secteur. Cette mémoire est de préférence du type à circuits intégrés et les cellules sont non volatiles, programmables et effaçables électriquement et plus particulièrement du type "FLASH EEPROM". Les circuits d'adressage 12 sont organisés pour adresser chacun des 32 secteurs SO à S31 par un circuit 121 et dans chaque secteur un mot de mémoire par des circuits 122 (adresse Y pour les colonnes de bits) et 123 (adresse X pour les rangées de mots). Les circuits entrée/sortie 20 reçoivent des informations ou données du microprocesseur 21 et en fournissent à ce dernier sous la forme de mots ou codes de 8 bits chacun. Le circuit de commande 19 de la mémoire 11 est essentiellement une machine d'états qui reçoit des codes à 8 bits des circuits d'entrée/sortie 20 et fournit des signaux de commande des circuits d'adressage 12, de la mémoire 11 et des circuits d'entrée/sortie 20. Les signaux de commande ont pour but de réaliser des opérations déterminées sur la mémoire 11 telles que sa lecture, son enregistrement, son effacement... Dans le cas de l'invention, il est prévu de réaliser l'effacement selon deux modes différents: l'un classique et l'autre, dit effacement global, selon des caractéristiques de l'invention. La figure 2 donne le diagramme détaillé des différentes étapes du mode ou procédé d'effacement global de la mémoire 11 lorsqu'une instruction d'effacement global FE est reconnue. (a) Déverrouillage des secteurs pour permettre leur effacement et la vérification de leur effacement, c'est-à-dire remise à zéro (RAZ) du verrouillage des secteurs; (b) L'instruction est-elle une instruction d'effacement global ? -si la réponse est positive, passage à l'étape (c); -si la réponse est négative, passage à l'étape (d); (c) remise à zéro (RAZ) du compteur de secteurs et du compteur d'adresses à l'intérieur de chaque secteur; (d) effacement des secteurs par application d'une impulsion d'effacement. (e) vérification de l'effacement cellule par cellule des cellules d'un secteur; (f) la cellule est-elle effacée ? -si la cellule est effacée, passage à l'étape (g); -si la cellule n'est pas effacée, passage à l'étape (i); (g) incrémentation de l'adresse du compteur d'adresses pour vérifier la cellule suivante; (h) l'adresse incrémentée est-elle supérieure à la dernière adresse du secteur ? -si la réponse est négative, retour à l'étape (e) de vérification de la cellule correspondant à l'adresse incrémentée; -si la réponse est positive, passage à l'étape (p); (i)-dans le cas o la cellule en vérification n'est pas effacée, l'instruction est-elle une instruction d'effacement global; -si la réponse est négative, retour à l'étape (d); -si la réponse est positive, passage à l'étape (j); (j) remise à zéro (RAZ) du compteur d'adresse de secteur; (k) incrémentation d'une unité du compteur de secteur; (m) l'adresse incrémentée du compteur de secteur est-elle supérieure à la dernière adresse de secteur ? -si la réponse est négative, passage à l'étape (n) de vérification de verrouillage du secteur; -si la réponse est positive, retour à l'étape (b); (n) le secteur est-il verrouillé ? -si le secteur n'est pas verrouillé, retour à l'étape (h); - si le secteur est verrouillé, retour à l'étape (k) d'incrémentation du compteur de secteur; (p) dans le cas o l'adresse du compteur d'adresse est la dernière adresse du secteur, l'instruction est-elle une instruction d'effacement global ? -si la réponse est positive, passage à l'étape (q); -si la réponse est négative, passage à l'étape "FIN"; (q) verrouillage du secteur vérifié sans faute dans le cas d'un effacement global; (r) les secteurs sont-ils tous verrouillés ? -si la réponse est négative, retour à l'étape (j) de remise à zéro du compteur d'adresse dans le secteur suivie de l'étape (k) d'incrémentation du compteur secteur de manière à vérifier le secteur suivant; -si la réponse est positive, passage à l'étape (s) indiquant la "FIN" de l'effacement; Les différentes étapes du procédé qui viennent d'être décrites en relation avec le diagramme de la figure 2 montrent que ce procédé réalise les deux modes d'effacement selon le signal de commande qui est appliqué. Ainsi, lorsqu'une cellule n'est pas effacée dans un secteur (étape (f)) et qu'il s'agit du mode classique (étape (i)), on effectue un nouvel effacement en envoyant une impulsion d'effacement. Par ailleurs, lorsque toutes les cellules d'un secteur ont été vérifiées (étape (h)) et qu'il s'agit du mode classique (étape (p)), ceci est interprété comme la fin de l'effacement. Le diagramme détaillé de la figure 2 fait apparaître quatre phases: - une première phase I qui consiste à appliquer une impulsion d'effacement aux secteurs, - une deuxième phase II qui consiste à vérifier l'effacement de chaque cellule de mémoire dans un secteur, - une troisième phase III qui consiste à passer d'un secteur à l'autre pour la vérification, et - une quatrième phase IV qui consiste à verrouiller le secteur sans défaut d'effacement. De manière plus synthétique, on peut définir le procédé selon l'invention par les étapes suivantes: (A) effacement proprement dit de la mémoire par l'application simultanée d'une impulsion à tous les secteurs SO à S31; (B) vérification, secteur après secteur, de l'effacement de chaque cellule de la mémoire; (C) verrouillage de chaque secteur dont la vérification ne détecte pas de cellule non effacée, (D) vérification du verrouillage de tous les secteurs - si réponse positive, fin de l'opération d'effacement, - si réponse négative, passage à l'étape suivante, (E) application d'une impulsion d'effacement aux secteurs non verrouillés, (F) vérification, secteur après secteur, des secteurs non verrouillés, (G) retour à l'étape (C). Afin de réaliser le verrouillage des secteurs au fur et à mesure de leur vérification, il est prévu un circuit de verrouillage par secteur tel que celui de la figure 3 de manière à empêcher l'application de l'impulsion d'effacement aux secteurs verrouillés. Ce circuit logique comprend un circuit ET 40 à deux entrées, l'une à laquelle est appliquée le signal de sélection du secteur SELSEC (figure 2) concerné, par exemple le secteur SO et l'autre à laquelle est appliquée le signal de verrouillage de secteur. La sortie du circuit ET 40 est connectée à une des deux entrées d'un premier circuit NON-OU 41 dont l'autre entrée est connectée à la sortie d'un circuit inverseur 44. La sortie de ce premier circuit NON-OU 41 est connectée à une des deux entrées d'un deuxième circuit NON-OU 42 dont l'autre entrée reçoit un signal de remise à zéro du verrouillage des secteurs RAZVER (figure 2). La sortie de ce deuxième circuit NON-OU 42 est connectée à une des deux entrées d'un circuit NON-ET 43 dont l'autre entrée reçoit le signal d'effacement global FE. La sortie du circuit NON-ET 43 est connectée à l'entrée du circuit inverseur 44 dont la sortie est connectée à l'entrée du premier circuit NON-OU 41, comme décrit ci-dessus. La sortie du circuit inverseur 44 est aussi connectée, d'une part, au drain d'un transistor MOSFET 47 de type P et, d'autre part, à la grille d'un transistor MOSFET 600 de type P qui fait partie d'un circuit NON-ET 60. Ce circuit NON-ET 60 comprend autant de transistors MOSFET 600, 601... 6031 que de secteurs, la grille de chaque transistor étant connectée à la sortie du circuit inverseur 44 du circuit de verrouillage du secteur associé. La source du transistor 47 est connectée à une entrée d'un troisième circuit NON-OU 49 qui comporte une autre entrée recevant l'impulsion d'effacement IEF. La source du transistor 47 est également connectée à la source d'un transistor MOSFET 46 de type P. La grille du transistor 46 reçoit le signal d'effacement global FE tandis que le drain est connecté à la sortie d'un circuit inverseur 45 dont l'entrée reçoit le signal de sélection de secteur qui est aussi appliqué au circuit ET 40. La sortie du circuit NON-OU 49 est connectée à un circuit inverseur 50 dont la sortie est connectée à la grille d'un transistor MOSFET 51 de type P. Le drain du transistor 51 est connecté à la tension d'alimentation Vpp tandis que la source est connectée aux sources des transistors constituant chaque cellule de la mémoire. Le signal de sélection de secteur SELSEC est appliqué directement à la grille d'un transistor MOSFET 56 de type N et, par l'intermédiaire d'un circuit inverseur 52, à la grille d'un transistor MOSFET 53 de type P. Le drain du transistor 53 est connecté à la tension d'alimentation Vcc tandis que sa source est connectée au drain d'un transistor MOSFET 54 du type P. Par ailleurs, la source du transistor 56 est connectée au potentiel de la masse Vss tandis que son drain est connecté à la source d'un transistor MOSFET 55 de type N dont le drain est connecté à la source du transistor 54. Les grilles des transistors 54 et 55 sont connectées entre elles et à la sortie du circuit inverseur 44. Le point commun source/drain des transistors 54 et 55 est connecté à l'entrée d'un circuit inverseur 57 qui est commun à tous les secteurs comme le circuit NON-ET 60. La sortie du circuit inverseur 57 fournit le signal SECVER indiquant que le secteur est verrouillé. Sur la figure 3, les NON-ET 600 à 6031 et le circuit inverseur 57 qui sont communs à tous les secteurs ont été regroupés sous la référence 61. Le circuit de la figure 3 peut être divisé fonctionnellement en plusieurs éléments: - un circuit de porte 62 comprenant les éléments 49 à 51, - un circuit de verrouillage/déverrouillage 63 comprenant les éléments 40 à 48, - un circuit 64 de détection de verrouillage du secteur comprenant les éléments 52 à 57, et - un circuit 61 de détection de verrouillage de tous les secteurs comprenant les éléments 58 à 60. Les circuits 61, 63 et 64 réalisent un circuit logique de commande du circuit de porte 62. Le circuit de verrouillage de secteur tel que décrit en relation avec la figure 3 fonctionne de la manière suivante. Lors de la sélection d'un secteur (signal SELSEC) en mode classique, le transistor 46 est conducteur car le signal FE d'effacement global est absent. Le circuit NON-OU 49, qui reçoit l'impulsion d'effacement IEF, fournit un signal de conduction du transistor 51 par l'intermédiaire de l'inverseur 50. L'impulsion d'effacement n'est donc appliquée, en mode classique, qu'aux cellules du secteur sélectionné par SELSEC. En mode d'effacement global, le transistor 47 peut devenir conducteur car le signal FE d'effacement global est appliqué au circuit inverseur 48. Comme précédemment, le transistor 51 devient conducteur et applique l'impulsion d'effacement IEF à toutes les cellules du secteur sélectionné. Cependant, cette impulsion d'effacement IEF ne doit être appliquée qu'aux secteurs non verrouillés, ce qui signifie que le transistor 47 ne doit pas devenir conducteur lorsque le secteur est verrouillé. Ceci est obtenu par le signal VERSEC (étape (q)) pour le secteur sélectionné (signal SELSEC): le circuit ET 40 fournit alors un niveau 1 de sorte que la sortie du circuit NON-OU 41 est au niveau 0; il en est de même de la sortie du circuit NON-OU 42 qui est donc au niveau 0. La sortie du circuit ET 43 est au niveau 0, ce qui entraîne un niveau 1 sur la sortie du circuit inverseur 44, d'o un blocage du transistor 47. Au début de l'effacement global, tous les secteurs sont verrouillés mais aucun secteur n'est sélectionné de sorte que la sortie du circuit ET 40 est au niveau 0. La sortie du circuit NON-OU 41 est aussi au niveau 0 car la deuxième entrée est au niveau 1 correspondant au verrouillage. Lorsque le signal RAZVER (étape (a)) passe au niveau 1, la sortie du circuit NON-OU 42 passe au niveau 0. Comme le signal FE est présent, la sortie du circuit NON-ET 43 passe au niveau 1 tandis que la sortie du circuit inverseur 44 passe au niveau 0. Le niveau 0 du circuit inverseur 44 est appliqué à l'entrée du circuit NON-OU 41 tandis que le niveau O est appliqué sur l'autre entrée. La sortie du circuit NON-OU 41 passe à l'état 1. Comme le signal RAZVER est revenu au niveau 0, la sortie du circuit NON-OU 42 reste au niveau 0. La sortie du circuit NON-ET 43 reste au niveau 1 et la sortie du circuit inverseur 44 reste au niveau 0 correspondant au déverrouillage. Lorsque toutes les cellules d'un secteur sélectionné (SELSEC) ont été vérifiées comme étant effacées, le signal VERSEC (étape (q)) apparaît de sorte que le circuit ET 40 est ouvert et passe au niveau 1. La sortie du circuit inverseur 44 étant au niveau 0 (secteur non verrouillé), la sortie du circuit NON-OU 41 passe au niveau 0. Comme le signal RAZVER est au niveau 0, la sortie du circuit NON-ET 43 passe alors au niveau 0 tandis que la sortie du circuit inverseur 44 passe au niveau 1. Avant la fin de la vérification du secteur, le niveau 0 du circuit inverseur 44 est appliqué aux grilles des transistors 54 et 55 de sorte que seul le transistor 54 peut être conducteur. Par ailleurs, comme le secteur est sélectionné, un niveau 0 est appliqué à la grille du transistor 53 qui le rend conducteur au travers du transistor 54. L'entrée du circuit inverseur 57 est alors au niveau 1 et sa sortie au niveau 0, ce qui signifie que le secteur n'est pas verrouillé. A la fin de la vérification, par suite de l'apparition du signal VERSEC, la sortie de l'inverseur 44 passe au niveau 1 qui est appliqué au transistor 54 pour le bloquer. Par contre, les transistors 55 et 56 deviennent conducteurs et appliquent le niveau 0 à l'entrée du circuit inverseur 57 dont la sortie passe au niveau 1. Lorsqu'au moins un secteur n'est pas verrouillé, un niveau 0 est appliqué à la grille du transistor 60 qui correspond au secteur de sorte que ce transistor est conducteur au travers du transistor 58 qui reçoit le signal FE. Un niveau 1 est donc appliqué à l'entrée du circuit inverseur 59 et sa sortie est alors au niveau 0. Par contre, lorsque tous les secteurs sont verrouillés, aucun transistor 600 à 6031 n'est conducteur et le niveau 0 est appliqué à l'entrée du circuit inverseur 59 dont la sortie passe alors au niveau 1 pour le signal ASECVER. L'invention a été décrite dans le cas d'une impulsion d'effacement appliquée simultanément à tous les secteurs de la mémoire. Une telle manière de faire implique un courant d'effacement qui est de valeur élevée. Aussi, pour limiter ce courant d'effacement, l'invention propose dans une variante de n'appliquer l'impulsion d'effacement qu'à un groupe de secteurs, par exemple à huit d'entre eux, ce qui revient dans cet exemple à diviser les trente-deux secteurs en quatre groupes ou cadrans de huit secteurs chacun, par exemple un premier cadran pour les secteurs SO à S7, un deuxième cadran pour les secteurs S8 à S15, un troisième cadran pour les secteurs S16 à S23 et un quatrième cadran pour les secteurs S24 à S31. Pour réaliser cette variante, le procédé qui a été décrit en relation avec la figure 2 doit inclure une étape supplémentaire d'incrémentation d'un compteur de cadrans entre les étapes (d) et (e) (figure 4) tandis que le circuit de verrouillage de la figure 3 doit comprendre un circuit NON-ET 65 (figure 5) dont l'une des deux entrées est connectée à la sortie du circuit inverseur 44 tandis que l'autre entrée est connectée à la sortie du compteur de cadrans qui sera décrit en relation avec le schéma de la figure 5. Ainsi, sur la figure 4, une étape (d') d'incrémentation de cadran est insérée entre l'étape (d) d'application de l'impulsion d'effacement et l'étape (e) de vérification de l'effacement de tous les secteurs. Sur la figure 5, le circuit NON-ET 65, qui est ajouté dans chaque circuit de verrouillage (circuits NON-ET 650 à 6531) est commandé par les signaux de sortie d'un décodeur 69 des quatre états du compteur binaire 68 des cadrans, le compteur et le décodeur réalisant un circuit de multiplexage. Ces signaux de sortie du décodeur 69 sont appliqués par l'intermédiaire des conducteurs 70, 71, 72 et 73 qui sont connectés respectivement aux circuits NON-ET 650 à 657 pour les secteurs du premier cadran, 658 à 6515 pour les secteurs du deuxième cadran, 6516 à 6523 pour les secteurs du troisième cadran et 6524 à 6531 pour les secteurs du quatrième cadran. L'entrée du compteur binaire à deux chiffres 68 est connectée à la sortie d'un circuit NON-ET 67 à deux entrées dont une entrée reçoit l'impulsion d'avancement IEF tandis que l'autre reçoit le signal FE d'effacement global par l'intermédiaire d'un circuit inverseur 66. Sur la figure 5, les indices 0 à 31 indiquent le rang du secteur tandis que les références auxquelles ils sont associés indiquent celles des circuits logiques de la figure 3. Le fonctionnement de cette variante de l'invention est alors le suivant. L'impulsion d'effacement incrémente le compteur de cadrans 68 d'une unité, ce qui permet de sélectionner les secteurs du cadran suivant, par exemple le deuxième cadran, dont les secteurs recevront l'impulsion d'effacement. Il est ensuite procédé à l'étape (e) de vérification de l'effacement comme dans le procédé d'effacement global. Si, après vérification de tous les secteurs de la mémoire, l'un d'entre eux n'est pas effacé et n'est donc pas verrouillé, une nouvelle impulsion d'effacement est élaborée, ce qui incrémente d'une unité le compteur 68 de sorte que l'impulsion d'effacement est appliquée à tous les secteurs du cadran suivant, c'est-à-dire le troisième cadran. Puis une nouvelle étape (e) de vérification d'effacement est mise en oeuvre pour tous les secteurs et ainsi de suite jusqu'au verrouillage de tous les secteurs. En résumé, dans cette variante, l'impulsion d'effacement n'est appliquée qu'à un seul groupe ou cadran de secteurs mais la vérification de l'effacement est réalisée sur tous les secteurs non verrouillés. Dans le procédé général de l'invention, cette variante consiste à modifier le libellé des étapes (A) et (E) pour indiquer que l'impulsion d'effacement est appliquée aux secteurs d'un groupe ou cadran. Plus généralement, les groupes seront au nombre de m et comporteront chacun n secteurs tels que m.n = N. REVENDICATIONS 1. Procédé d'effacement d'une mémoire intégrée (11) non volatile, effaçable et programmable électriquement, qui est divisée en N secteurs (S0...S31) sélectionnés séparément par des circuits d'adressage (123), les N secteurs pouvant être assemblés en m groupes de n secteurs chacun, les cellules de chaque secteur étant sélectionnées par des circuits d'adressage (121, 122) par rangées et colonnes, caractérisé en ce qu'il comprend les étapes suivantes: (A) effacement de la mémoire par l'application simultanée d'une impulsion à au moins tous les secteurs d'un groupe; (B) vérification, secteur après secteur, de l'effacement de chaque cellule de la mémoire; (C) verrouillage de chaque secteur dont la vérification ne détecte pas de cellule non effacée; (D) vérification du verrouillage de tous les secteurs - si réponse positive, fin de l'opération d'effacement, - si réponse négative, passage à l'étape suivante, (E) application d'une impulsion d'effacement aux secteurs non verrouillés du groupe suivant; (F) vérification, secteur après secteur, des secteurs non verrouillés; (G) retour à l'étape (C). 2. Procédé selon la revendication 1, caractérisé en ce que l'étape (A) comprend les étapes intermédiaires suivantes: (a) déverrouillage de tous les secteurs pour permettre leur effacement et la vérification de leur effacement; (b) l'instruction est-elle une instruction d'effacement global ? -si la réponse est positive, passage à l'étape (c); -si la réponse est négative, passage à l'étape (d); (c) remises à zéro du compteur de secteurs et du compteur d'adresses à l'intérieur de chaque secteur; (d) application d'une impulsion d'effacement à au moins tous les secteurs d'un groupe; 3. Procédé selon la revendication 1 ou 2, caractérisé en ce que les étapes (A) et (E) consistent à appliquer une impulsion d'effacement à tous les secteurs de tous les groupes. 4. Procédé selon la revendication 1 2 ou 3, caractérisé en ce que l'étape (B) comprend les opérations intermédiaires suivantes: (e) vérification de l'effacement cellule par cellule des cellules d'un secteur; (f) la cellule est-elle effacée ? -si la réponse est positive, passage à l'étape (g); -si la réponse est négative, passage à la vérification du secteur suivant; (g) incrémentation de l'adresse du compteur d'adresses pour vérifier la cellule suivante: (h) l'adresse incrémentée est-elle supérieure à la dernière adresse de cellule du secteur ? -si la réponse est négative retour à l'étape (e) de vérification de l'effacement de la cellule correspondant à l'adresse incrémentée; -si la réponse est positive, passage à l'étape (C) de verrouillage du secteur vérifié sans défaut. 5. Procédé selon l'une des revendications 1 à 4, caractérisé en ce que l'étape (C) comprend les étapes intermédiaires suivantes: (i) dans le cas o la cellule en vérification n'est pas effacée, l'instruction est-elle une instruction d'effacement global ? -si la réponse est négative, retour à l'étape (d); -si la réponse est positive, passage à l'étape (j); (j) remise à zéro du compteur d'adresse de secteur; (k) incrémentation du compteur de secteur; (m) l'adresse incrémentée du compteur de secteur est-elle supérieure à la dernière adresse de secteur ? -si la réponse est négative, passage à l'étape (n) de vérification de verrouillage du secteur; -si la réponse est positive, retour à l'étape (b); (n) le secteur est-il verrouillé ? -si la réponse est négative, retour à l'étape (h); -si la réponse est positive, retour à l'étape (k); (p) dans le cas o l'adresse du compteur d'adresse est la dernière adresse du secteur, l'instruction est-elle une instruction d'effacement global ? -si la réponse est positive, passage à l'étape (q); -si la réponse est négative, passage à l'étape (s); (q) verrouillage du secteur vérifié sauf faute dans le cas de l'effacement global. 6. Procédé selon l'une des revendications 1 à 5, caractérisé en ce que l'opération (D) comprend les étapes intermédiaires suivantes: (r) les secteurs sont-ils tous verrouillés ? - si la réponse est négative, retour à l'étape (j) de remise à zéro du compteur d'adresse dans le secteur suivie de l'étape (k) d'incrémentation du compteur de secteur de manière à vérifier le secteur suivant; -si la réponse est positive, passage à l'étape (s) indiquant la "FIN" de l'effacement. 7. Circuit de verrouillage de secteur dans une mémoire intégrée non volatile, effaçable et programmable électriquement qui est divisée en N secteurs (SO à S31) sélectionnés séparément par des circuits d'adressage, les N secteurs pouvant être assemblés en m groupes de n secteurs chacun, les cellules de chaque secteur étant sélectionnées par des circuits d'adressage par rangées et colonnes, l'effacement de la mémoire étant obtenue par l'application simultanée d'une impulsion d'effacement à au moins tous les secteurs d'un groupe, caractérisé en ce qu'il comprend: un circuit de porte (62) sur le circuit d'alimentation de l'effacement d'un secteur auquel est appliquée l'impulsion d'effacement, - un circuit logique pour commander l'ouverture ou la fermeture du circuit de porte de manière à appliquer l'impulsion d'effacement au secteur que si ledit secteur comporte une cellule non effacée. 8. Circuit de verrouillage selon la revendication 7, caractérisé en ce que le circuit logique de commande comprend: - un circuit de verrouillage/déverrouillage (63) pour ouvrir le circuit de porte (62) au début de l'opération d'effacement, - un circuit (64) de détection de verrouillage du secteur, et - un circuit (61) de détection de verrouillage de tous les secteurs. 9. Circuit de verrouillage selon la revendication 8, caractérisé en ce que le circuit de verrouillage/ déverrouillage (63) comprend, dans le cas de l'application d'une impulsion d'effacement aux secteurs d'un groupe, un compteur de groupes (68) à m états dont l'avance est commandée par les impulsions d'effacement et un circuit de multiplexage (65, 69 à 73) commandé par les signaux d'état dudit compteur pour sélectionner le groupe dont les secteurs recevront l'impulsion d'effacement.