FR3120759A1 - Compteur monotone - Google Patents
Compteur monotone Download PDFInfo
- Publication number
- FR3120759A1 FR3120759A1 FR2102531A FR2102531A FR3120759A1 FR 3120759 A1 FR3120759 A1 FR 3120759A1 FR 2102531 A FR2102531 A FR 2102531A FR 2102531 A FR2102531 A FR 2102531A FR 3120759 A1 FR3120759 A1 FR 3120759A1
- Authority
- FR
- France
- Prior art keywords
- value
- modulo
- rank
- memory cell
- complementary
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
- 230000000295 complement effect Effects 0.000 claims abstract description 20
- 238000000034 method Methods 0.000 claims description 2
- 230000000087 stabilizing effect Effects 0.000 description 3
- 238000007792 addition Methods 0.000 description 2
- 230000003247 decreasing effect Effects 0.000 description 1
Classifications
-
- G—PHYSICS
- G11—INFORMATION STORAGE
- G11C—STATIC STORES
- G11C8/00—Arrangements for selecting an address in a digital store
- G11C8/04—Arrangements for selecting an address in a digital store using a sequential addressing device, e.g. shift register, counter
-
- H—ELECTRICITY
- H03—ELECTRONIC CIRCUITRY
- H03K—PULSE TECHNIQUE
- H03K21/00—Details of pulse counters or frequency dividers
- H03K21/40—Monitoring; Error detection; Preventing or correcting improper counter operation
- H03K21/403—Arrangements for storing the counting state in case of power supply interruption
-
- G—PHYSICS
- G11—INFORMATION STORAGE
- G11C—STATIC STORES
- G11C7/00—Arrangements for writing information into, or reading information out from, a digital store
- G11C7/20—Memory cell initialisation circuits, e.g. when powering up or down, memory clear, latent image memory
-
- H—ELECTRICITY
- H03—ELECTRONIC CIRCUITRY
- H03K—PULSE TECHNIQUE
- H03K23/00—Pulse counters comprising counting chains; Frequency dividers comprising counting chains
- H03K23/004—Counters counting in a non-natural counting order, e.g. random counters
Landscapes
- Engineering & Computer Science (AREA)
- Microelectronics & Electronic Packaging (AREA)
- Read Only Memory (AREA)
- Complex Calculations (AREA)
- For Increasing The Reliability Of Semiconductor Memories (AREA)
Abstract
Compteur Monotone La présente description concerne un compteur monotone dont la valeur est représentée par un nombre N de mots binaires stockés dans N cellules mémoire d'une mémoire non volatile, et étant adapté à mettre en oeuvre une opération d'incrémentation d'un pas (p) dans laquelle : - si i premières cellules mémoire, de rangs consécutifs compris entre k modulo N et k+i modulo N, représentent une valeur ("-") complémentaire à la valeur nulle ("0"), alors la valeur d'une deuxième cellule, de rang k+i+1 modulo N, est effacée ; et - si i+1 troisièmes cellules mémoire de rangs consécutifs compris entre k+1 modulo N et k+i+1 modulo N représentent une valeur ("-") complémentaire à la valeur nulle ("0"), alors la valeur (V) incrémentée de deux fois le pas (p) d'une quatrième cellule mémoire de rang k modulo N est écrite dans la troisième cellule mémoire de rang k+1 modulo N. Figure pour l'abrégé : Fig. 10
Description
La présente description concerne de façon générale les systèmes et dispositifs électroniques mettant en oeuvre un compteur. Plus particulièrement, la présente description concerne la mise en oeuvre d'un compteur monotone.
Un compteur est une entité matérielle et/ou logicielle, adaptée à compter des éléments dénombrables et/ou à mesurer des grandeurs. Un compteur réalise successivement des opérations d'additions d'un pas à la valeur qu'il représente.
Un compteur peut être mis en oeuvre par différents dispositifs et systèmes électroniques. A titre d'exemple, un compteur peut être mis en oeuvre par un processeur stockant la valeur du compteur dans une cellule d'une mémoire.
Un compteur monotone est un compteur dont la valeur est strictement croissante (ou décroissante) au fur et à mesure des additions réalisées.
Il serait souhaitable de pouvoir améliorer, au moins en partie, la mise en oeuvre de compteurs monotones connus.
Il existe un besoin pour une mise en oeuvre de compteurs monotones plus rapide.
Il existe un besoin pour une mise en oeuvre de compteurs monotones moins couteuse en énergie.
Il existe un besoin pour une mise en oeuvre de compteurs monotones plus endurante.
Il existe un besoin pour une mise en oeuvre de compteurs monotones ayant une durée de vie plus longue.
Un mode de réalisation pallie tout ou partie des inconvénients de la mise en oeuvre de compteurs monotones connus.
Un mode de réalisation prévoit un compteur monotone dont la valeur est représentée par un nombre N de mots binaires stockés dans N cellules mémoire d'une mémoire non volatile, chaque mot binaire ayant une taille adaptée à représenter la valeur maximale dudit compteur, et étant adapté à mettre en oeuvre une opération d'incrémentation d'un pas dans laquelle :
- si i premières cellules mémoire, de rangs consécutifs compris entre k modulo N et k+i modulo N, représentent une valeur complémentaire à la valeur nulle , alors la valeur d'une deuxième cellule, de rang k+i+1 modulo N, est effacée ; et
- si i+1 troisièmes cellules mémoire de rangs consécutifs compris entre k+1 modulo N et k+i+1 modulo N représentent une valeur complémentaire à la valeur nulle, alors la valeur incrémentée de deux fois le pas d'une quatrième cellule mémoire de rang k modulo N est écrite dans la troisième cellule mémoire de rang k+1 modulo N,
avec :
- N étant un entier supérieur ou égal à cinq ;
- k un entier ; et
- i un entier compris entre 2 et N-3.
- si i premières cellules mémoire, de rangs consécutifs compris entre k modulo N et k+i modulo N, représentent une valeur complémentaire à la valeur nulle , alors la valeur d'une deuxième cellule, de rang k+i+1 modulo N, est effacée ; et
- si i+1 troisièmes cellules mémoire de rangs consécutifs compris entre k+1 modulo N et k+i+1 modulo N représentent une valeur complémentaire à la valeur nulle, alors la valeur incrémentée de deux fois le pas d'une quatrième cellule mémoire de rang k modulo N est écrite dans la troisième cellule mémoire de rang k+1 modulo N,
avec :
- N étant un entier supérieur ou égal à cinq ;
- k un entier ; et
- i un entier compris entre 2 et N-3.
Un autre mode de réalisation prévoit un procédé de mise en oeuvre d'une opération d'incrémentation d'un compteur monotone, dont la valeur est représentée par une nombre N de mots binaires stockés dans N cellules mémoire d'une mémoire non volatile, chaque mot binaire ayant une taille adaptée à représenter la valeur maximale dudit compteur, dans laquelle :
- si i premières cellules mémoire, de rangs consécutifs compris entre k modulo N et k+i modulo N, représentent une valeur complémentaire à la valeur nulle, alors la valeur d'une deuxième cellule, de rang k+i+1 modulo N, est effacée ; et
- si i+1 troisièmes cellules mémoire de rangs consécutifs compris entre k+1 modulo N et k+i+1 modulo N représentent une valeur complémentaire à la valeur nulle, alors la valeur incrémentée de deux fois le pas d'une quatrième cellule mémoire de rang k modulo N est écrite dans la troisième cellule mémoire de rang k+1 modulo N,
avec :
- N étant un entier supérieur ou égal à cinq ;
- k un entier ; et
- i un entier compris entre 2 et N-3.
- si i premières cellules mémoire, de rangs consécutifs compris entre k modulo N et k+i modulo N, représentent une valeur complémentaire à la valeur nulle, alors la valeur d'une deuxième cellule, de rang k+i+1 modulo N, est effacée ; et
- si i+1 troisièmes cellules mémoire de rangs consécutifs compris entre k+1 modulo N et k+i+1 modulo N représentent une valeur complémentaire à la valeur nulle, alors la valeur incrémentée de deux fois le pas d'une quatrième cellule mémoire de rang k modulo N est écrite dans la troisième cellule mémoire de rang k+1 modulo N,
avec :
- N étant un entier supérieur ou égal à cinq ;
- k un entier ; et
- i un entier compris entre 2 et N-3.
Selon un mode de réalisation, la valeur complémentaire à la valeur nulle est la valeur prise par une cellule mémoire après son effacement.
Selon un mode de réalisation, les cellules mémoire de rangs strictement inférieurs à k-1 modulo N et de rangs strictement supérieurs à k+i+1 modulo N représentent toutes une valeur quelconque différente de la valeur complémentaire à la valeur nulle.
Selon un mode de réalisation, le compteur monotone représente la valeur nulle lorsque une cinquième cellule mémoire représentant la valeur nulle est suivie directement par i sixièmes cellules mémoire représentant la valeur complémentaire à la valeur nulle.
Selon un mode de réalisation, i vaut deux.
Selon un mode de réalisation, si les deux premières cellules mémoire de rangs consécutifs compris entre k modulo N et k+i modulo N, représentent la valeur complémentaire à la valeur nulle, une première opération d'initialisation comprend les étapes suivantes :
- écrire la valeur nulle dans la cellule mémoire de rang k+2 modulo N ;
- effacer la cellule mémoire de rang k+3 modulo N ;
- écrire une valeur quelconque différente de la valeur complémentaire à la valeur nulle, dans la cellule mémoire de rang k+1 modulo N ; et
- effacer la valeur de la cellule mémoire de rang k+4 modulo N.
- écrire la valeur nulle dans la cellule mémoire de rang k+2 modulo N ;
- effacer la cellule mémoire de rang k+3 modulo N ;
- écrire une valeur quelconque différente de la valeur complémentaire à la valeur nulle, dans la cellule mémoire de rang k+1 modulo N ; et
- effacer la valeur de la cellule mémoire de rang k+4 modulo N.
Selon un mode de réalisation, pendant l'étape d'écriture de la cellule mémoire de rang k+1 modulo N, la valeur quelconque est égale à la valeur nulle.
Selon un mode de réalisation, si les trois troisièmes cellules mémoire de rangs consécutifs compris entre k+1 modulo N et k+3 modulo N représentent la valeur complémentaire à la valeur nulle, une deuxième opération d'initialisation comprend les étapes suivantes :
- écrire la valeur nulle dans la cellule mémoire de rang k+2 modulo N ;
- écrire une valeur quelconque dans la cellule mémoire de rang k+1 modulo N ; et
- effacer la valeur de la cellule mémoire de rang k+4 modulo N.
- écrire la valeur nulle dans la cellule mémoire de rang k+2 modulo N ;
- écrire une valeur quelconque dans la cellule mémoire de rang k+1 modulo N ; et
- effacer la valeur de la cellule mémoire de rang k+4 modulo N.
Selon un mode de réalisation, pendant l'étape d'écriture de la cellule mémoire de rang k+1 modulo N, la valeur quelconque est égale à la valeur nulle.
Ces caractéristiques et avantages, ainsi que d'autres, seront exposés en détail dans la description suivante de modes de réalisation particuliers faite à titre non limitatif en relation avec les figures jointes parmi lesquelles :
la représente, très schématiquement et sous forme de blocs, une architecture de dispositif électronique ;
la représente, très schématiquement et sous forme de blocs, des états d'un mode de réalisation d'un compteur monotone ;
la représente, très schématiquement et sous forme de blocs, un mode de mise en oeuvre d'étapes d'incrémentation d'un état du compteur de la ;
la représente, très schématiquement et sous forme de blocs, un mode de mise en oeuvre d'étapes d'incrémentation d'un autre état du compteur de la ;
la représente, très schématiquement et sous forme de blocs, un mode de mise en oeuvre d'étapes d'une opération d'initialisation d'un état du compteur de la ; et
la représente, très schématiquement et sous forme de blocs, un mode de mise en oeuvre d'étapes d'une opération d'initialisation d'un autre état du compteur de la ;
la représente, très schématiquement et sous forme de blocs, deux vues illustrant un mode de mise en oeuvre d'étapes de stabilisation d'états du compteur de la ;
la représente, très schématiquement et sous forme de blocs, deux vues illustrant un mode de mise en oeuvre d'étapes de stabilisation d'autres états du compteur de la ;
la représente, très schématiquement et sous forme de blocs, deux vues illustrant un mode de mise en oeuvre d'étapes de stabilisation d'un autre état du compteur de la ; et
la représente, très schématiquement et sous forme de blocs, des états d'un autre mode de réalisation d'un compteur monotone.
Claims (10)
- Compteur monotone dont la valeur est représentée par un nombre N de mots binaires stockés dans N cellules mémoire (C(0), …, C(N-1) ; C'(0), …, C'(N-1)) d'une mémoire non volatile (102), chaque mot binaire ayant une taille adaptée à représenter la valeur maximale dudit compteur, et étant adapté à mettre en oeuvre une opération d'incrémentation d'un pas (p) dans laquelle :
- si i premières cellules mémoire (C(k), C(k+1) ; C'(k), …, C'(k+i)), de rangs consécutifs compris entre k modulo N et k+i modulo N, représentent une valeur ("-") complémentaire à la valeur nulle ("0"), alors la valeur d'une deuxième cellule (C(k+3) ; C'(k+i+1)), de rang k+i+1 modulo N, est effacée ; et
- si i+1 troisièmes cellules mémoire ((C(k+1), C(k+2), C(k+3) ; C'(k+1), …, C'(k+i+1)) de rangs consécutifs compris entre k+1 modulo N et k+i+1 modulo N représentent une valeur ("-") complémentaire à la valeur nulle ("0"), alors la valeur (V) incrémentée de deux fois le pas (p) d'une quatrième cellule mémoire (C(k) ; C'(k)) de rang k modulo N est écrite dans la troisième cellule mémoire (C(k+1) ; C'(k+1)) de rang k+1 modulo N,
avec :
- N étant un entier supérieur ou égal à cinq ;
- k un entier ; et
- i un entier compris entre 2 et N-3. - Compteur selon la revendication 1, dans lequel la valeur ("-") complémentaire à la valeur nulle ("0") est la valeur prise par une cellule mémoire (C(0), C(N-1) ; C'(0), C'(N-1)) après son effacement.
- Compteur selon la revendication 1 ou 2, dans lequel les cellules mémoire (C(0), …, C(k-2), C(k+4), C(N-1) ; C'(0), …, C'(k-2), …, C'(k+i+2), C'(N-1)) de rangs strictement inférieurs à k-1 modulo N et de rangs strictement supérieurs à k+i+1 modulo N représentent toutes une valeur quelconque ("#") différente de la valeur ("-") complémentaire à la valeur nulle ("0").
- Compteur selon l'une quelconque des revendications 1 à 3, dans lequel le compteur monotone représente la valeur nulle ("0") lorsque une cinquième cellule mémoire (C(k) ; C'(k)) représentant la valeur nulle ("0") est suivie directement par i sixièmes cellules mémoire (C(k+1), C(k+2) ; C'(k+1), …, C'(k+i+1)) représentant la valeur ("-") complémentaire à la valeur nulle ("0").
- Compteur selon l'une quelconque des revendications 1 à 4, dans lequel i vaut deux.
- Compteur selon la revendication 5, dans lequel, si les deux premières cellules mémoire (C(k), C(k+1)), de rangs consécutifs compris entre k modulo N et k+i modulo N, représentent la valeur ("-") complémentaire à la valeur nulle ("0"), une première opération d'initialisation comprend les étapes suivantes :
- écrire la valeur nulle ("0") dans la cellule mémoire (C(k+2)) de rang k+2 modulo N ;
- effacer la cellule mémoire (C(k+3)) de rang k+3 modulo N ;
- écrire une valeur quelconque ("#", "0") différente de la valeur ("-") complémentaire à la valeur nulle ("0"), dans la cellule mémoire (C(k+1)) de rang k+1 modulo N ; et
- effacer la valeur de la cellule mémoire (C(k+4)) de rang k+4 modulo N. - Compteur selon la revendication 5 ou 6, dans lequel pendant l'étape d'écriture de la cellule mémoire (C(k+1)) de rang k+1 modulo N, la valeur quelconque ("#") est égale à la valeur nulle ("0").
- Compteur selon l'une quelconque des revendications 5 à 7, dans lequel, si les trois troisièmes cellules mémoire ((C(k+1), C(k+2), C(k+3)) de rangs consécutifs compris entre k+1 modulo N et k+3 modulo N représentent la valeur ("-") complémentaire à la valeur nulle ("0"), une deuxième opération d'initialisation comprend les étapes suivantes :
- écrire la valeur nulle ("0") dans la cellule mémoire (C(k+2)) de rang k+2 modulo N ;
- écrire une valeur quelconque ("#", "0") dans la cellule mémoire (C(k+1)) de rang k+1 modulo N ; et
- effacer la valeur de la cellule mémoire (C(k+4)) de rang k+4 modulo N. - Compteur selon l'une quelconque des revendications 5 à 8, dans lequel pendant l'étape d'écriture de la cellule mémoire (C(k+1) ; C'(k+1)) de rang k+1 modulo N, la valeur quelconque ("#") est égale à la valeur nulle ("0").
- Procédé de mise en oeuvre d'une opération d'incrémentation d'un compteur monotoneselon l'une quelconque des revendications 1 à 9.
Priority Applications (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
FR2102531A FR3120759B1 (fr) | 2021-03-15 | 2021-03-15 | Compteur monotone |
US17/691,870 US11715506B2 (en) | 2021-03-15 | 2022-03-10 | Monotonic counter |
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
FR2102531 | 2021-03-15 | ||
FR2102531A FR3120759B1 (fr) | 2021-03-15 | 2021-03-15 | Compteur monotone |
Publications (2)
Publication Number | Publication Date |
---|---|
FR3120759A1 true FR3120759A1 (fr) | 2022-09-16 |
FR3120759B1 FR3120759B1 (fr) | 2023-02-17 |
Family
ID=76807703
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
FR2102531A Active FR3120759B1 (fr) | 2021-03-15 | 2021-03-15 | Compteur monotone |
Country Status (2)
Country | Link |
---|---|
US (1) | US11715506B2 (fr) |
FR (1) | FR3120759B1 (fr) |
Families Citing this family (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
FR3120759B1 (fr) * | 2021-03-15 | 2023-02-17 | Proton World Int Nv | Compteur monotone |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US6687325B1 (en) * | 1999-06-23 | 2004-02-03 | Intel Corporation | Counter with non-uniform digit base |
US20040141580A1 (en) * | 2003-01-21 | 2004-07-22 | Maletsky Kerry D. | Method for counting beyond endurance limitations of non-volatile memories |
US7551706B2 (en) * | 2004-12-03 | 2009-06-23 | Kyocera Mita Corporation | Counter device and counting method |
Family Cites Families (13)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US3767902A (en) | 1972-12-12 | 1973-10-23 | Essex International Inc | Engine member position predictor |
US4160154A (en) | 1977-01-10 | 1979-07-03 | Bunker Ramo Corporation | High speed multiple event timer |
JPS61501421A (ja) | 1984-03-12 | 1986-07-10 | アメリカン テレフオン アンド テレグラフ カムパニ− | 独立したサブカウンタを持つカウンタ装置 |
JP2570874B2 (ja) | 1990-01-12 | 1997-01-16 | 日本電気株式会社 | デシメータ回路 |
US5450460A (en) * | 1994-03-09 | 1995-09-12 | National Semiconductor Corporation | Non-volatile electronic counter with improved reliability and a substantitally increased maximum count |
US6496437B2 (en) | 1999-01-20 | 2002-12-17 | Monolithic Systems Technology, Inc. | Method and apparatus for forcing idle cycles to enable refresh operations in a semiconductor memory |
KR20020049387A (ko) | 2000-12-19 | 2002-06-26 | 윤종용 | 고속 동작이 가능하고 순차적으로 2진 카운터 순서를 갖는카운터 회로 및 그 카운팅 방법 |
US6826249B1 (en) * | 2002-10-10 | 2004-11-30 | Xilinx, Inc. | High-speed synchronous counters with reduced logic complexity |
US7245556B1 (en) | 2005-12-28 | 2007-07-17 | Sandisk Corporation | Methods for writing non-volatile memories for increased endurance |
FR2978592B1 (fr) | 2011-07-29 | 2014-05-02 | Proton World Int Nv | Compteur en memoire non volatile |
EP2713519A1 (fr) | 2012-09-27 | 2014-04-02 | Nxp B.V. | Compteur électronique dans une mémoire non volatile d'endurance limitée |
US10419004B2 (en) | 2017-04-21 | 2019-09-17 | Windbond Electronics Corporation | NVFF monotonic counter and method of implementing same |
FR3120759B1 (fr) * | 2021-03-15 | 2023-02-17 | Proton World Int Nv | Compteur monotone |
-
2021
- 2021-03-15 FR FR2102531A patent/FR3120759B1/fr active Active
-
2022
- 2022-03-10 US US17/691,870 patent/US11715506B2/en active Active
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US6687325B1 (en) * | 1999-06-23 | 2004-02-03 | Intel Corporation | Counter with non-uniform digit base |
US20040141580A1 (en) * | 2003-01-21 | 2004-07-22 | Maletsky Kerry D. | Method for counting beyond endurance limitations of non-volatile memories |
US7551706B2 (en) * | 2004-12-03 | 2009-06-23 | Kyocera Mita Corporation | Counter device and counting method |
Also Published As
Publication number | Publication date |
---|---|
US20220293150A1 (en) | 2022-09-15 |
US11715506B2 (en) | 2023-08-01 |
FR3120759B1 (fr) | 2023-02-17 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
FR3120759A1 (fr) | Compteur monotone | |
JP2001230671A (ja) | カウントダウン/アップ回路及びアナログディジタル変換方法 | |
US20190235834A1 (en) | Optimization apparatus and control method thereof | |
KR102359298B1 (ko) | 디지털 상관 이중 샘플링 회로 및 이를 포함하는 이미지 센서 | |
JP2007201550A (ja) | パイプラインa/d変換器 | |
US7265698B2 (en) | Multi-stage digital-to-analog converter | |
EP0599746B1 (fr) | Compteur rapide permettant alternativement de compter et de décompter des trains d'impulsions | |
EP3803636B1 (fr) | Processeur ntt incluant une pluralite de bancs de memoires | |
Mansour et al. | A new hardware implementation of base 2 logarithm for FPGA | |
FR3120760A1 (fr) | Compteur Monotone | |
EP0092464A1 (fr) | Compteur avec sauvegarde non-volatile de son contenu | |
US6369733B1 (en) | Method and system for operating two or more dynamic element matching (DEM) components with different power supplies for a delta-sigma modulator of an analog-to-digital converter | |
EP0476592A2 (fr) | Générateur d'adresses pour la mémoire de données d'un processeur | |
US5951711A (en) | Method and device for determining hamming distance between two multi-bit digital words | |
US9473166B2 (en) | Analog-to-digital converter and an image sensor including the same | |
CN112002365B (zh) | 基于多比特非易失存储器的并行逻辑运算方法及全加器 | |
US3720875A (en) | Differential encoding with lookahead feature | |
KR102123432B1 (ko) | 카운터 회로 및 이를 포함하는 이미지 센서 | |
CN114974337A (zh) | 一种基于自旋磁随机存储器的时间域存内计算电路 | |
US6639535B1 (en) | Digital to analog converter using B spline function | |
GB1266047A (fr) | ||
EP0658838B1 (fr) | Dispositif de synthèse de fréquences | |
US20190356328A1 (en) | Lookup-table-based sigma-delta adc filter | |
EP0169089B1 (fr) | Dispositif élémentaire de traitement de données | |
EP0419381B1 (fr) | Circuit de détermination de valeur absolue pour des nombres exprimés en chiffres signés à base 2 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PLFP | Fee payment |
Year of fee payment: 2 |
|
PLSC | Publication of the preliminary search report |
Effective date: 20220916 |
|
PLFP | Fee payment |
Year of fee payment: 3 |
|
PLFP | Fee payment |
Year of fee payment: 4 |