WO1988009554A1 - Process and arrangement for self-checking of a word-oriented ram - Google Patents
Process and arrangement for self-checking of a word-oriented ram Download PDFInfo
- Publication number
- WO1988009554A1 WO1988009554A1 PCT/DE1988/000256 DE8800256W WO8809554A1 WO 1988009554 A1 WO1988009554 A1 WO 1988009554A1 DE 8800256 W DE8800256 W DE 8800256W WO 8809554 A1 WO8809554 A1 WO 8809554A1
- Authority
- WO
- WIPO (PCT)
- Prior art keywords
- address
- addresses
- word
- test
- data
- Prior art date
Links
- 238000000034 method Methods 0.000 title claims abstract description 26
- 238000012360 testing method Methods 0.000 claims abstract description 90
- 230000015654 memory Effects 0.000 claims description 82
- 230000006870 function Effects 0.000 claims description 4
- 210000000352 storage cell Anatomy 0.000 abstract 2
- 230000002950 deficient Effects 0.000 abstract 1
- 238000010586 diagram Methods 0.000 description 11
- 230000008878 coupling Effects 0.000 description 10
- 238000010168 coupling process Methods 0.000 description 10
- 238000005859 coupling reaction Methods 0.000 description 10
- 238000010998 test method Methods 0.000 description 6
- 230000000295 complement effect Effects 0.000 description 3
- 230000000694 effects Effects 0.000 description 3
- 238000005516 engineering process Methods 0.000 description 3
- 230000002457 bidirectional effect Effects 0.000 description 2
- 238000011161 development Methods 0.000 description 2
- 230000018109 developmental process Effects 0.000 description 2
- 230000003068 static effect Effects 0.000 description 2
- 230000001174 ascending effect Effects 0.000 description 1
- 230000006399 behavior Effects 0.000 description 1
- 238000001514 detection method Methods 0.000 description 1
- 229920000747 poly(lactic acid) Polymers 0.000 description 1
- 238000011084 recovery Methods 0.000 description 1
Classifications
-
- G—PHYSICS
- G11—INFORMATION STORAGE
- G11C—STATIC STORES
- G11C29/00—Checking stores for correct operation ; Subsequent repair; Testing stores during standby or offline operation
- G11C29/04—Detection or location of defective memory elements, e.g. cell constructio details, timing of test signals
- G11C29/08—Functional testing, e.g. testing during refresh, power-on self testing [POST] or distributed testing
- G11C29/10—Test algorithms, e.g. memory scan [MScan] algorithms; Test patterns, e.g. checkerboard patterns
-
- G—PHYSICS
- G11—INFORMATION STORAGE
- G11C—STATIC STORES
- G11C29/00—Checking stores for correct operation ; Subsequent repair; Testing stores during standby or offline operation
- G11C29/02—Detection or location of defective auxiliary circuits, e.g. defective refresh counters
Definitions
- the invention relates to a method and an arrangement for executing a self-test of a word-by-word organized RAM, the memory cells of which are addressable by word.
- the test path method which is increasingly used in logic-oriented VLSI chips, can also be used to test such RAMs. With this technique, addresses, data and control samples are inserted via the test path. The read data can be pushed out again in the same way. The additional hardware effort required for this is small, but the test time increases very much. It is also not possible to test with the operating frequency.
- the object on which the invention is based is to specify a method and an arrangement with the aid of which a self-test of a RAM can be carried out.
- the proposed method and the proposed arrangement for implementation thus completely dispense with a test path. It is sufficient to apply a test signal from the outside and to evaluate the test result signal.
- the test logic on the chip required for the self-test is ensured by a self-test method during test operation.
- the additional hardware effort compared to the test path method is compensated for by not using the test path.
- FIG. 1 shows a block diagram of the arrangement required for testing a RAM
- FIG. 2 shows an exemplary embodiment of a RAM
- FIG. 3 shows a flowchart of the test method
- FIG. 4 shows an embodiment of an address counter
- FIG. 5 shows an execution of a data inverter
- 6 shows a block diagram of a test control
- FIG. 7 shows the sequence control of the test control in the circuit diagram
- 8 a clock generator of the test control in the circuit diagram
- 9 is a timing chart showing the sequence of a read and write step.
- FIGS. 10 and 11 shows the interconnection of several test circuits according to FIGS. 10 and 11.
- test time and degree of error detection play an important role.
- test time and degree of error detection play an important role.
- the self-test logic must also be checked.
- a RAM memory corresponding to FIG. 2 is assumed to illustrate these errors.
- the memory cells that are used to hold a bit can be addressed word by word and are used to store date words or parts thereof.
- a data word in the memory SP is controlled via a word decoder WD, are selected via the word lines WL and via a column decoder SPD, via which the memory cells assigned to a data word are selected.
- Access to a data word in the memory SP takes place via an address A, which consists, for example, of bits, so that 2 m data words can be addressed in the memory SP.
- the word width can be, for example, n bits, so that a memory cell assigned to a data word is provided for each memory segment SG.
- the addressing of the memory cells in the segment SG can be done with the help of b bits of the address A, so that 2 memory cells per word line can be addressed.
- the data words to be written into the memory SP are fed to the memory SP according to FIG. 2 via a data bus DI and via a write logic SL via the column decoder SPD; the data words read out are fed to a data bus DA via the column decoder SPD and a reading logic LL.
- the data bus DI and DA can be combined in a bidirectional data bus.
- a coupling on the word lines influences two memory cells on the same bit line. The same value is written in both memory cells. When reading, depending on the technology, this leads to an AND or OR link at the output. In the case of a coupling between the bit line and the inverted bit line of the neighboring cell, these are described with mutually identified data. No linkage takes place during reading, since the column decoder SPD only switches through one bit line.
- One or more memory cells are short-circuited.
- the content of the memory cells is the one that was last written in one of the memory cells.
- One or more memory cells lose their content if other memory cells are accessed after writing to a memory cell.
- Errors can also occur in the decoder logic, consisting of the word decoder WD and the column decoder SPD.
- the decoders select the addressed memory cell. A faulty behavior can lead to no, one wrong or several memory cells being selected at the same time: in the word decoder WD either a word line WL is selected continuously or never if there is a stuck-at-0/1 error. This causes the line to either stay on 0 or always 1.
- Such errors in the column decoder SPD falsify the read and write data.
- Short-circuit and coupling errors in the word decoder WD address several memory cells simultaneously.
- the data bits are linked.
- Short circuits and coupling errors require different logic levels on physically adjacent data lines in order to recognize them.
- a second step PH1 the addresses RA stored in the word-wise organized memory cells are successively read out, compared with the assigned address A and at the same time the inverted address A 'is written into the addressed memory cell as data word WA 1 .
- the first memory cell with address A 1, read out the previously written address RA and then write this address inverted as data word WA '. This takes place again in succession in the specified order until the memory cells assigned to the address AN have been operated in this way.
- the previously written inverted addresses RA ' are again read out in succession in the specified order, compared with the assigned address and then the correct address is rewritten as data word WA. This takes place again in succession up to the last address AN.
- step PH3 the process described is repeated in the reverse order. Now on, with the last address started, read out the addressed by this address data RA word in the store SP and with the zugeord ⁇ Neten address cf. e cozy and then data word WA 1 registered as the inverted address. This continues until at the end the data word addressed by the address AI has been read out in the memory field SP and the inverted address AI has been written in as the data word WA '.
- step PHA the data words RA 'written in step PH3 are again read out in reverse order and compared with the assigned address, and the assigned addresses are then written in again as data word WA.
- steps PH in the memory field SP only proceed to the memory cells of the next address when the data word RA or RA 1 has been read out from the memory cells of the previous address and the address WA or WA 1 has been written in as the data word. In this way it is achieved that the influence of other memory cells caused by the writing of the data word WA or WA 1 due to errors is recognized in the subsequent read operations.
- the sequence of addressing the individual memory words in the memory field SP is arbitrary, but a sequence once selected must then be followed.
- the addresses of the memory cells assigned to a data word are thus used as the " test pattern for checking the RAM. If the data width is smaller than the address width, only part of the address is used as the test pattern. With a wider data word, the address bits are used several times.
- the method detects coupling errors and short circuits in the column decoder as well as in the read and write logic. All four bit combinations occur here between any two data bits. Since each memory cell contains the 0 and the 1 at least once during the test, stuck-at-0 / l errors in the memory field SP and on the data lines can be easily recognized. Such errors on the address and word lines are recognized by the control process before each writing of the data word WA. The one-sided couplings can be found by writing both data values 0 and 1 in ascending and descending address direction. These are recognized on the bit and data lines, since all four combinations of data types are created between the data lines.
- FIG. 1 An arrangement for carrying out the self-test in accordance with the described method can be found in FIG. 1.
- the memory RAM which can be constructed in accordance with FIG. 2, for example, is already present on the chip.
- the self-test logic requires an address counter AZ, a data inverter INV, a test circuit CH, a test controller ST.
- a driver stage TR is advantageous and an EXCLUSIVE OR gate AQ1, an OR gate OG and an error flip-flop EFF can be connected to the test circuit CH.
- the circuits AQ1, OG and E-FF can of course also be contained in the test circuit CH or be implemented in some other way.
- addresses A e.g. generated by 8 bits and fed to the memory RAM via the address bus. Part of this address, e.g. 4 bits are transferred to the memory RAM via a data bus DB.
- This part AI of the address is then written under the address A in the memory RAM.
- this address part AI can be written into the memory RAM under the address A inverted or non-inverted.
- This address part is simultaneously fed to the test circuit CH via the bus DI.
- the address part stored in the RAM memory can be read out when addressing with the aid of the address A, can be fed to the test circuit CH via the data bus DA and can be compared there with the address part supplied via the data bus DI. If there are differences in this comparison, then there is an error.
- the sequence in the self-test is carried out with the aid of the test control ST, which for this purpose receives control commands STS from the outside.
- bidirectional data buses DA are used, via which an address part AI is inserted into the memory RAM can be written or this address can be read out of the memory RAM again.
- the address counter AZ can be constructed.
- the address counter AZ can be a binary counter. 4 shows an implementation with the aid of a feedback shift register. All that is necessary for the method is that a fixed sequence of addresses is run through. However, this must also be able to be traversed in the opposite direction.
- Such a counter can be easily constructed with a shift register SR, which can be shifted in both directions and loaded in parallel.
- the NOR gate NR1, NR2 used in the feedback RL ensures that the O state is inserted in the shift register SR.
- the output of the shift register SR outputs the addresses A, which are fed to the memory RAM via the address bus ABI.
- Some of the address lines in the address bus ABI are used for the shift register SR for feedback and lead to an EXOR circuit AQ2, AQ3.
- a line RL leads from the EXOR circuit AQ2 to the input C-UP of the shift register SR, from the EXOR circuit AQ3 a line RL leads to the input C-DO of the shift register SR.
- the circuits NR1, AQ2 are in operation when the shift register SR counts up, the circuits NR2, AQ2 are in operation when the shift register SR counts down.
- lines AK to the EXOR circuit AQ2 lines AK + 1 to the EXOR circuit AQ3 are led from the address lines in the address bus ABI.
- the order of the addresses A generated by the shift register SR can be determined with the aid of the address lines used from the address A.
- the shift register SR can be loaded with an external address AX via the address bus AB, in order then as Address register to be used in normal operation.
- the addresses AO to Am-1 appear, which are fed to the memory RAM via the address bus ABI.
- a circuit SC which uses the output signal from the NOR gate NR1, a signal UP to determine the up-counting and the address signal Am-1 to determine whether a run has ended.
- Control signals are fed to the shift register SR in order to stop its operation.
- the control signal UP specifies that the shift register counts up
- the signal DO specifies that the shift register counts down
- the signal RCH specifies that the shift register is reset
- the LOAD signal that the shift register with the external address AX is loaded.
- the shift clock of the shift register SR is determined with the aid of a clock signal CLKA.
- An error in the address counter AZ is not recognized itself. However, this has no disadvantageous consequences, since such an error leads to an incorrect data comparison and is therefore recognized in any case.
- An error either means that only one counting direction is affected or the final state no longer occurs. The first case is recognized when passing through the second direction. The missing end signal is recognized from the outside.
- FIG. 5 An embodiment of the data inverter INV is shown in FIG. 5.
- the data inverter INV is connected to address lines of the bus DB, for example for the address AO to An-1, and either outputs the assigned address bit not inverted or inverted as signals DO to D ⁇ -1 from.
- EXCLUSIVE OR link AQ5 and a driver link TR provided.
- This circuit is also not self-checking. Stuck-at errors on the control lines for IN and ENA or on the EXOR outputs, as well as the driver elements, however, mean that data bits are never or permanently inverted. This is recognized in the test circuit. A stuck-at error at the address input of the EXOR gate AQ5 is not recognized because the input is inverted correctly. A single error does not disturb the method, however, since a complementary data combination still occurs between this data line and the other data lines.
- the inverter INV can be used in the form shown.
- the sequence of the self-test is controlled by the test control ST.
- This is according to the block diagram of FIG. '6 from a sequence control KA and a timing generator TG.
- Control signals STS are supplied to the test control from the outside, such as a clock signal CLK, a signal TM for setting the test mode, a signal R / W to determine whether writing or reading is carried out and a signal RN for resetting the circuits of the Test logic.
- the end signal E is supplied by the binary counter.
- the test controller generates clock signals CLKA, CLKB, internal write and read signals R / WI, a trigger signal ENA and a reset signal RCH from these control signals.
- the test controller also generates control signals such as the control signal UP for the upward counting of the address counter, the control signal DO for the downward counting, the control signal IN for the inversion of the data inverter and the signal TE for the end of the test. Finally there the sequence control KA signals YO through Y3, which are fed to the test circuit CH and which enables the test circuit to determine whether the test control part ST is working correctly.
- FIG. 8 A circuit diagram of the clock generator TG is shown in FIG. 8, and a circuit diagram of the sequence control KA is shown in FIG. 7.
- the circuit diagrams are constructed using conventional components. Furthermore, the signals are drawn in, so that the circuit diagrams of FIGS. 7 and 8 can be used to easily determine how the signals STS and the end signal E are generated from the control signals STS and the end signal E which are output at the output of the test controller.
- the time diagram of FIG. 9 shows once again how a reading step and a writing step follow one another.
- the reading step is denoted by R, the writing step by W.
- the write step W is followed by a recovery phase RG for the memory.
- the data comparison between the read address and the assigned address is carried out at point DV. It can be seen from the time diagram how address A is created as a function of the clock signal CLKA and how data DI is written and data DA read out.
- the data comparison D takes place as a function of the clock signal CLKB.
- the R / WI signal determines whether reading or writing is carried out.
- the test circuit CH can be seen in FIGS. 10 and 11, the interconnection of which is shown in FIG. 12. Since the inverted read data are written back into the RAM, the test circuit must check this inversion.
- the test signal arrangement RT of FIG. 10 is provided for this. This has two groups of inputs A and B.
- the inputs A are the address signals which are supplied via the line DI Signals B, the signals which are supplied by the memory RAM via the line DA.
- the data comparison is carried out in the circuit arrangement of FIG. 10 and it is determined whether there is an error. 10
- the two outputs F and G are complementary to one another, as long as all input pairs A, B are complementary and the test circuit does not contain any errors. If there are more inputs than four according to FIG. 10, the circuit arrangement according to FIG. 10 must be interconnected to form a tree according to FIG. 12. A circuit arrangement with 12 inputs is shown there.
- the test circuit CH also includes a circuit arrangement CH1 for checking that the test control ST is free of errors. This is carried out according to FIG. 11.
- the test controller controls the individual steps of the test method with the aid of a two out of four codes. It requires six code words, which can be constructed in such a way that an error in one code word always means that this code word does not lead to another permitted code word. 11, the four bits Y0 to Y3 of the code words are checked to determine whether they belong to an allowed code word or to an illegal code word.
- the output signals ZI and Z2 of this circuit arrangement are also fed to a test signal circuit RT in accordance with FIG. 10.
- the signals F, G are evaluated by the EXCLUSIVE OR circuit AQ1 and lead to the setting of the error flip-flop E-FF if an error signal is present. This then outputs the error signal G0.
- test is carried out at the operating frequency, -it can be integrated into a system test.
- the self-test hardware should as far as possible not influence the normal operation of the RAM.
- all test path technologies start from input and output registers in the data path, which can worsen the access times.
- the procedure described here does not require a test bus or data register. Therefore normal operation is not affected.
Landscapes
- For Increasing The Reliability Of Semiconductor Memories (AREA)
- Tests Of Electronic Circuits (AREA)
Abstract
The RAM self-check is performed using a test algorithm in the following steps: in the word-oriented storage cells, the corresponding addresses are stored consecutively in a given sequence, the stored addresses are then read and compared with the absolute addresses and the inverted addresses are coded simultaneously. The stored inverted addresses are then read in the given sequence and compared with the relevant addresses, and the addresses are again coded simultaneously. This process is then carried out in reverse. Defective functioning of the store can be detected by comparison of the addresses read from the word-oriented storage cells with the relevant addresses.
Description
Verfahren und Anordnung zur Ausführung eines Selbsttestes eines wortweise organisierten RAMs Method and arrangement for executing a self-test of a word-wise organized RAM
Die Erfindung bezieht sich auf ein Verfahren und eine Anord¬ nung zur Ausführung eines Selbsttestes eines wortweise organi¬ sierten RAM, dessen Speicherzellen wortweise adressierbar sind.The invention relates to a method and an arrangement for executing a self-test of a word-by-word organized RAM, the memory cells of which are addressable by word.
Durch den Einsatz moderner Entwickluπgswerkzeuge für VLSI- Bausteine (CAD Verfahren) und Fortschritte in der Technologie können heute komplexe, hierarchische Strukturen auf einem Chip integriert werden. Auch Semicustom Entwurfsysteme bieten inzwischen die Möglichkeit, komplexe Schaltungen wie PLAs, ROMs oder RAMs auf einem Chip mit unterzubringen. Da sehr viele VLSI Bausteine programmierbare Prozessoren enthalten, sind dort RAMs unerläßlich. Solche RAMs, bei denen die Adreß- Daten-und Steuersignale nicht durch die Anschlußstife des Chips direkt zugänglich sind, sind schwer zu testen, wenn die Testmuster über Eingabe/Ausgabe Anschlußstifte und dazwischen liegende Logikschaltkreise eingestellt und beobachtet werden müssen. Aus diesem Grunde wurde schon sehr früh versucht, durch spezielle Testschaltungen die Testbarkeit zu erhöhen und damit die Testkosten zu senken.Through the use of modern development tools for VLSI modules (CAD processes) and advances in technology, complex, hierarchical structures can be integrated on a chip today. Semicustom design systems now also offer the option of accommodating complex circuits such as PLAs, ROMs or RAMs on one chip. Since a large number of VLSI chips contain programmable processors, RAMs are indispensable there. Such RAMs, in which the address data and control signals are not directly accessible through the pins of the chip, are difficult to test if the test patterns have to be set and observed via input / output pins and logic circuits in between. For this reason, very early attempts were made to increase testability by means of special test circuits and thus to reduce test costs.
Die Prüfpfadmethode, die bei logikorientierten VLSI Chips ver¬ mehrt Anwendung findet, läßt sich auch zum Testen von solchen RAMs verwenden. Bei dieser Technik werden Adressen, Daten und Kontrollmuster über den Prüfpfad eingeschoben. In gleicher Weise können die Lesedaten wieder ausgeschoben werden. Der dazu erforderliche zusätzliche Hardware-Aufwand ist zwar gering, aber die Testzeit steigt sehr stark an. Auch kann nicht mit der Betriebsfrequenz getestet werden.
Die der Erfindung zugrundeliegende Aufgabe besteht darin, ein Verfahren und eine Anordnung anzugeben, mit deren Hilfe ein Selbsttest eines RAMs durchgeführt werden kann.The test path method, which is increasingly used in logic-oriented VLSI chips, can also be used to test such RAMs. With this technique, addresses, data and control samples are inserted via the test path. The read data can be pushed out again in the same way. The additional hardware effort required for this is small, but the test time increases very much. It is also not possible to test with the operating frequency. The object on which the invention is based is to specify a method and an arrangement with the aid of which a self-test of a RAM can be carried out.
Diese Aufgabe wird bei einem Verfahren der eingangs ange¬ gebenen Art durch die im Kennzeichen des Patentanspruchs 1 angegebenen Schritte gelöst.This object is achieved in a method of the type specified at the outset by the steps specified in the characterizing part of patent claim 1.
Eine Anordnung zur Durchführung dieses Verfahrens ergibt sich aus dem Kennzeichen des Patentanspruchs 3.An arrangement for performing this method results from the characterizing part of patent claim 3.
Weiterbildungen der Erfindung ergeben sich aus den Unter¬ ansprüchen.Further developments of the invention result from the subclaims.
Das vorgeschlagene Verfahren und die zur Durchführung vorge¬ schlagene Anordnung verzichtet somit vollständig auf einen Prüfpfad. Es genügt, von außen ein Testsignal anzulegen und das Testergebnissignal auszuwerten. Die Überprüfung der zum Selbsttest erforderlichen Testlogik auf dem Chip wird durch ein Selbstprüfverfahren während des Testbetriebes sicher¬ gestellt. Der zusätzliche Hardware-Aufwand im Vergleich zur Prüfpfadmethode wird durch den Verzicht auf den Prüfpfad wieder ausgeglichen.The proposed method and the proposed arrangement for implementation thus completely dispense with a test path. It is sufficient to apply a test signal from the outside and to evaluate the test result signal. The test logic on the chip required for the self-test is ensured by a self-test method during test operation. The additional hardware effort compared to the test path method is compensated for by not using the test path.
Anhand eines Ausführungsbeispiels, das in den Figuren dar¬ gestellt ist, wird die Erfindung weiter erläutert. Es zeigen Fig. 1 ein Blockschaltbild der zur Prüfung eines RAMs erfor¬ derlichen Anordnung, Fig. 2 ein Ausführungsbeispiel eines RAMs, Fig. 3 ein Ablaufdiagra m des Prüfverfahrens, Fig. 4 eine Ausführung eines Adreßzählers, Fig. 5 eine Ausführung eines Dateninverters, Fig. 6 ein Blockschaltbild einer PrüfSteuerung, Fig. 7 die Ablaufsteuerung der Prüfsteuerung im Stromlaufplan,
Fig. 8 ein Taktgenerator der Prüfsteuerung im Strom¬ laufplan,The invention is further explained on the basis of an exemplary embodiment which is shown in the figures. 1 shows a block diagram of the arrangement required for testing a RAM, FIG. 2 shows an exemplary embodiment of a RAM, FIG. 3 shows a flowchart of the test method, FIG. 4 shows an embodiment of an address counter, FIG. 5 shows an execution of a data inverter, 6 shows a block diagram of a test control, FIG. 7 shows the sequence control of the test control in the circuit diagram, 8 a clock generator of the test control in the circuit diagram,
Fig. 9 ein Zeitdiagramm, das die Aufeinanderfolge eines Lese- und Schreibschrittes zeigt,9 is a timing chart showing the sequence of a read and write step.
Fig. 10 und 11 eine Ausführung einer Prüfschaltung,10 and 11 an embodiment of a test circuit,
Fig. 12 die Zusammenschaltung von mehreren PrüfSchaltungen nach Fig. 10 und Fig. 11.12 shows the interconnection of several test circuits according to FIGS. 10 and 11.
Bevor auf die Ausführungsbeispiele eingegangen wird, werden die Grundlagen des Speichertestes erläutert. Bei bekannten Speichertestverfahren spielen Testzeit und Fehlererkennungs¬ grad eine wesentliche Rolle. Bei der Auswahl eines Prüfver¬ fahrens und dessen Ausführung mit Hilfe eines Selbsttestes sind noch weitere Faktoren von Bedeutung:Before going into the exemplary embodiments, the basics of the memory test are explained. In known memory test methods, test time and degree of error detection play an important role. When selecting a test method and executing it using a self-test, other factors are important:
-die zusätzliche Prüflogik für den Selbsttest eines RAMs führt zu einer Vergrößerung des- Chipsj sie sollte darum so klein wie möglich sein;-The additional test logic for the self-test of a RAM leads to an increase in the chips- it should therefore be as small as possible;
-durc-h die Selbsttestlogik kann es zu einer Verlängerung der Zugriffszeiten im Normalbetrieb kommen. Diese Verzögerung sollte so gering wie möglich gehalten werden; -da die Testkosten von der Testzeit abhängen, muß diese mög¬ lichst kurz sein;-durc-h the self-test logic, there may be an increase in access times in normal operation. This delay should be kept as low as possible; since the test costs depend on the test time, this must be as short as possible;
-um einen korrekten Ablauf des Selbsttestes zu gewährleisten, muß auch die Selbsttestlogik geprüft werden.-to ensure that the self-test runs correctly, the self-test logic must also be checked.
Trotz der besonderen Anforderungen an den Selbsttest muß der Großteil der bei statischen RAMs auftretenden Fehler erkannt werden. Zur Verdeutlichung dieser Fehler wird ein RAM Speicher entsprechend der Fig. 2 angenommen. Der Speicher nach Fig. 2 weist ein Speicherfeld SP mit n (n=l,2...) Segmenten SGI, SG2 ... SGπ auf. Die Speicherzellen, die zur Aufnahme eines Bits dienen, sind wortweise adressierbar und werden zur Speicherung von Dateπworteπ oder Teilen davon verwendet. Die Ansteuerung eine Datenwortes im Speicher SP erfolgt über einen Wortdecoder WD,
über den Wortleitungen WL ausgewählt werden und über einen Spaltendecoder SPD, über den die einem Datenwort zugeord¬ neten Speicherzellen ausgewählt werden. Der Zugriff zu einem Datenwort im Speicher SP erfolgt über eine Adresse A, die z.B. aus bit besteht, so daß 2m Datenworte im Speicher SP adressierbar sind. Die Wortbreite kann z.B. n bit sein, so daß pro Speichersegment SG eine einem Datenwort zugeordnete Spei¬ cherzelle vorgesehen ist. Die Adressierung der Speicherzellen im Segment SG kann mit Hilfe von b bit der Adresse A erfolgen, so daß 2 Speicherzellen pro Wortleitung adressierbar sind. Die in den Speicher SP einzuschreibenden Datenworte werden nach Fig. 2 über einen Datenbus DI und über eine Schreiblogik SL über den Spaltendecoder SPD dem Speicher SP zugeführt; die ausgelesenen Datenworte werden über den Spaltendecoder SPD und eine Leselogik LL einem Datenbus DA zugeführt. Der Datenbus DI und DA kann in einem bidirekionalen Datenbus zusammengefaßt werden.Despite the special requirements for the self-test, the majority of the errors occurring with static RAMs must be recognized. A RAM memory corresponding to FIG. 2 is assumed to illustrate these errors. 2 has a memory field SP with n (n = 1, 2 ...) segments SGI, SG2 ... SGπ. The memory cells that are used to hold a bit can be addressed word by word and are used to store date words or parts thereof. A data word in the memory SP is controlled via a word decoder WD, are selected via the word lines WL and via a column decoder SPD, via which the memory cells assigned to a data word are selected. Access to a data word in the memory SP takes place via an address A, which consists, for example, of bits, so that 2 m data words can be addressed in the memory SP. The word width can be, for example, n bits, so that a memory cell assigned to a data word is provided for each memory segment SG. The addressing of the memory cells in the segment SG can be done with the help of b bits of the address A, so that 2 memory cells per word line can be addressed. The data words to be written into the memory SP are fed to the memory SP according to FIG. 2 via a data bus DI and via a write logic SL via the column decoder SPD; the data words read out are fed to a data bus DA via the column decoder SPD and a reading logic LL. The data bus DI and DA can be combined in a bidirectional data bus.
Der RAM Speicher nach Fig. 2 ist bekannt, so daß auf seine Funktion nicht näher eingegangen werden muß.The RAM memory of Fig. 2 is known, so that its function need not be discussed in detail.
Für ein solches Speichermodell sollen beim Test Kurzschlüsse, unterbrochene Leitungen, Koppelfehler sowie Haltefehler er¬ kannt werden, zu dem Fehler, die eine Grundlage darin haben, daß eine Leitung z.B. immer auf logisch 1 oder auf logisch 0 liegt (stuck-at O/l-Fehler). Die Fehler können jeweils in den einzelnen Blöcken des RAMs verschiedene Auswirkungen haben. Da Fehler im Speicherfeld am häufigsten auftreten, wird auf sie näher eingegangen. Viele Fehler in der restlichen Selbsttest¬ logik lassen sich ebenfalls auf solche Fehler abbilden: -Eine oder mehrere Speicherzellen liegen ständig auf 0 bzw. 1. -Ein oder mehrere Paare benachbarter Speicherzellen sind mit¬ einander gekoppelt. Das bedeutet, daß beim Zugriff auf eine Speicherzelle ebenfalls eine der benachbarten Speicherzellen
beeinflußt wird. Dies setzt nicht die entsprechende Kopp¬ lung in umgekehrter Richtung voraus. Bei dieser Art der Kopplung lassen sich zwei Fälle unterscheiden. Eine Kopp¬ lung auf den Wortleitungen beeinflußt zwei Speicherzellen auf derselben Bitleitung. Es wird dabei in beiden Speicher¬ zellen der gleiche Wert geschrieben. Beim Lesen führt dies je nach Technologie zu einer UND- bzw. ODER-Verknüpfung am Ausgang. Bei einer Kopplung zwischen Bit-und invertierter Bitleitung der Nachbarzelle werden diese mit zueinander iπ- viertierten Daten beschrieben. Beim Lesen findet keine Ver¬ knüpfung statt, da der Spaltendecoder SPD nur eine Bitlei¬ tung durchschaltet.For such a memory model, short circuits, interrupted lines, coupling errors and holding errors should be detected during the test, to the errors, which are based on the fact that a line is, for example, always at logical 1 or at logical 0 (stuck-at O / l -Error). The errors can have different effects in the individual blocks of RAM. Since errors occur most frequently in the memory field, they are discussed in more detail. Many errors in the remaining self-test logic can also be mapped to such errors: one or more memory cells are always 0 or 1. One or more pairs of adjacent memory cells are coupled to one another. This means that when a memory cell is accessed, one of the neighboring memory cells also being affected. This does not require the corresponding coupling in the opposite direction. With this type of coupling, two cases can be distinguished. A coupling on the word lines influences two memory cells on the same bit line. The same value is written in both memory cells. When reading, depending on the technology, this leads to an AND or OR link at the output. In the case of a coupling between the bit line and the inverted bit line of the neighboring cell, these are described with mutually identified data. No linkage takes place during reading, since the column decoder SPD only switches through one bit line.
-Eine oder mehrere Speicherzellen sind kurzgeschlossen. Der Inhalt der Speicherzellen ist derjenige, der als letztes in einer der Speicherzellen geschrieben wurde.-One or more memory cells are short-circuited. The content of the memory cells is the one that was last written in one of the memory cells.
-Eine oder mehrere Speicherzellen verlieren ihren Inhalt, wenn nach dem Beschreiben einer Speicherzelle Zugriffe auf andere Speicherzellen durchgeführt werden.One or more memory cells lose their content if other memory cells are accessed after writing to a memory cell.
Nicht betrachtet werden hier Nachbarschaftsfehler, bei denen mehr als zwei Speicherzellen beteiligt sind. Diese spielen im Gegensatz zu dynamischen Speichern bei den hier betrachteten statischen Speichern eine untergeordnete Rolle.Neighborhood errors in which more than two memory cells are involved are not considered here. In contrast to dynamic memories, these play a subordinate role in the static memories considered here.
In der Decoderlogik, bestehend aus dem Wortdecoder WD und dem Spaltendecoder SPD können ebenfalls Fehler auftreten. Die De¬ coder wählen die adressierte Speicherzelle aus. Ein fehler¬ haftes Verhalten kann dazu führen, daß keine, eine falsche oder mehrere Speicherzellen gleichzeitig ausgewählt werden: -Im Wortdecoder WD wird entweder eine Wortleitung WL ständig oder nie ausgewählt, wenn ein Stuck-at-0/1 Fehler vor¬ liegt. Dieser bewirkt, daß die Leitung entweder ständig auf
0 oder ständig auf 1 liegt. Solche Fehler bewirken im Spaltendecoder SPD eine Verfälschung der Lese- und Schreib¬ daten.Errors can also occur in the decoder logic, consisting of the word decoder WD and the column decoder SPD. The decoders select the addressed memory cell. A faulty behavior can lead to no, one wrong or several memory cells being selected at the same time: in the word decoder WD either a word line WL is selected continuously or never if there is a stuck-at-0/1 error. This causes the line to either stay on 0 or always 1. Such errors in the column decoder SPD falsify the read and write data.
-Kurzschluß-und Koppelfehler im Wortdecoder WD sprechen wie¬ der mehrere Speicherzellen gleichzeitig an. Im "-Spaltendeco¬ der SPD kommt es zu einer Verknüpfung der Datenbits.Short-circuit and coupling errors in the word decoder WD address several memory cells simultaneously. In the " column decoder of the SPD, the data bits are linked.
In der Schreib- und Leselogik SL wirken sich Stuck-at-0/1 Fehler wie solche im Speicherfeld aus und sind leicht erkenn¬ bar.In the write and read logic SL, stuck-at-0/1 errors have the same effect as those in the memory field and are easily recognizable.
-Kurzschlüsse und Koppelfehler verlangen unterschiedliche lo¬ gische Pegel auf physikalisch benachbarten Datenleitungen, um sie zu erkennen.Short circuits and coupling errors require different logic levels on physically adjacent data lines in order to recognize them.
Um die erläuterten Fehler im RAM zu erkennen, wird nach fol¬ gendem in Fig. 3 dargestellten Verfahren vorgegangen: In einem ersten Schritt INIT werden aufeinanderfolgend in fest gelegter Reihenfolge als Datenworte die jeweilige Adresse WA oder ein Teil davon in die den Adressen zugeordneten Spei¬ cherzellen eingeschrieben. Zum Beispiel wird die Adresse A = 1 in die Speicherzellen, die dieser Adresse zugeordnet sind, eingeschrieben, anschließend die Adresse zwei oder ein Teil davon in die Speicherzellen eingeschrieben, die von dieser Adresse A = 2 adressiert werden usw. bis am Schluß die Adresse An in die Speicherzellen eingeschrieben wird, die die¬ ser Adresse zugeordnet sind.In order to recognize the explained errors in the RAM, the following procedure is shown in FIG. 3: In a first step INIT, the respective address WA or a part thereof are successively in a fixed order as data words in the memory assigned to the addresses Cher cells enrolled. For example, the address A = 1 is written into the memory cells which are assigned to this address, then the address two or a part thereof is written into the memory cells which are addressed by this address A = 2 and so on until finally the address An is written into the memory cells which are assigned to this address.
In einem zweiten Schritt PH1 werden aufeinanderfolgend in der festgelegten Reihenfolge die in den wortweise organisierten Speicherzellen gespeicherten Adressen RA ausgelesen, mit der zugeordneten Adresse A verglichen und gleichzeitig die inver¬ tierte Adresse A' als Datenwort WA1 in die adressierte Speicherzelle eingeschrieben. Somit wird in die erste Speicher-
zelle mit der Adresse A = 1 die vorher eingeschriebene Adresse RA ausgelesen und anschließend diese Adresse invertiert als Datenwort WA' eingeschrieben. Dies erfolgt wieder aufein¬ anderfolgend in der festgelegten Reihenfolge bis die der Adres¬ se AN zugeordneten Speicherzellen auf diese Weise betrieben worden sind.In a second step PH1, the addresses RA stored in the word-wise organized memory cells are successively read out, compared with the assigned address A and at the same time the inverted address A 'is written into the addressed memory cell as data word WA 1 . Thus, the first memory cell with address A = 1, read out the previously written address RA and then write this address inverted as data word WA '. This takes place again in succession in the specified order until the memory cells assigned to the address AN have been operated in this way.
Im dritten Schritt PH2 werden aufeinanderfolgend wiederum in der festgelegten Reihenfolge die vorher eineschriebenen inver¬ tierten Adressen RA ' ausgelesen, mit der zugeordneten Adresse verglichen und anschließend als Datenbwort WA die richtige Adresse wieder eingeschrieben. Dies erfolgt wieder aufeinander¬ folgend bis zur letzten Adresse AN.In the third step PH2, the previously written inverted addresses RA 'are again read out in succession in the specified order, compared with the assigned address and then the correct address is rewritten as data word WA. This takes place again in succession up to the last address AN.
Im vierten Schritt PH3 wiederholt sich der erläuterte Vor¬ gang in umgekehrter Reihenfolge. Jetzt wird mit der letzten Adresse AN begonnen, das von dieser Adresse AN adressierte Datenwort RA im Speicher SP ausgelesen und mit der zugeord¬ neten Adresse vergleichen und anschließend als Datenwort WA1 die invertierte Adresse AN eingeschrieben. Dies setzt sich fort bis am Schluß das von der Adresse AI adressierte Datenwort im Speicherfeld SP ausgelesen worden ist und als Datenwort WA' die invertierte Adresse AI eingeschrieben worden ist.In the fourth step PH3, the process described is repeated in the reverse order. Now on, with the last address started, read out the addressed by this address data RA word in the store SP and with the zugeord¬ Neten address cf. e cozy and then data word WA 1 registered as the inverted address. This continues until at the end the data word addressed by the address AI has been read out in the memory field SP and the inverted address AI has been written in as the data word WA '.
Im letzten Schritt PHA wird wiederum in umgekehrter Reihen¬ folge die im Schritt PH3 eingeschriebenen Datenworte RA ' aus¬ gelesen und mit der zugeordneten Adresse verglichen und an¬ schließend wieder als Datenwort WA die zugeordneten Adres¬ sen eingeschrieben.In the last step PHA, the data words RA 'written in step PH3 are again read out in reverse order and compared with the assigned address, and the assigned addresses are then written in again as data word WA.
Wesentlich ist, daß bei den Schritten PH im Speicherfeld SP erst zu den Speicherzellen der nächsten Adresse fortgeschrit¬ ten wird, wenn aus den Speicherzellen der vorhergehenden Adresse das Datenwort RA oder RA1 ausgelesen worden ist und
als Datenwort die Adresse WA oder WA1 eingeschrieben wor¬ den ist. Auf diese Weise wird erreicht, daß die durch das Einschreiben des Datenwortes WA bzw. WA1 aufgrund von Fehlern bedingte Beeinflussung von anderen Speicherzellen in den darauffolgenden Lesevorgängen erkannt wird.It is essential that the steps PH in the memory field SP only proceed to the memory cells of the next address when the data word RA or RA 1 has been read out from the memory cells of the previous address and the address WA or WA 1 has been written in as the data word. In this way it is achieved that the influence of other memory cells caused by the writing of the data word WA or WA 1 due to errors is recognized in the subsequent read operations.
Die Reihenfolge der Adressierung der einzelnen Speicherworte im Speicherfeld SP ist beliebig, jedoch muß eine einmal ge¬ wählte Reihenfolge dann eingehalten werden.The sequence of addressing the individual memory words in the memory field SP is arbitrary, but a sequence once selected must then be followed.
Als" Testmuster zur Überprüfung des RAMs werden somit die Adressen der einem Datenwort zugeordneten Speicherzellen verwendet. Ist die Datenbreite kleiner als die Adreßbreite, so wird nur ein Teil der Adresse als Testmuster verwendet. Bei einem breiteren Datenwort werden die Adreßbits mehrmals verwendet.The addresses of the memory cells assigned to a data word are thus used as the " test pattern for checking the RAM. If the data width is smaller than the address width, only part of the address is used as the test pattern. With a wider data word, the address bits are used several times.
Mit dem Verfahren werden Koppelfehler und Kurzschlüsse im Spaltendecoder sowie in der Lese- und Schreiblogik erkannt. Zwischen zwei beliebigen Datenbits treten hier alle vier Bitkombinationen auf. Da jede Speicherzelle während des Tests mindestens einmal die 0 und die 1 enthält, lassen sich Stuck-at-O/l-Fehler im Speicherfeld SP und auf den Da¬ tenleitungen leicht erkennen. Solche Fehler auf den Adreß- und Wortleitungen werden durch den Kontrollesevorgang vor jedem Schreiben des Datenwortes WA erkannt. Durch das Schreiben beider Datenwerte 0 bzw. 1 in aufsteigender und fallender Adreßrichtung können die einseitigen Kopplungen gefunden werden. Auf den Bit- "und Datenleitungen werden diese erkannt, da zwischen den Datenleitungen alle vier Kombina¬ tionen von Daten ustεrn angelegt werden. Kurzschlüsse werden noch einfacher als Koppelfehler erkannt, da sie nicht einsei¬ tig wirken. Haltefehler werden erkannt, da zwischen dem Be¬ schreiben einer Speicherzelle und dem Kontrollesen jeweils andere Worte angesprochen werden.
Eine Anordnung zur Durchführung des Selbsttestes ent¬ sprechend dem beschriebenen Verfahren kann der Fig. 1 entnommen werden. Der Speicher RAM, der z.B. entsprechend Fig. 2 aufgebaut sein kann, ist auf dem Chip bereits vor¬ handen. Zusätzlich erfordert die Selbsttestlogik einen Adreßzähler AZ, einen Dateninverter INV, eine Prüfschaltung CH, eine Prüfsteuerung ST. Zusätzlich ist eine Treiberstufe TR vorteilhaft und an die Prüfschaltung CH kann ein EXKLUSIV ODER Glied AQ1, ein ODER Glied OG und ein Fehlerflipflop EFF angeschlossen sein. Die Schaltungen AQ1, OG und E-FF können selbstverständlich auch in der Prüfschaltung CH enthalten sein oder in anderer Weise ausgeführt sein.The method detects coupling errors and short circuits in the column decoder as well as in the read and write logic. All four bit combinations occur here between any two data bits. Since each memory cell contains the 0 and the 1 at least once during the test, stuck-at-0 / l errors in the memory field SP and on the data lines can be easily recognized. Such errors on the address and word lines are recognized by the control process before each writing of the data word WA. The one-sided couplings can be found by writing both data values 0 and 1 in ascending and descending address direction. These are recognized on the bit and data lines, since all four combinations of data types are created between the data lines. Short circuits are identified even more easily as coupling errors, since they do not have a one-sided effect ¬ write a memory cell and the control reading each other words are addressed. An arrangement for carrying out the self-test in accordance with the described method can be found in FIG. 1. The memory RAM, which can be constructed in accordance with FIG. 2, for example, is already present on the chip. In addition, the self-test logic requires an address counter AZ, a data inverter INV, a test circuit CH, a test controller ST. In addition, a driver stage TR is advantageous and an EXCLUSIVE OR gate AQ1, an OR gate OG and an error flip-flop EFF can be connected to the test circuit CH. The circuits AQ1, OG and E-FF can of course also be contained in the test circuit CH or be implemented in some other way.
Mit Hilfe des Adreßzählers AZ werden in der festgelegten Reihenfolge Adressen A, z.B. von 8 Bit erzeugt und über den Adreßbus dem Speicher RAM zugeführt. Ein Teil dieser Adresse, z.B. 4 Bit, werden über einen Datenbus DB zum Speicher RAM übertragen. Dieser Teil AI der Adresse wird dann unter der Adresse A im Speicher RAM eingeschrieben. Mit Hilfe des Dateπinverters INV kann dieser Adreßteil AI invertiert oder nicht invertiert in den Speicher RAM unter der Adresse A eingeschrieben werden. Dieser Adreßteil wird gleichzeitig über den Bus DI auch der Prüfschaltung CH zugeführt. Der im Speicher RAM gespeicherte Adreßteil kann bei Adressierung mit Hilfe der Adresse A ausgelesen werden, über den Datenbus DA der Prüf¬ schaltung CH zugeführt werden und dort mit dem über den Daten¬ bus DI zugeleiteten Adreßteil verglichen werden. Ergeben sich bei diesem Vergleich Unterschiede, dann liegt ein Fehler vor.With the help of the address counter AZ, addresses A, e.g. generated by 8 bits and fed to the memory RAM via the address bus. Part of this address, e.g. 4 bits are transferred to the memory RAM via a data bus DB. This part AI of the address is then written under the address A in the memory RAM. With the aid of the data inverter INV, this address part AI can be written into the memory RAM under the address A inverted or non-inverted. This address part is simultaneously fed to the test circuit CH via the bus DI. The address part stored in the RAM memory can be read out when addressing with the aid of the address A, can be fed to the test circuit CH via the data bus DA and can be compared there with the address part supplied via the data bus DI. If there are differences in this comparison, then there is an error.
Der Ablauf im Selbsttest wird mit Hilfe der Prüfsteuerung ST durchgeführt, die dazu von außen Steuerbefehle STS erhält.The sequence in the self-test is carried out with the aid of the test control ST, which for this purpose receives control commands STS from the outside.
Im Ausführungsbeispiel werden bidirektionale Datenbusse DA ver¬ wendet, über die jeweils ein Adreßteil AI in den Speicher RAM ein
schrieben werden kann bzw. diese Adresse aus dem Speicher RAM wieder ausgelesen werden kann.In the exemplary embodiment, bidirectional data buses DA are used, via which an address part AI is inserted into the memory RAM can be written or this address can be read out of the memory RAM again.
Aus Fig. 4 ergibt sich, wie z.B. der Adreßzähler AZ aufge¬ baut sein kann. Der Adreßzähler AZ kann ein Binärzähler sein. In Fig. 4 ist eine Realisierung mit Hilfe eines rückge¬ koppelten Schieberegisters gezeigt. Für das Verfahren ist näm¬ lich nur notwendig, daß eine feste Reihenfolge der Adressen durchlaufen wird. Diese muß allerdings auch in der entgegen¬ gesetzten Richtung durchlaufen werden können. Ein solcher Zähler läßt sich einfach mit einem Schieberegister SR auf¬ bauen, welches in beide Richtungen schieben, sowie parallel geladen werden kann.From Fig. 4 it follows, e.g. the address counter AZ can be constructed. The address counter AZ can be a binary counter. 4 shows an implementation with the aid of a feedback shift register. All that is necessary for the method is that a fixed sequence of addresses is run through. However, this must also be able to be traversed in the opposite direction. Such a counter can be easily constructed with a shift register SR, which can be shifted in both directions and loaded in parallel.
Das verwendete NOR-Glied NR1, NR2 in den Rückkopplungen RL sorgt dafür, daß der O-Zustand im Schieberegister SR eingefügt wird. Der Ausgang des Schieberegisters SR gibt die Adresen A ab, die über den Adreßbus ABI dem Speicher RAM zugeführt werden. Ein Teil der Adreßleitungen im Adreßbus ABI werden zum Schieberegister SR zur Rückkopplung verwendet und führen zu einer EXOR-Schaltung AQ2, AQ3. Von der EXOR-Schaltung AQ2 führt eine Leitung RL zum Eingang C-UP des Schieberegisters SR, von der EXOR-Schaltung AQ3 eine Leitung RL zum Eingang C-DO des Schieberegisters SR. Die Schaltkreise NR1, AQ2 sind dann in Betrieb, wenn das Schieberegister SR aufwärts zählt, die Schalt¬ kreise NR2, AQ2 sind in Betrieb, wenn das Schieberegister SR abwärts zählt. Dementsprechend werden von den Adreßleitungen im Adreßbus ABI Leitungen AK zur EXOR-Schaltung AQ2, Leitungen AK+1 zur EXOR-Schaltung AQ3 geführt. Mit Hilfe der aus der Adresse A verwendeten Adreßleitungen kann der Reihenfolge der vom Schie¬ beregister SR erzeugten Adressen A festgelegt werden.The NOR gate NR1, NR2 used in the feedback RL ensures that the O state is inserted in the shift register SR. The output of the shift register SR outputs the addresses A, which are fed to the memory RAM via the address bus ABI. Some of the address lines in the address bus ABI are used for the shift register SR for feedback and lead to an EXOR circuit AQ2, AQ3. A line RL leads from the EXOR circuit AQ2 to the input C-UP of the shift register SR, from the EXOR circuit AQ3 a line RL leads to the input C-DO of the shift register SR. The circuits NR1, AQ2 are in operation when the shift register SR counts up, the circuits NR2, AQ2 are in operation when the shift register SR counts down. Accordingly, lines AK to the EXOR circuit AQ2, lines AK + 1 to the EXOR circuit AQ3 are led from the address lines in the address bus ABI. The order of the addresses A generated by the shift register SR can be determined with the aid of the address lines used from the address A.
Das Schieberegister SR kann mit einer externen Adresse AX über den Adreßbus AB geladen werden, um dann als
Adreßregister im Normalbetrieb verwendet zu werden. A Aus¬ gang des Schieberegisters SR erscheinen die Adressen AO bis Am-1, die dem Speicher RAM über den Adreßbus ABI zuge¬ leitet werden.The shift register SR can be loaded with an external address AX via the address bus AB, in order then as Address register to be used in normal operation. At the output of the shift register SR, the addresses AO to Am-1 appear, which are fed to the memory RAM via the address bus ABI.
Schließlich ist noch eine Schaltung SC vorgesehen, die an¬ hand des Ausgangssignals vom NOR-Glied NR1 , eines Signales UP zur Festlegung der Aufwärtszählung und des Adreßsignals Am-1 feststellt, ob ein Durchlauf beendet ist. Dem Schiebe¬ register SR werden Steuersignale zugeführt, um dessen Betrieb einzustellen. Das Steuersignal UP legt fest, daß das Schiebe¬ register aufwärts zählt, das Signal DO legt fest, daß das Schieberegister abwärts zählt, das Signal RCH legt fest, daß das Schieberegister zurückgesetzt wird, das Signal LOAD, daß das Schieberegister mit der externen Adresse AX geladen wird. Mit Hilfe eines Taktsignals CLKA wird der Schiebetakt des Schieberegisters SR festgelegt.Finally, a circuit SC is also provided, which uses the output signal from the NOR gate NR1, a signal UP to determine the up-counting and the address signal Am-1 to determine whether a run has ended. Control signals are fed to the shift register SR in order to stop its operation. The control signal UP specifies that the shift register counts up, the signal DO specifies that the shift register counts down, the signal RCH specifies that the shift register is reset, the LOAD signal that the shift register with the external address AX is loaded. The shift clock of the shift register SR is determined with the aid of a clock signal CLKA.
Ein Fehler im Adreßzähler AZ wird nicht selbst erkannt. Dies hat jedoch keine nachteiligen Folgen, da ein solcher Fehler zu einem fehlerhaften Datenvergleich führt und damit in jedem Fall erkannt wird. Ein Fehler führt entweder dazu, daß entweder nur eine Zählrichtung betroffen ist oder der Endzustand nicht mehr auftritt. Der erste Fall wird beim Durchlaufen der zweiten Richtung erkannt. Das fehlende End¬ signal wird von außen erkannt.An error in the address counter AZ is not recognized itself. However, this has no disadvantageous consequences, since such an error leads to an incorrect data comparison and is therefore recognized in any case. An error either means that only one counting direction is affected or the final state no longer occurs. The first case is recognized when passing through the second direction. The missing end signal is recognized from the outside.
Eine Ausführung des Dateninverters INV zeigt Fig. 5. Der Da- teninverter INV ist an Adreßleitungen des Busses DB angeschlos¬ sen, z.B. für die Adresse AO bis An-1 und gibt am Ausgang das zugeordnete Adreßbit entweder nicht invertiert oder invertiert als Signale DO bis Dπ-1 ab. Dazu ist pro Leitung ein
EXKLUSIV ODER Glied AQ5 und ein Treiberglied TR vorgesehen. Mit Hilfe eines Signals IN kann festgelegt werden, ob das Adreßbit invertiert wird oder nicht, mit Hilfe eines Signals ENA kann festgelegt werden, ob ein Adreßbit an den Speicher RAM angelegt wird oder nicht.An embodiment of the data inverter INV is shown in FIG. 5. The data inverter INV is connected to address lines of the bus DB, for example for the address AO to An-1, and either outputs the assigned address bit not inverted or inverted as signals DO to Dπ-1 from. There is one for each line EXCLUSIVE OR link AQ5 and a driver link TR provided. With the help of a signal IN it can be determined whether the address bit is inverted or not, with the aid of a signal ENA it can be determined whether an address bit is applied to the memory RAM or not.
Auch diese Schaltung ist nicht selbstprüfend. Stuck-at-Fehler auf den Steuerleitungen für IN und ENA oder auf den EXOR-Aus- gängen, sowie den Treibergliedern führen jedoch dazu, daß Datenbits nie bzw. dauernd invertiert werden. Dies wird in der Prüfschaltung erkannt. Ein Stuck-at-Fehler am Adreßeingang des EXOR Gliedes AQ5 wird nicht erkannt, da der Eingang korrekt invertiert wird. Ein einzelner Fehler stört aber das Verfahren nicht, da zwischen dieser Datenleitung und den anderen Daten¬ leitungen immer noch eine komplementäre Datenkombination auf¬ tritt. Der Inverter INV kann in der gezeigten Form verwendet werden.This circuit is also not self-checking. Stuck-at errors on the control lines for IN and ENA or on the EXOR outputs, as well as the driver elements, however, mean that data bits are never or permanently inverted. This is recognized in the test circuit. A stuck-at error at the address input of the EXOR gate AQ5 is not recognized because the input is inverted correctly. A single error does not disturb the method, however, since a complementary data combination still occurs between this data line and the other data lines. The inverter INV can be used in the form shown.
Der Ablauf des Selbsttestes wird durch die Prüfsteuerung ST gesteuert. Diese besteht nach dem Blockschaltbild der Fig.'6 aus einer Ablaufsteuerung KA und einem Taktgenerator TG. Der Prüfsteuerung werden Steuersignale STS von außen zugeführt wie z.B. ein Taktsignal CLK, ein Signal TM zur Einstellung des Prüfbetriebes, ein Signal R/W, um festzulegen, ob ge¬ schrieben oder gelesen wird und ein Signal RN für das Zurück¬ setzen der Schaltkreise der Testlogik. Weiterhin wird das Endesignal E vom Binärzähler zugeführt. Aus diesen Steuer¬ signalen erzeugt die Prüfsteuerung Taktsignale CLKA, CLKB, interne Schreib- und Lesesignale R/WI, ein Auslösesignal ENA und ein Rücksetzsignal RCH. Die Prüfsteuerung erzeugt weiter¬ hin Steuersignale wie das Steuersignal UP für die Aufwärtszäh¬ lung des Adreßzählers, das Steuersignal DO für die Abwärts¬ zählung, das Steuersignal IN für die Invertierung des Daten- Inverters und das Signal TE für Testende. Schließlich gibt
die Ablaufsteuerung KA Signale YO bis Y3 ab, die der Prüfschal¬ tung CH zugeführt werden und die es der Prüfschaltung ermöglicht, festzustellen, ob der Prüfsteuerteil ST fehlerfrei arbeitet.The sequence of the self-test is controlled by the test control ST. This is according to the block diagram of FIG. '6 from a sequence control KA and a timing generator TG. Control signals STS are supplied to the test control from the outside, such as a clock signal CLK, a signal TM for setting the test mode, a signal R / W to determine whether writing or reading is carried out and a signal RN for resetting the circuits of the Test logic. Furthermore, the end signal E is supplied by the binary counter. The test controller generates clock signals CLKA, CLKB, internal write and read signals R / WI, a trigger signal ENA and a reset signal RCH from these control signals. The test controller also generates control signals such as the control signal UP for the upward counting of the address counter, the control signal DO for the downward counting, the control signal IN for the inversion of the data inverter and the signal TE for the end of the test. Finally there the sequence control KA signals YO through Y3, which are fed to the test circuit CH and which enables the test circuit to determine whether the test control part ST is working correctly.
Ein Stromlaufplan des Taktgenerators TG zeigt Fig. 8, ein Stromlaufplan der Ablaufsteuerung KA die Fig. 7. Der Aufbau der Stromlaufpläne erfolgt mit üblichen Bausteinen. Weiterhin sind die Signale eingezeichnet, so daß anhand der Stromlauf¬ pläne der Fig. 7 und der Fig. 8 ohne weiteres festgestellt werden kann, wie aus den Steuersignalen STS und dem Endesignal E die Signale erzeugt werden, die am Ausgang der Prüfsteuerung abgegeben werden.A circuit diagram of the clock generator TG is shown in FIG. 8, and a circuit diagram of the sequence control KA is shown in FIG. 7. The circuit diagrams are constructed using conventional components. Furthermore, the signals are drawn in, so that the circuit diagrams of FIGS. 7 and 8 can be used to easily determine how the signals STS and the end signal E are generated from the control signals STS and the end signal E which are output at the output of the test controller.
Das Zeitdiagramm der Fig. 9 zeigt noch einmal, wie eine Lese¬ schritt und ein Schreibschritt aufeinanderfolgen. Der Lese¬ schritt ist mit R, der Schreibschritt mit W bezeichnet. Auf den Schreibschritt W folgt eine Erholungsphase RG für den Speicher. An der Stelle DV wird der Datenvergleich zwischen der ausgele¬ senen Adresse und der zugeordneten Adresse durchgeführt. Es ist aus dem Zeitdiagramm erkennbar, wie in Abhängigkeit des Taktsigπals CLKA die Adresse A angelegt wird und Daten DI ein¬ geschrieben bzw. Daten DA ausgelesen werden. Der Datenvergleich D erfolgt in Abhängigkeit des Taktsignals CLKB. Ob gelesen wird oder geschrieben wird, wird mit Hilfe des Signals R/WI festgelegt.The time diagram of FIG. 9 shows once again how a reading step and a writing step follow one another. The reading step is denoted by R, the writing step by W. The write step W is followed by a recovery phase RG for the memory. The data comparison between the read address and the assigned address is carried out at point DV. It can be seen from the time diagram how address A is created as a function of the clock signal CLKA and how data DI is written and data DA read out. The data comparison D takes place as a function of the clock signal CLKB. The R / WI signal determines whether reading or writing is carried out.
Die Prüfschaltung CH kann den Fig. 10 und 11, deren Zusammen¬ schaltung der Fig. 12 entnommen werden. Da in das RAM jeweils die invertierten Lesedaten zurückgeschrieben werden, muß die Prüfschaltung diese Invertierung überprüfen. Hierfür ist die Prüfsignalanordnung RT der Fig. 10 vorgesehen. Diese hat zwei Gruppen von Eingängen A und B. Die Eingänge A sind die Adres¬ sensignale, die über die Leitung DI zugeführt werden, die
Signale B, die Signale, die über die Leitung DA vom Speicher RAM geliefert werden. In der Schaltungsanordnung der Fig. 10 wird der Datenvergleich durchgeführt und festgestellt, ob ein Fehler vorliegt. Im Ausführungsbeispiel der Fig. 10 sind die beiden Ausgänge F und G komplementär zueinander, so¬ lange alle Eingangspaare A, B, komplementär sind und die Prüfschaltung keinen Fehler enthält. Bei mehr Eingängen als vier nach Fig. 10 muß die Schaltungsanordnung nach Fig. 10 zu einem Baum nach Fig. 12 zusammengeschaltet werden. Dort ist eine Schaltungsänordnung mit 12 Eingängen gezeigt.The test circuit CH can be seen in FIGS. 10 and 11, the interconnection of which is shown in FIG. 12. Since the inverted read data are written back into the RAM, the test circuit must check this inversion. The test signal arrangement RT of FIG. 10 is provided for this. This has two groups of inputs A and B. The inputs A are the address signals which are supplied via the line DI Signals B, the signals which are supplied by the memory RAM via the line DA. The data comparison is carried out in the circuit arrangement of FIG. 10 and it is determined whether there is an error. 10, the two outputs F and G are complementary to one another, as long as all input pairs A, B are complementary and the test circuit does not contain any errors. If there are more inputs than four according to FIG. 10, the circuit arrangement according to FIG. 10 must be interconnected to form a tree according to FIG. 12. A circuit arrangement with 12 inputs is shown there.
Zur Prüfschaltung CH gehört zudem eine Schaltungsanordnung CH1 zur Überprüfung der Fehlerfreiheit der Prüfsteuerung ST. Diese ist entsprechend der Fig. 11 ausgeführt. Der Prüf¬ steuerung steuert die einzelnen Schritte des Prüfverfah¬ rens mit Hilfe eines zwei aus vier Codes. Er benötigt da¬ zu sechs Codeworte, die derart aufgebaut sein können, daß ein Fehler in einem Codewort immer dazu führt, daß dieses Codewort nicht zu einem anderen erlaubten Codewort führt. Mit Hilfe der Schaltungsanordnung der Fig. 11 werden die vier Bit Y0 bis Y3 der Codeworte daraufhin überprüft, ob sie zu einem erlaubten Codewort gehören oder zu einem nicht erlaubten Codewort. Die Ausgangssignale ZI und Z2 dieser Schaltungsanordnung werden ebenfalls einer Prüfsignal¬ schaltung RT entsprechend der Fig. 10 zugeführt. Die Aus¬ wertung der Signale F, G erfolgt durch die EXKLUSIV ODER Schaltung AQ1 und führt zum Setzen des Fehlerflipflops E-FF, wenn ein Fehlersignal vorliegt. Dieses gibt dann das Fehler¬ signal G0 ab.The test circuit CH also includes a circuit arrangement CH1 for checking that the test control ST is free of errors. This is carried out according to FIG. 11. The test controller controls the individual steps of the test method with the aid of a two out of four codes. It requires six code words, which can be constructed in such a way that an error in one code word always means that this code word does not lead to another permitted code word. 11, the four bits Y0 to Y3 of the code words are checked to determine whether they belong to an allowed code word or to an illegal code word. The output signals ZI and Z2 of this circuit arrangement are also fed to a test signal circuit RT in accordance with FIG. 10. The signals F, G are evaluated by the EXCLUSIVE OR circuit AQ1 and lead to the setting of the error flip-flop E-FF if an error signal is present. This then outputs the error signal G0.
Das beschriebene Selbsttestverfahren bietet für RAM Speicher, die von außen über Anschlußstifte nicht direkt zugänglich sind wesentliche Vorteile:
-Es ist kein Zugang zum RAM über externe Anschlüsse not¬ wendig,The self-test procedure described offers significant advantages for RAM memories that are not directly accessible from the outside via connection pins: No access to the RAM via external connections is necessary,
-der Test erfolgt mit Betriebsfrequenz, -es ist eine Einbindung in einen Systemtest möglich.-the test is carried out at the operating frequency, -it can be integrated into a system test.
Die Selbsttest-Hardware soll den Normalbetrieb des RAMs mög¬ lichst nicht beeinflussen. Alle Prüfpfadtechniken gehen je¬ doch von Ein- und Ausgangsregisterπ im Datenweg aus, was die Zugriffszeiten verschlechtern kann. Das hier beschriebene Verfahren benötigt weder einen Prüfbus noch Datenregister. Da¬ her wird der Normalbetrieb nicht beeinflußt.The self-test hardware should as far as possible not influence the normal operation of the RAM. However, all test path technologies start from input and output registers in the data path, which can worsen the access times. The procedure described here does not require a test bus or data register. Therefore normal operation is not affected.
Durch die implizite Überprüfung der Testlogik während des Testablaufs ist im Gegensatz zu anderen Techniken keine ge¬ sonderte Überprüfung der Test-Hardware nötig. Das Verfahren stellt somit eine sehr einfache und effektive Methode dar, um RAMs zu prüfen.
Due to the implicit checking of the test logic during the test run, in contrast to other techniques, no special checking of the test hardware is necessary. The method is therefore a very simple and effective method for checking RAMs.
Claims
1. Verfahren zur Ausführung eines Selbsttestes eines wort¬ weise organisierten RAMs, dessen Speicherzellen wortweise adressierbar sind, g e k e n n z e i c h n e t durch folgende Schritte:1. Method for executing a self-test of a word-wise organized RAM, the memory cells of which can be addressed word-by-word, by the following steps:
-für alle Adressen wird in die von einer jeweiligen Adresse adressierten Speicherzellen die jeweilige Adresse oder ein Teil davon als Datenwort eingeschrieben und dies aufein¬ anderfolgend für alle Adressen in festgelegter Reihenfolge, -die unter der jeweiligen Adresse als Datenwort gespeicherte Adresse wird ausgelesen und mit der jeweiligen Adresse ver¬ glichen und anschließend die jeweilige Adresse in invertierter Form in die von der jeweiligen Adresse adressierten Speicher¬ zellen eingeschrieben und dies für alle Adressen aufeinander¬ folgend in festgelegter Reihenfolge durchgeführt, -die unter der jeweiligen Adresse gespeicherte invertierte Adresse wird als Datenwort aus den von der jeweiligen Adresse adressierten Speicherzellen ausgelesen und mit der jeweiligen Adresse verglichen und dann die jeweilige Adresse wieder in diese Speicherzellen eingeschrieben und dies wird für alle Adressen aufeinanderfolgend in der festgelegten Reihenfolge durchgeführt,for all addresses, the respective address or a part thereof is written into the memory cells addressed by a respective address as a data word and this in succession for all addresses in a fixed order, the address stored under the respective address as a data word is read out and with the compare the respective address and then write the respective address in inverted form into the memory cells addressed by the respective address and this is carried out for all addresses in succession in a fixed order, the inverted address stored under the respective address being selected as a data word read out the memory cells addressed by the respective address and compare them with the respective address and then write the respective address back into these memory cells and this is carried out successively for all addresses in the specified order,
-die unter den jeweiligen Adressen gespeicherten Datenworte werden entsprechend aufeinanderfolgend, aber in umgekehrter Reihenfolge aus den einzelnen durch die jeweiligen Adressen adressierten Speicherzellen ausgelesen und mit der jeweiligen Adressen verglichen und gleichzeitig die invertierten jeweili¬ gen Adressen eingeschrieben,the data words stored under the respective addresses are read out successively, but in reverse order, from the individual memory cells addressed by the respective addresses and compared with the respective addresses, and the inverted respective addresses are written in at the same time,
-die Datenworte werden entsprechend wortweise aufeinander¬ folgend in umgekehrter Reihenfolge aus den von den jeweiligen Adressen adressierten Speicherzellen ausgelesen und mit der jeweiligen Adresse verglichen und gleichzeitig wieder die je¬ weilige Adresse eingeschrieben. the data words are read out word by word in succession in reverse order from the memory cells addressed by the respective addresses and compared with the respective address and at the same time the respective address is written again.
2. Verfahren nach Anspruch 1, dadurch g e k e π n z e i c h n e t , daß die jeweils aus den Speicher¬ zellen ausgelesenen Datenworte jeweils mit der als nächste Adresse in die Speicherzellen einzuschreibenden Adressen verglichen werden.2. The method according to claim 1, characterized in that the data words respectively read out from the memory cells are each compared with the addresses to be written into the memory cells as the next address.
3. Anordnung zur Durchführung des Verfahrens nach An¬ spruch 1 oder 2,, g e k e n n z e i c h n e t durch folgende Merkmale:3. Arrangement for performing the method according to claim 1 or 2, based on the following features:
-es ist ein Adreßzähler (BZ) zur aufeinanderfolgenden Er¬ zeugung von Adressen für den RAM vorgesehen, die zur wort¬ weisen Ansteuerung der Speicherzellen im RAM dienen, -es ist ein Dateninverter zur Invertierung der Adressen oder Teile davon vorgesehen,an address counter (BZ) is provided for the sequential generation of addresses for the RAM, which are used for word-by-word control of the memory cells in the RAM, a data inverter is provided for inverting the addresses or parts thereof,
-es ist eine Prüfschaltung (CH) vorgesehen, die die jeweilige Adresse mit der aus dem Speicher ausgelesenen Adresse ver¬ gleicht und die Abhängigkeit des Vergleichsergebnisses ein Testsignal abgibt,a test circuit (CH) is provided which compares the respective address with the address read from the memory and emits a test signal as a function of the comparison result,
-es ist eine Prüfsteuerung (ST) vorgesehen, die den Ablauf der Prüfung steuert.-A test control (ST) is provided which controls the course of the test.
4. Anordnung nach Anspruch 3, dadurch g e k e n n z e i c h n e t , daß die Prüfsteuerung (ST) Codeworte in einem zwei aus vier Code verwendet, die so aufgebaut sind, daß ein Fehler erkennbar ist.4. Arrangement according to claim 3, characterized in that the test controller (ST) uses code words in a two out of four code, which are constructed in such a way that an error can be recognized.
5. Anordnung nach Anspruch 3 oder 4, g e k e n n z e i c h n e t durch folgende Merkmale:5. Arrangement according to claim 3 or 4, g e k e n n z e i c h n e t by the following features:
-der Adreßzähler (AZ) ist über einen Adreßbus (ABI) mit den Adreßeingängen des RAM verbunden,the address counter (AZ) is connected to the address inputs of the RAM via an address bus (ABI),
-vom Adreßbus (ABI) führt ein Bus (DB) zum Dateninverter (INV), -der Ausgang des Dateninverters (INV) ist über einen Bus (DI) sowohl mit der Prüfschaltung (CH) als auch über einen Trei¬ ber (TR) mit dem Dateneingang des RAM verbunden, -der Datenausgang des RAM ist über einen Bus (DA) mit der Prüfschaltuπg (CH) verbunden. a bus (DB) leads from the address bus (ABI) to the data inverter (INV), - the output of the data inverter (INV) is via a bus (DI) both with the test circuit (CH) and via a driver (TR) connected to the data input of the RAM, - the data output of the RAM is connected to the test circuit (CH) via a bus (DA).
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
DEP3718182.3 | 1987-05-29 | ||
DE19873718182 DE3718182A1 (en) | 1987-05-29 | 1987-05-29 | METHOD AND ARRANGEMENT FOR CARRYING OUT A SELF-TESTING OF A SPEECH ORGANIZED RAM |
Publications (1)
Publication Number | Publication Date |
---|---|
WO1988009554A1 true WO1988009554A1 (en) | 1988-12-01 |
Family
ID=6328724
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
PCT/DE1988/000256 WO1988009554A1 (en) | 1987-05-29 | 1988-04-29 | Process and arrangement for self-checking of a word-oriented ram |
Country Status (2)
Country | Link |
---|---|
DE (1) | DE3718182A1 (en) |
WO (1) | WO1988009554A1 (en) |
Cited By (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
EP0686981A3 (en) * | 1994-06-06 | 1996-02-07 | Digital Equipment Corp | Method for testing large memory arrays during system initialization |
WO1997004459A1 (en) * | 1995-07-14 | 1997-02-06 | National Semiconductor Corporation | Built in self test (bist) for multiple rams |
US6041426A (en) * | 1995-04-07 | 2000-03-21 | National Semiconductor Corporation | Built in self test BIST for RAMS using a Johnson counter as a source of data |
FR2919401A1 (en) * | 2007-07-24 | 2009-01-30 | Thales Sa | METHOD FOR TESTING DATA PATHS IN AN ELECTRONIC CIRCUIT |
EP1675009A3 (en) * | 2004-12-22 | 2013-02-27 | Alcatel Lucent | Addressing error and address detection systems and methods |
GB2542214A (en) * | 2015-11-11 | 2017-03-15 | Imagination Tech Ltd | Hardware monitor to verify memory units |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
FR2173531A5 (en) * | 1972-02-26 | 1973-10-05 | Ibm | |
WO1986001036A1 (en) * | 1984-07-18 | 1986-02-13 | Hughes Aircraft Company | Programmable word length and self-testing memory in a gate array with bidirectional symmetry |
GB2172128A (en) * | 1985-03-04 | 1986-09-10 | Fluke Mfg Co John | A method of and apparatus for fault testing a random access memory system |
-
1987
- 1987-05-29 DE DE19873718182 patent/DE3718182A1/en not_active Withdrawn
-
1988
- 1988-04-29 WO PCT/DE1988/000256 patent/WO1988009554A1/en unknown
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
FR2173531A5 (en) * | 1972-02-26 | 1973-10-05 | Ibm | |
WO1986001036A1 (en) * | 1984-07-18 | 1986-02-13 | Hughes Aircraft Company | Programmable word length and self-testing memory in a gate array with bidirectional symmetry |
GB2172128A (en) * | 1985-03-04 | 1986-09-10 | Fluke Mfg Co John | A method of and apparatus for fault testing a random access memory system |
Cited By (12)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
EP0686981A3 (en) * | 1994-06-06 | 1996-02-07 | Digital Equipment Corp | Method for testing large memory arrays during system initialization |
US5689466A (en) * | 1995-04-07 | 1997-11-18 | National Semiconductor Corporation | Built in self test (BIST) for multiple RAMs |
US6041426A (en) * | 1995-04-07 | 2000-03-21 | National Semiconductor Corporation | Built in self test BIST for RAMS using a Johnson counter as a source of data |
WO1997004459A1 (en) * | 1995-07-14 | 1997-02-06 | National Semiconductor Corporation | Built in self test (bist) for multiple rams |
EP1675009A3 (en) * | 2004-12-22 | 2013-02-27 | Alcatel Lucent | Addressing error and address detection systems and methods |
FR2919401A1 (en) * | 2007-07-24 | 2009-01-30 | Thales Sa | METHOD FOR TESTING DATA PATHS IN AN ELECTRONIC CIRCUIT |
US7913129B2 (en) | 2007-07-24 | 2011-03-22 | Thales | Method of testing data paths in an electronic circuit |
GB2542214A (en) * | 2015-11-11 | 2017-03-15 | Imagination Tech Ltd | Hardware monitor to verify memory units |
GB2542214B (en) * | 2015-11-11 | 2019-08-28 | Imagination Tech Ltd | Hardware monitor to verify memory units |
US10580511B2 (en) | 2015-11-11 | 2020-03-03 | Imagination Technologies Limited | Hardware monitor to verify memory units |
US11250927B2 (en) | 2015-11-11 | 2022-02-15 | Imagination Technologies Limited | Formal verification tool to verify hardware design of memory unit |
US11948652B2 (en) | 2015-11-11 | 2024-04-02 | Imagination Technologies Limited | Formal verification tool to verify hardware design of memory unit |
Also Published As
Publication number | Publication date |
---|---|
DE3718182A1 (en) | 1988-12-15 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
DE3886038T2 (en) | Storage device which contains a static RAM memory adapted for carrying out a self-test and integrated circuit which contains such a device as built-in static RAM memory. | |
DE69223461T2 (en) | Configurable self-test for integrated RAMs | |
EP0197363B1 (en) | Process for operating a semiconductor memory with integrated parallel test capability and evaluation circuit for carrying out the process | |
DE69904320T2 (en) | ON-CHIP CIRCUIT AND METHOD FOR CHECKING THE MEMORY CIRCUIT | |
DE69825234T2 (en) | METHOD AND DEVICE FOR SELF-TESTING MULTI-PORT RAMS | |
DE69019555T2 (en) | Technology for serial testing of built-in memories. | |
DE4328605C2 (en) | Semiconductor memory device | |
DE2328869C2 (en) | Method and circuit arrangement for operating a digital storage system | |
DE3906494C2 (en) | ||
DE69421429T2 (en) | Semiconductor memory with built-in parallel bit check mode | |
DE69126057T2 (en) | An information processing device with an error checking and correction circuit | |
DE3412677C2 (en) | ||
DE19963689A1 (en) | Circuit arrangement of an integrated semiconductor memory for storing addresses of defective memory cells | |
DE19951534A1 (en) | Integrated semiconductor circuit with large capacity memory with reduced packing size a number for testing patterns | |
DE10229802B3 (en) | Test circuit and method for testing an integrated memory circuit | |
DE10337284A1 (en) | Integrated memory with an integrated memory function test circuit and method of operating the integrated memory | |
EP1055238B1 (en) | Circuit and method for testing a digital semi-conductor circuit | |
DE102008013099A1 (en) | Memory test circuit | |
EP0186040B1 (en) | Integrated semiconductor memory | |
DE3850932T2 (en) | Read / write memory with a built-in read check pattern and method for generating the same. | |
DE69323076T2 (en) | Method for recognizing defective elements of a redundant semiconductor memory | |
DE10256487B4 (en) | Integrated memory and method for testing an integrated memory | |
WO1988009554A1 (en) | Process and arrangement for self-checking of a word-oriented ram | |
EP0283906A1 (en) | Method and circuit arrangement for testing a semiconductor memory | |
DE68923531T2 (en) | METHOD AND DEVICE FOR THE MEMORY SELF-TEST. |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
AK | Designated states |
Kind code of ref document: A1 Designated state(s): JP US |
|
AL | Designated countries for regional patents |
Kind code of ref document: A1 Designated state(s): AT BE CH DE FR GB IT LU NL SE |