US20040243887A1 - Method and apparatus for verifying error correcting codes - Google Patents
Method and apparatus for verifying error correcting codes Download PDFInfo
- Publication number
- US20040243887A1 US20040243887A1 US10/867,769 US86776904A US2004243887A1 US 20040243887 A1 US20040243887 A1 US 20040243887A1 US 86776904 A US86776904 A US 86776904A US 2004243887 A1 US2004243887 A1 US 2004243887A1
- Authority
- US
- United States
- Prior art keywords
- error
- ecc
- signal
- data
- bits
- 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.)
- Abandoned
Links
Images
Classifications
-
- H—ELECTRICITY
- H03—ELECTRONIC CIRCUITRY
- H03M—CODING; DECODING; CODE CONVERSION IN GENERAL
- H03M13/00—Coding, decoding or code conversion, for error detection or error correction; Coding theory basic assumptions; Coding bounds; Error probability evaluation methods; Channel models; Simulation or testing of codes
- H03M13/47—Error detection, forward error correction or error protection, not provided for in groups H03M13/01 - H03M13/37
Definitions
- the technical field is error correcting code for storage or communications systems.
- a typical error may result when a particular memory location is exposed to one or more a particles. Such radiation may cause a data bit stored in the memory location to flip from a “1” to a “0.”
- ECC Error correcting codes
- Error correcting codes are used to enhance reliability and state integrity of communications and storage systems. Error correcting codes are known that will correct a single error, and will detect, but not correct, a double error. Other ECCs will detect and correct multiple errors. For ECC applications, memory array chips may be organized so that errors generated in a chip can be corrected by the ECC.
- correction of single bit errors and detection of double bit errors may be accomplished by use of check bits.
- a typical ECC implementation appends a number of check bits to each data word.
- the appended check bits are used by ECC logic circuits to detect errors within the data word.
- the simplest and most common form of error control is implemented through the use of parity bits.
- a single parity bit is appended to a data word and assigned to be a 0 or a 1, so as to make the number of 1's in the data word even in the case of even parity codes, or odd in the case of odd parity codes.
- the value of the parity bit Prior to transmission of the data word in a computer system, the value of the parity bit is computed at the source point of the data word and is appended to the data word. On receipt of the transmitted data word, logic at the destination point recalculates the parity bit and compares it to the received, previously appended parity bit. If the recalculated and received parity bits are not equal, a bit error has been detected.
- Use of parity codes has the disadvantage, however, of not being able to correct bit errors and not being able to detect even numbers of bit errors. For example, if a data bit changes from a 0 to a 1 and another data bit changes from a 1 to a 0 (a double bit error), the parity of the data word will not change and the error will be undetected.
- the parity bit concept may be extended to provide detection of multiple bit errors, or to determine the location of single or multiple bit errors. Once a data bit error has been detected, logic circuits may be used to correct the erroneous bit, providing single error correction.
- a well known error correction code is the Hamming code, which may be a SEC-DED code, for example.
- the ECC appends a series of check bits to the data word as it is stored in memory. Upon a read operation, the retrieved check bits are compared to recalculated check bits to detect and to locate (i.e., correct) a single bit error. By adding more check bits and appropriately overlapping the subsets of data bits represented by the check bits, other error correcting codes may provide for multiple error correction and detection.
- Verifying the correctness of the error correcting code includes two steps: verifying the underlying algorithm of the error correcting code and verifying the implementation of the error correcting code on a hardware device or on a simulation of the hardware device.
- Current methods for verifying the error correcting code do not link these two steps, and hence do not provide a complete verification.
- An example of this problem may be shown with respect to linear codes.
- Linear codes are constructed using properties based on Galios field arithmetic. The proof of the properties in concept may be made within the mathematical framework of Galois fields. Based on this concept, a generator matrix (known as a G matrix), a parity matrix (known as an H matrix), and different syndrome vectors corresponding to various error scenarios are generated, either by hand or by a computer program.
- a single-error correcting, double-error detecting (SEC-DED) code would have an H matrix in which no two columns are identical and in which the Galois field addition of any two columns is not equal to any column in the H matrix.
- the mathematical proof of the concept does not detect any error introduced during the generation of the G and H matrices and the syndrome vectors.
- the G and H matrices and the syndrome vectors are then used in a high-level language to generate the error correcting code circuitry, which may be implemented as a hardware device or a simulation of the hardware device. Verification of the implementation is completed by checking whether the implementation provides expected outputs based on the G and H matrices and the syndrome vectors.
- a method and an apparatus verifies the correctness of the error correcting code algorithm and the correctness of the error correcting code implementation.
- An error injection module is used to inject random errors into an ECC circuit between an encoder and a decoder.
- the encoder encodes data bits with check bits to produce an encoded signal.
- a decoder decodes the encoded signal, after modification by the error injection module.
- the error injection module may inject zero errors.
- the error injection circuit may inject a single error or multiple errors.
- the output of the decoder may be a zero error signal, a single error signal, a multiple error signal, and an error location signal. Other signals are also possible.
- the output of the decoder is compared to expected values for each signal using a monitoring module. Any differences between the output signals and the expected values may indicate an error in the ECC or in the circuit used to implement the ECC.
- the ECC may be verified by implementing the verification apparatus in an actual hardware device.
- the error injection module and the monitoring module may be located on a same chip as the decoder and the encoder.
- the error injection module and the monitoring module may be located on chips separate from the decoder and the encoder.
- the ECC verification apparatus may also be implemented as a simulation of the actual hardware device or in a formal verification model of the actual hardware.
- FIGS. 1A and 1B are a block diagrams of an error correcting circuit
- FIG. 2 is a block diagram of an apparatus for verifying an error correcting code and circuit
- FIGS. 3A and 3B are flow charts showing processes executed on the apparatus of FIG. 2.
- ECC Error correcting code circuits are widely used in semiconductor memory designs to correct single-bit errors and to detect double-bit errors.
- One common ECC code is the SEC-DED (single error correction—double error detection) code.
- SEC-DED single error correction—double error detection
- Other ECC codes are capable of detecting more than two errors and correcting more than single errors.
- the ECC circuits perform their error checking functions by generating a number of check bits for a specific number of data bits, and then writing the check bits to memory with the data bits. The check bits are then used during subsequent read-write cycles or other memory accesses to verify the correct values for the data bits.
- the number of check bits required to implement the ECC depends on the number of data bits being read. As shown in Table 1, as a number of data bits being read increases, the number of required ECC bits also increases. TABLE 1 Data Bits ECC Bits 16-31 6 32-63 7 64-127 8 128-255 9
- FIG. 1 a Hardware to implement ECC check bits using current systems is illustrated in FIG. 1 a .
- An error correcting code circuit 10 includes a memory line 11 , which is shown in FIG. 1 a including 30 data bits. Associated with the memory line 11 is an ECC cell 12 . Referring to Table 1 above, six ECC bits are required to be stored in the ECC cell 12 to accomplish single bit error correction and double bit error detection in the memory line 11 .
- An ECC block 13 is used to generate the ECC bits and to perform the error correcting/detecting code operations including checking the data bits in the memory line 11 during read and write operations.
- FIG. 1B is a block diagram of a portion of the ECC block 13 that generates check bits and syndrome bits.
- syndrome bits are the product of a comparison of the ECC bits originally stored with the data in the memory during a data store operation, and a new set of ECC bits generated based on the data that has been fetched from the memory such as would occur during execution of a read command, or any memory access, in a computer system. That is, a syndrome bit is simply the XOR of a corresponding received ECC bit with a newly generated ECC bit. If the combination of the retrieved and the newly generated ECC bits creates any non-zero syndrome bits, an error within the retrieved data has been detected.
- a circuit 20 includes an XOR tree 21 and a bit-wise XOR module 22 .
- the ECC bits are generated simultaneously by processing the data bits using a parity check matrix, for example. Such generation of ECC bits is well known in the art.
- the syndrome bits are generated simultaneously from the data bits read according to standard decoding processes.
- the same XOR tree 21 may be used for both the ECC bits and the syndrome bits as shown in FIG. 1B.
- an apparatus and a method subject the implementation of the ECC circuit to the various errors the ECC circuit is expected to correct/detect.
- the apparatus and the method verifies the ECC concept, the algorithm, and the implementation simultaneously.
- FIG. 2 is a block diagram illustrating the apparatus and the method for verifying ECC.
- an apparatus 100 includes a transmitter 110 having an encoder 115 .
- the transmitter 110 and the encoder 115 are coupled through an error injection circuit 120 to a receiver 130 having a decoder 135 .
- Also coupled to the encoder 115 and the decoder 135 is a monitoring module 140 .
- the apparatus 100 may be implemented as an actual hardware device, or may be implemented as a simulation of a hardware device, using a hardware description language, such as VHDL or Verilog, for example, both of which are known in the art.
- the method and the apparatus 100 function to completely test the ECC by the coupling of the encoder 115 and the decoder 135 and then injecting possible errors.
- data are input to the encoder 115 .
- the encoder 115 encodes the data to produce an output vector 112 .
- the data input is 64 bits wide.
- the encoder will encode an additional 8 bits to the data input such that the output vector 112 is 72 bits wide.
- the output vector 112 is sent through error injection circuit 120 , which introduces errors that the ECC is capable of correcting or detecting.
- the error injection circuit 120 also tests the ECC and its implementation by not introducing errors (a zero error case).
- the modified data are then fed directly to the decoder 135 .
- the decoder 135 decodes the modified data and produces several output signals.
- the output signals may include a data out signal, a no error signal, a single error signal and a double (multiple) error signal.
- the decoder 135 may also provide an error_loc signal, which indicates a location of a bit in error.
- the error_loc signal may be similar to the syndrome mentioned above.
- Other output signals may also be provided.
- These output signals are provided to the monitoring module 140 .
- the monitoring module 40 determines if the provided output signals are as expected. If the output signals are not as expected, then a problem may exist with the ECC or the ECC circuit.
- the apparatus 100 also checks for proper operation of the ECC in the presence of multiple errors.
- the error injection circuit 120 injects double errors (there are 2556 possibilities in this example).
- the apparatus 100 may be implemented in various ways, depending on the ECC verification methodology.
- the error injection circuit 120 may be implemented as an XOR of the data_out bits with a binary error vector of the same width as the data_out bits.
- the binary error vector may be randomly generated in a simulation environment for all the different error types. These error types include no error, single error and double error, for example.
- the binary error vector may also be hand coded and supplied to the error injection circuit 120 .
- a formal verification module may include all error scenarios.
- the apparatus 100 may be used with any type of memory in a computer system.
- the ECC circuit 100 may be used with cache and with main memory.
- the apparatus may be used with any ECC. While the proceeding discussion described operation of the apparatus 100 with a SEC-DED. one of ordinary skill in the art would understand the method and the apparatus 100 may be used with ECCs that are capable of detecting and correcting multiple errors (e.g., DEC-TED codes).
- the apparatus 100 may be included on a dual in-line memory module (DIMM) card along with one or more memory chips and may be implemented within an ASIC chip, for example.
- the ASIC chip would serve to interconnect a data bus (not shown) of the computer system to the memory chips. Data passing from the data bus to the memory chips during execution ow a write operation would pass through the apparatus 100 prior to storage in the memory chips. Likewise, data passing from the memory chips to the data bus would also pass through the apparatus 100 .
- the error detection and correction mechanism operates on the data as the data is being stored by the computer system in the memory chips.
- the data bus coupling the transmitter 110 and receiver 130 has sufficient bandwidth to carry all 72 bits in one clock cycle.
- the apparatus 100 may also be used with system busses having smaller bandwidths. In this case, multiple cycles may be needed to transmit all the data ad check bits.
- FIG. 3A illustrates a process 200 when a no error signal is injected.
- the process begins with block 210 .
- the encoder 115 encodes a transaction with an ECC.
- the transaction is then processed in error injection circuit 120 , and a no error signal is injected, block 230 .
- the transaction is decoded using the ECC.
- the monitor module 140 monitors the decoded transaction.
- FIG. 3B illustrates a process 300 in which the error injection circuit 120 inserts a single-bit error.
Abstract
A method and an apparatus verifies the correctness of the error correcting code algorithm and the correctness of the error correcting code implementation. An error injection module is used to inject random errors into an ECC circuit between an encoder and a decoder. The encoder encodes data bits with check bits to produce an encoded signal. A decoder decodes the encoded signal, after modification by the error injection module. The output of the decoder may be a zero error signal, a signal error signal, a multiple error signal, and an error location signal. The output signal is compared to expected values to determine if an error exists in the ECC or the ECC circuit.
Description
- The technical field is error correcting code for storage or communications systems.
- Communication and storage systems are subject to errors that may affect operation of connected systems. A typical error may result when a particular memory location is exposed to one or more a particles. Such radiation may cause a data bit stored in the memory location to flip from a “1” to a “0.”
- Error correcting codes (ECC) are used to enhance reliability and state integrity of communications and storage systems. Error correcting codes are known that will correct a single error, and will detect, but not correct, a double error. Other ECCs will detect and correct multiple errors. For ECC applications, memory array chips may be organized so that errors generated in a chip can be corrected by the ECC.
- Correction of single bit errors and detection of double bit errors may be accomplished by use of check bits. A typical ECC implementation appends a number of check bits to each data word. The appended check bits are used by ECC logic circuits to detect errors within the data word. The simplest and most common form of error control is implemented through the use of parity bits. A single parity bit is appended to a data word and assigned to be a 0 or a 1, so as to make the number of 1's in the data word even in the case of even parity codes, or odd in the case of odd parity codes.
- Prior to transmission of the data word in a computer system, the value of the parity bit is computed at the source point of the data word and is appended to the data word. On receipt of the transmitted data word, logic at the destination point recalculates the parity bit and compares it to the received, previously appended parity bit. If the recalculated and received parity bits are not equal, a bit error has been detected. Use of parity codes has the disadvantage, however, of not being able to correct bit errors and not being able to detect even numbers of bit errors. For example, if a data bit changes from a 0 to a 1 and another data bit changes from a 1 to a 0 (a double bit error), the parity of the data word will not change and the error will be undetected.
- By appending additional parity bits to the data word, each corresponding to a subset of data bits within the data word, the parity bit concept may be extended to provide detection of multiple bit errors, or to determine the location of single or multiple bit errors. Once a data bit error has been detected, logic circuits may be used to correct the erroneous bit, providing single error correction.
- A well known error correction code is the Hamming code, which may be a SEC-DED code, for example. The ECC appends a series of check bits to the data word as it is stored in memory. Upon a read operation, the retrieved check bits are compared to recalculated check bits to detect and to locate (i.e., correct) a single bit error. By adding more check bits and appropriately overlapping the subsets of data bits represented by the check bits, other error correcting codes may provide for multiple error correction and detection.
- Verifying the correctness of the error correcting code includes two steps: verifying the underlying algorithm of the error correcting code and verifying the implementation of the error correcting code on a hardware device or on a simulation of the hardware device. Current methods for verifying the error correcting code do not link these two steps, and hence do not provide a complete verification. An example of this problem may be shown with respect to linear codes. Linear codes are constructed using properties based on Galios field arithmetic. The proof of the properties in concept may be made within the mathematical framework of Galois fields. Based on this concept, a generator matrix (known as a G matrix), a parity matrix (known as an H matrix), and different syndrome vectors corresponding to various error scenarios are generated, either by hand or by a computer program. A single-error correcting, double-error detecting (SEC-DED) code would have an H matrix in which no two columns are identical and in which the Galois field addition of any two columns is not equal to any column in the H matrix. The mathematical proof of the concept does not detect any error introduced during the generation of the G and H matrices and the syndrome vectors. The G and H matrices and the syndrome vectors are then used in a high-level language to generate the error correcting code circuitry, which may be implemented as a hardware device or a simulation of the hardware device. Verification of the implementation is completed by checking whether the implementation provides expected outputs based on the G and H matrices and the syndrome vectors.
- One problem with this conventional approach comes from errors that may occur during generation of the G and H matrices and the syndrome vectors. Such errors may go undetected because no automated tool exists to directly produce the error correcting code circuitry from the mathematical properties.
- A method and an apparatus verifies the correctness of the error correcting code algorithm and the correctness of the error correcting code implementation. An error injection module is used to inject random errors into an ECC circuit between an encoder and a decoder. The encoder encodes data bits with check bits to produce an encoded signal. A decoder decodes the encoded signal, after modification by the error injection module. The error injection module may inject zero errors. Alternatively, the error injection circuit may inject a single error or multiple errors. The output of the decoder may be a zero error signal, a single error signal, a multiple error signal, and an error location signal. Other signals are also possible. The output of the decoder is compared to expected values for each signal using a monitoring module. Any differences between the output signals and the expected values may indicate an error in the ECC or in the circuit used to implement the ECC.
- The ECC may be verified by implementing the verification apparatus in an actual hardware device. In this embodiment, the error injection module and the monitoring module may be located on a same chip as the decoder and the encoder. Alternatively, the error injection module and the monitoring module may be located on chips separate from the decoder and the encoder. The ECC verification apparatus may also be implemented as a simulation of the actual hardware device or in a formal verification model of the actual hardware.
- The detailed description will reference the following figures, in which like numerals refer to like items, and in which:
- FIGS. 1A and 1B are a block diagrams of an error correcting circuit;
- FIG. 2 is a block diagram of an apparatus for verifying an error correcting code and circuit; and
- FIGS. 3A and 3B are flow charts showing processes executed on the apparatus of FIG. 2.
- Error correcting code (ECC) circuits are widely used in semiconductor memory designs to correct single-bit errors and to detect double-bit errors. One common ECC code is the SEC-DED (single error correction—double error detection) code. Other ECC codes are capable of detecting more than two errors and correcting more than single errors.
- The ECC circuits perform their error checking functions by generating a number of check bits for a specific number of data bits, and then writing the check bits to memory with the data bits. The check bits are then used during subsequent read-write cycles or other memory accesses to verify the correct values for the data bits. The number of check bits required to implement the ECC depends on the number of data bits being read. As shown in Table 1, as a number of data bits being read increases, the number of required ECC bits also increases.
TABLE 1 Data Bits ECC Bits 16-31 6 32-63 7 64-127 8 128-255 9 - Hardware to implement ECC check bits using current systems is illustrated in FIG. 1a. An error correcting
code circuit 10 includes amemory line 11, which is shown in FIG. 1a including 30 data bits. Associated with thememory line 11 is anECC cell 12. Referring to Table 1 above, six ECC bits are required to be stored in theECC cell 12 to accomplish single bit error correction and double bit error detection in thememory line 11. AnECC block 13 is used to generate the ECC bits and to perform the error correcting/detecting code operations including checking the data bits in thememory line 11 during read and write operations. - FIG. 1B is a block diagram of a portion of the
ECC block 13 that generates check bits and syndrome bits. As is well known in the art, syndrome bits are the product of a comparison of the ECC bits originally stored with the data in the memory during a data store operation, and a new set of ECC bits generated based on the data that has been fetched from the memory such as would occur during execution of a read command, or any memory access, in a computer system. That is, a syndrome bit is simply the XOR of a corresponding received ECC bit with a newly generated ECC bit. If the combination of the retrieved and the newly generated ECC bits creates any non-zero syndrome bits, an error within the retrieved data has been detected. - In FIG. 1B, a
circuit 20 includes anXOR tree 21 and abit-wise XOR module 22. In a write operation, the ECC bits are generated simultaneously by processing the data bits using a parity check matrix, for example. Such generation of ECC bits is well known in the art. In a read operation, the syndrome bits are generated simultaneously from the data bits read according to standard decoding processes. Thesame XOR tree 21 may be used for both the ECC bits and the syndrome bits as shown in FIG. 1B. - Current approaches for generating the ECC and associated circuitry (hardware or hardware simulation) do not account for possible errors in the underlying algorithm. Thus, application of the ECC in an implementation may not ensure all errors are correctly corrected or detected. This may be particularly true when the ECC is a combination of linear codes and arithmetic codes, or some other custom codes that do not follow standard procedures.
- To overcome this problem, an apparatus and a method subject the implementation of the ECC circuit to the various errors the ECC circuit is expected to correct/detect. The apparatus and the method verifies the ECC concept, the algorithm, and the implementation simultaneously.
- FIG. 2 is a block diagram illustrating the apparatus and the method for verifying ECC. In FIG. 2, an apparatus100 includes a transmitter 110 having an encoder 115. The transmitter 110 and the encoder 115 are coupled through an error injection circuit 120 to a receiver 130 having a decoder 135. Also coupled to the encoder 115 and the decoder 135 is a monitoring module 140. As noted above, the apparatus 100 may be implemented as an actual hardware device, or may be implemented as a simulation of a hardware device, using a hardware description language, such as VHDL or Verilog, for example, both of which are known in the art.
- The method and the apparatus100 function to completely test the ECC by the coupling of the encoder 115 and the decoder 135 and then injecting possible errors. In operation, data are input to the encoder 115. The encoder 115 encodes the data to produce an output vector 112. In the example illustrated in FIG. 2, the data input is 64 bits wide. Referring to Table 1, the encoder will encode an additional 8 bits to the data input such that the output vector 112 is 72 bits wide. The output vector 112 is sent through error injection circuit 120, which introduces errors that the ECC is capable of correcting or detecting. The error injection circuit 120 also tests the ECC and its implementation by not introducing errors (a zero error case). The modified data are then fed directly to the decoder 135.
- The decoder135 decodes the modified data and produces several output signals. The output signals may include a data out signal, a no error signal, a single error signal and a double (multiple) error signal. The decoder 135 may also provide an error_loc signal, which indicates a location of a bit in error. The error_loc signal may be similar to the syndrome mentioned above. Other output signals may also be provided. These output signals are provided to the monitoring module 140. The monitoring module 40 determines if the provided output signals are as expected. If the output signals are not as expected, then a problem may exist with the ECC or the ECC circuit. For the example of a SEC-DED ECC, if there are no errors injected, the expected results are: an output signal no_error is set equal to 1; output signals single_error and multiple_error are set equal to 0, and a 64-bit signal data_out=data_in.
- The error injection circuit120 then injects single errors, one for each of the 72 bits. Again, the output signals from the decoder 135 are provided to the monitoring module 140, which determines if the provided output signals match the expected output signals. For the example of a SEC-DED ECC, the expected results are: data_out=data_in (indicating the error was corrected), single_error=1, and no_error=multiple error=0. An error_loc signal may also be output.
- The apparatus100 also checks for proper operation of the ECC in the presence of multiple errors. To check for double errors, the error injection circuit 120 injects double errors (there are 2556 possibilities in this example). The expected result is no_error=single_error=0; multiple_error=1. Because the ECC in this example is a SEC-DED, the monitor module does not compare data_out=data in.
- The apparatus100 may be implemented in various ways, depending on the ECC verification methodology. The error injection circuit 120 may be implemented as an XOR of the data_out bits with a binary error vector of the same width as the data_out bits. The binary error vector may be randomly generated in a simulation environment for all the different error types. These error types include no error, single error and double error, for example. The binary error vector may also be hand coded and supplied to the error injection circuit 120. Similarly, a formal verification module may include all error scenarios.
- To verify proper operation of the ECC, including the underlying algorithm and the ECC circuit, the apparatus100 may be used with any type of memory in a computer system. For example, the ECC circuit 100 may be used with cache and with main memory. The apparatus may be used with any ECC. While the proceeding discussion described operation of the apparatus 100 with a SEC-DED. one of ordinary skill in the art would understand the method and the apparatus 100 may be used with ECCs that are capable of detecting and correcting multiple errors (e.g., DEC-TED codes).
- The apparatus100 may be included on a dual in-line memory module (DIMM) card along with one or more memory chips and may be implemented within an ASIC chip, for example. The ASIC chip would serve to interconnect a data bus (not shown) of the computer system to the memory chips. Data passing from the data bus to the memory chips during execution ow a write operation would pass through the apparatus 100 prior to storage in the memory chips. Likewise, data passing from the memory chips to the data bus would also pass through the apparatus 100. Thus, the error detection and correction mechanism operates on the data as the data is being stored by the computer system in the memory chips.
- In the embodiment shown in FIG. 2, the data bus coupling the transmitter110 and receiver 130 has sufficient bandwidth to carry all 72 bits in one clock cycle. However, the apparatus 100 may also be used with system busses having smaller bandwidths. In this case, multiple cycles may be needed to transmit all the data ad check bits.
- FIGS. 3A and 3B illustrate processes that may be executed using the apparatus100 shown in FIG. 2. FIG. 3A illustrates a
process 200 when a no error signal is injected. The process begins withblock 210. Inblock 220, the encoder 115 encodes a transaction with an ECC. The transaction is then processed in error injection circuit 120, and a no error signal is injected, block 230. - In
block 240, the transaction is decoded using the ECC. Inblock 250, the monitor module 140 monitors the decoded transaction. Inblock 260, the monitor module compares the decoded transaction with the expected results. In this case, if the ECC code and circuit operate correctly, the 64-bit signal data13 out=data_in, the output signal no_error is set equal to 1, and the output signals single_error and multiple_errors equal 0. If no error in operation of the ECC or the ECC circuit are noted, the process moves to block 280 and ends. Otherwise, the process moves to block 270, and an error is declared. The process then moves to block 280 and ends. - FIG. 3B illustrates a
process 300 in which the error injection circuit 120 inserts a single-bit error. Theprocess 300 is similar to theprocess 200 except that the expected output signals are data_out=data_in (the single bit error being corrected by the ECC), single_error=1, and multiple_errors and no_error equal 0. - The terms and descriptions used herein are set forth by way of illustration only and are not meant as limitations. Those skilled in the art will recognize that many variations are possible within the spirit and scope of the invention as defined in the following claims, and their equivalents, in which all terms are to be understood in their broadest possible sense unless otherwise indicated.
Claims (7)
1-11. (cancelled).
12. A method for verifying an error correcting code (ECC) operating on an ECC circuit, comprising:
providing a data input signal to a data encoder;
generating an ECC encoded data signal comprising data bits and check bits;
on a random basis, injecting one of a single error signal and a multiple error signal into the ECC encoded data signal, and passing the ECC encoded data signal to indicate a no error condition, thereby producing; and an output signal; and
decoding the output signal to produce one or more decoded output signals indicative of one of the no error condition, a single error condition and a multiple error condition.
13-15. (cancelled).
16. The method of claim 12 , further comprising;
comparing the one or more decoded output signals with corresponding expected signals; and
if the one or more decoded output signals and the corresponding expected signals do not match, declaring an error in the ECC or the ECC circuit.
17. The method of claim 12 , wherein the verification is a formal verification.
18. The method of claim 12 , wherein the method is executed on a simulation.
19. The method of claim 12 , wherein the decoded output signals comprise an error location signal.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US10/867,769 US20040243887A1 (en) | 2000-05-01 | 2004-06-16 | Method and apparatus for verifying error correcting codes |
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US09/562,133 US6799287B1 (en) | 2000-05-01 | 2000-05-01 | Method and apparatus for verifying error correcting codes |
US10/867,769 US20040243887A1 (en) | 2000-05-01 | 2004-06-16 | Method and apparatus for verifying error correcting codes |
Related Parent Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
US09/562,133 Continuation US6799287B1 (en) | 2000-05-01 | 2000-05-01 | Method and apparatus for verifying error correcting codes |
Publications (1)
Publication Number | Publication Date |
---|---|
US20040243887A1 true US20040243887A1 (en) | 2004-12-02 |
Family
ID=24244934
Family Applications (2)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
US09/562,133 Expired - Lifetime US6799287B1 (en) | 2000-05-01 | 2000-05-01 | Method and apparatus for verifying error correcting codes |
US10/867,769 Abandoned US20040243887A1 (en) | 2000-05-01 | 2004-06-16 | Method and apparatus for verifying error correcting codes |
Family Applications Before (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
US09/562,133 Expired - Lifetime US6799287B1 (en) | 2000-05-01 | 2000-05-01 | Method and apparatus for verifying error correcting codes |
Country Status (4)
Country | Link |
---|---|
US (2) | US6799287B1 (en) |
EP (1) | EP1160987B1 (en) |
JP (1) | JP2001358702A (en) |
DE (1) | DE60117066T2 (en) |
Cited By (16)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20080034270A1 (en) * | 2006-08-07 | 2008-02-07 | Fujitsu Limited | Semiconductor memory device capable of changing ECC code length |
US20080140869A1 (en) * | 2006-12-11 | 2008-06-12 | Nam-Phil Jo | Circuits and Methods for Correcting Errors in Downloading Firmware |
US20110214012A1 (en) * | 2005-04-05 | 2011-09-01 | Stmicroelectronics Sa | Secured coprocessor comprising an event detection circuit |
US8181100B1 (en) * | 2008-02-07 | 2012-05-15 | Marvell International Ltd. | Memory fault injection |
WO2012073071A1 (en) * | 2010-12-02 | 2012-06-07 | Freescale Semiconductor, Inc. | Error correcting device, method for monitoring an error correcting device and data processing system |
US20130318423A1 (en) * | 2012-05-24 | 2013-11-28 | International Business Machines Corporation | Mis-correction and no-correction rates for error control |
US8918707B2 (en) | 2012-06-26 | 2014-12-23 | Freescale Semiconductor, Inc. | Codeword error injection via checkbit modification |
US9166624B2 (en) | 2010-05-11 | 2015-10-20 | Osaka University | Error-correcting code processing method and device |
US9185732B1 (en) | 2005-10-04 | 2015-11-10 | Pico Mobile Networks, Inc. | Beacon based proximity services |
US9380401B1 (en) | 2010-02-03 | 2016-06-28 | Marvell International Ltd. | Signaling schemes allowing discovery of network devices capable of operating in multiple network modes |
JP2017004588A (en) * | 2015-06-10 | 2017-01-05 | インフィネオン テクノロジーズ アクチエンゲゼルシャフトInfineon Technologies AG | Circuit and method for testing error-correction capability |
US20170286197A1 (en) * | 2016-04-01 | 2017-10-05 | Intel Corporation | Validation of memory on-die error correction code |
CN107430540A (en) * | 2015-04-02 | 2017-12-01 | 密克罗奇普技术公司 | Run time ECC error injecting scheme for hardware verification |
US10043588B2 (en) | 2016-12-15 | 2018-08-07 | SK Hynix Inc. | Memory device |
US10666294B2 (en) * | 2018-02-28 | 2020-05-26 | Hewlett Packard Enterprise Development Lp | Error correction code words with binomial bit error distribution |
US10706950B1 (en) * | 2018-06-19 | 2020-07-07 | Cadence Design Systems, Inc. | Testing for memory error correction code logic |
Families Citing this family (37)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
DK6488D0 (en) | 1988-01-07 | 1988-01-07 | Novo Industri As | ENZYMES |
FR2819603B1 (en) * | 2001-01-16 | 2003-06-13 | Centre Nat Rech Scient | INTERRUPTION ERROR INJECTOR METHOD |
US7389463B2 (en) * | 2001-05-29 | 2008-06-17 | Thomson Licensing | Hierarchical block coding for a packet-based communications system |
US7051264B2 (en) * | 2001-11-14 | 2006-05-23 | Monolithic System Technology, Inc. | Error correcting memory and method of operating same |
US7073117B1 (en) * | 2002-02-21 | 2006-07-04 | Ciena Corporation | Method and apparatus for generating bit errors in a forward error correction (FEC) system to estimate power dissipation characteristics of the system |
EP1537674A4 (en) * | 2002-06-21 | 2007-04-04 | Thomson Licensing | Method of forward error correction |
US7401269B2 (en) * | 2003-05-10 | 2008-07-15 | Hewlett-Packard Development Company, L.P. | Systems and methods for scripting data errors to facilitate verification of error detection or correction code functionality |
US7702284B2 (en) | 2003-09-12 | 2010-04-20 | Arto Palin | Method and system for processing acknowledgments in a wireless communications network |
US7352998B2 (en) * | 2003-09-12 | 2008-04-01 | Nokia Corporation | Method and system for establishing a wireless communications link |
US7499674B2 (en) * | 2003-09-12 | 2009-03-03 | Nokia Corporation | Method and system for repeat request in hybrid ultra wideband-bluetooth radio |
US7782894B2 (en) * | 2003-09-12 | 2010-08-24 | Nokia Corporation | Ultra-wideband/low power communication having a dedicated removable memory module for fast data downloads—apparatus, systems and methods |
US7278084B2 (en) * | 2003-10-29 | 2007-10-02 | Nokia Corporation | Method and system for providing communications security |
US7697893B2 (en) * | 2004-06-18 | 2010-04-13 | Nokia Corporation | Techniques for ad-hoc mesh networking |
US7392456B2 (en) * | 2004-11-23 | 2008-06-24 | Mosys, Inc. | Predictive error correction code generation facilitating high-speed byte-write in a semiconductor memory |
US7779326B2 (en) * | 2005-03-01 | 2010-08-17 | The Texas A&M University System | Multi-source data encoding, transmission and decoding using Slepian-Wolf codes based on channel code partitioning |
US7546514B2 (en) | 2005-04-11 | 2009-06-09 | Hewlett-Packard Development Company, L.P. | Chip correct and fault isolation in computer memory systems |
DE102006001872B4 (en) * | 2006-01-13 | 2013-08-22 | Infineon Technologies Ag | Apparatus and method for checking an error detection functionality of a data processing device for attacks |
US7669095B2 (en) * | 2006-02-01 | 2010-02-23 | International Business Machines Corporation | Methods and apparatus for error injection |
DE602006011177D1 (en) | 2006-10-23 | 2010-01-28 | Onespin Solutions Gmbh | Review and generation of timing errors |
DE102007028766A1 (en) * | 2007-06-22 | 2008-12-24 | Continental Teves Ag & Co. Ohg | Test method and electronic circuit for the secure serial transmission of data |
US7827445B2 (en) * | 2007-12-19 | 2010-11-02 | International Business Machines Corporation | Fault injection in dynamic random access memory modules for performing built-in self-tests |
US8627163B2 (en) * | 2008-03-25 | 2014-01-07 | Micron Technology, Inc. | Error-correction forced mode with M-sequence |
US8413036B2 (en) * | 2008-11-28 | 2013-04-02 | Agere Systems Llc | Pseudorandom binary sequence checker with control circuitry for end-of-test check |
US20110219266A1 (en) * | 2010-03-04 | 2011-09-08 | Qualcomm Incorporated | System and Method of Testing an Error Correction Module |
CN102567132B (en) * | 2011-12-30 | 2014-12-03 | 记忆科技(深圳)有限公司 | End-to-end chip data path protection device and method for the same |
JP6003735B2 (en) * | 2013-03-18 | 2016-10-05 | 富士通株式会社 | DIMM simulated fault generation method and DIMM simulated fault generation apparatus |
US9569582B2 (en) | 2014-01-03 | 2017-02-14 | International Business Machines Corporation | Template matching for resilience and security characteristics of sub-component chip designs |
KR102324769B1 (en) | 2015-06-29 | 2021-11-10 | 삼성전자주식회사 | Error correction circuit, semiconductor memory device and memory system including the same |
US11048602B2 (en) * | 2017-10-17 | 2021-06-29 | SK Hynix Inc. | Electronic devices |
KR20190043043A (en) * | 2017-10-17 | 2019-04-25 | 에스케이하이닉스 주식회사 | Electronic device |
US10625752B2 (en) | 2017-12-12 | 2020-04-21 | Qualcomm Incorporated | System and method for online functional testing for error-correcting code function |
US11061771B2 (en) * | 2019-03-01 | 2021-07-13 | Micron Technology, Inc. | Extended error detection for a memory device |
KR20220050315A (en) | 2020-10-16 | 2022-04-25 | 삼성전자주식회사 | Semiconductor memory devices and memory systems including the same |
CN112506730B (en) * | 2020-11-10 | 2022-11-01 | 中国人民解放军战略支援部队信息工程大学 | Verification platform and verification method suitable for network switching chip ECC function verification |
US11209482B1 (en) * | 2020-11-30 | 2021-12-28 | Stmicroelectronics International N.V. | Methods and devices for testing comparators |
KR20220127571A (en) | 2021-03-11 | 2022-09-20 | 삼성전자주식회사 | Built-in-self-test logic, memory device with built-in-self-test logic, test operation for memory module |
CN114915380B (en) * | 2022-07-19 | 2022-09-30 | 中国科学院宁波材料技术与工程研究所 | CAN bus-based low-cost high-real-time automatic error correction communication system and method |
Citations (36)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US4759019A (en) * | 1986-07-10 | 1988-07-19 | International Business Machines Corporation | Programmable fault injection tool |
US4794597A (en) * | 1986-03-28 | 1988-12-27 | Mitsubishi Denki Kabushiki Kaisha | Memory device equipped with a RAS circuit |
US4924465A (en) * | 1988-06-30 | 1990-05-08 | Mitsubishi Denki Kabushiki Kaisha | Memory with function test of error detection/correction device |
US4999837A (en) * | 1989-03-20 | 1991-03-12 | International Business Machines Corporation | Programmable channel error injection |
US5001712A (en) * | 1988-10-17 | 1991-03-19 | Unisys Corporation | Diagnostic error injection for a synchronous bus system |
US5210504A (en) * | 1991-05-23 | 1993-05-11 | Matsushita Electric Industrial Co., Ltd. | Semiconductor device for tv tuner and tv tuner using the same |
US5502732A (en) * | 1993-09-20 | 1996-03-26 | International Business Machines Corporation | Method for testing ECC logic |
US5668816A (en) * | 1996-08-19 | 1997-09-16 | International Business Machines Corporation | Method and apparatus for injecting errors into an array built-in self-test |
US5872790A (en) * | 1997-02-28 | 1999-02-16 | International Business Machines Corporation | ECC memory multi-bit error generator |
US5875195A (en) * | 1997-03-31 | 1999-02-23 | International Business Machines Corporation | Method and apparatus for error injection techniques |
US5901184A (en) * | 1997-06-18 | 1999-05-04 | Lsi Logic Corporation | Extended range voltage controlled oscillator for frequency synthesis in a satellite receiver |
US5958072A (en) * | 1997-01-13 | 1999-09-28 | Hewlett-Packard Company | Computer-system processor-to-memory-bus interface having repeating-test-event generation hardware |
US5982823A (en) * | 1998-03-17 | 1999-11-09 | Northrop Grumman Corp | Direct frequency selection and down-conversion for digital receivers |
US6031878A (en) * | 1997-02-28 | 2000-02-29 | Maxim Integrated Products, Inc. | Direct-conversion tuner integrated circuit for direct broadcast satellite television |
US6067647A (en) * | 1998-09-02 | 2000-05-23 | Intel Corporation | Method and apparatus for inserting an error signal onto a bidirectional signal line |
US6091931A (en) * | 1997-06-18 | 2000-07-18 | Lsi Logic Corporation | Frequency synthesis architecture in a satellite receiver |
US6134429A (en) * | 1998-04-10 | 2000-10-17 | Vlsi Technology, Inc. | Direct digital down conversion of a 10.8 MHz intermediate frequency signal in the personal handy phone system |
US6148184A (en) * | 1997-08-28 | 2000-11-14 | Mitel Corporation | Radio frequency zero if direct down converter |
US6182248B1 (en) * | 1998-04-07 | 2001-01-30 | International Business Machines Corporation | Method and tool for computer bus fault isolation and recovery design verification |
US6218972B1 (en) * | 1997-09-11 | 2001-04-17 | Rockwell Science Center, Inc. | Tunable bandpass sigma-delta digital receiver |
US6223309B1 (en) * | 1998-10-02 | 2001-04-24 | International Business Machines Corporation | Method and apparatus for ECC logic test |
US6237116B1 (en) * | 1998-11-16 | 2001-05-22 | Lockheed Martin Corporation | Testing error correcting code feature in computers that do not have direct hardware features for causing single bit and multi-bit errors |
US6272312B1 (en) * | 1998-01-12 | 2001-08-07 | Alps Electric Co., Ltd. | Satellite broadcasting receiving tuner which inhibits interference caused by satellite broadcast signals having one octave higher frequency band |
US6282249B1 (en) * | 1996-06-27 | 2001-08-28 | U.S. Philips Corporation | Satellite receiver |
US6356736B2 (en) * | 1997-02-28 | 2002-03-12 | Maxim Integrated Products, Inc. | Direct-conversion tuner integrated circuit for direct broadcast satellite television |
US6377315B1 (en) * | 1998-11-12 | 2002-04-23 | Broadcom Corporation | System and method for providing a low power receiver design |
US6397357B1 (en) * | 1996-10-08 | 2002-05-28 | Dell Usa, L.P. | Method of testing detection and correction capabilities of ECC memory controller |
US6457147B1 (en) * | 1999-06-08 | 2002-09-24 | International Business Machines Corporation | Method and system for run-time logic verification of operations in digital systems in response to a plurality of parameters |
US6512472B1 (en) * | 2002-01-15 | 2003-01-28 | Motorola, Inc. | Method and apparatus for optimizing dynamic range of a wideband analog-to-digital converter |
US20030054783A1 (en) * | 2001-09-17 | 2003-03-20 | Ralph Mason | Directly tuned filter and method of directly tuning a filter |
US6539503B1 (en) * | 1999-11-23 | 2003-03-25 | Hewlett-Packard Company | Method and apparatus for testing error detection |
US6545728B1 (en) * | 1994-05-04 | 2003-04-08 | Samsung Electronics Co., Ltd. | Digital television receivers that digitize final I-F signals resulting from triple-conversion |
US6560725B1 (en) * | 1999-06-18 | 2003-05-06 | Madrone Solutions, Inc. | Method for apparatus for tracking errors in a memory system |
US6590929B1 (en) * | 1999-06-08 | 2003-07-08 | International Business Machines Corporation | Method and system for run-time logic verification of operations in digital systems |
US6618696B1 (en) * | 1999-06-14 | 2003-09-09 | The United States Of America As Represented By The National Security Agency | Method of testing and simulating communication equipment over multiple transmission channels |
US6892336B1 (en) * | 2000-03-17 | 2005-05-10 | Applied Micro Circuits Corporation | Gigabit ethernet performance monitoring |
Family Cites Families (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US4561095A (en) * | 1982-07-19 | 1985-12-24 | Fairchild Camera & Instrument Corporation | High-speed error correcting random access memory system |
JPS59200349A (en) * | 1983-04-27 | 1984-11-13 | Nec Corp | Diagnosis circuit for error correction circuit |
US5574855A (en) * | 1995-05-15 | 1996-11-12 | Emc Corporation | Method and apparatus for testing raid systems |
US5812556A (en) * | 1996-07-03 | 1998-09-22 | General Signal Corporation | Fault tolerant switch fabric with control and data correction by hamming codes and error inducing check register |
US6473871B1 (en) * | 1999-08-31 | 2002-10-29 | Sun Microsystems, Inc. | Method and apparatus for HASS testing of busses under programmable control |
-
2000
- 2000-05-01 US US09/562,133 patent/US6799287B1/en not_active Expired - Lifetime
-
2001
- 2001-04-05 DE DE60117066T patent/DE60117066T2/en not_active Expired - Fee Related
- 2001-04-05 EP EP01108612A patent/EP1160987B1/en not_active Expired - Lifetime
- 2001-04-17 JP JP2001117596A patent/JP2001358702A/en active Pending
-
2004
- 2004-06-16 US US10/867,769 patent/US20040243887A1/en not_active Abandoned
Patent Citations (36)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US4794597A (en) * | 1986-03-28 | 1988-12-27 | Mitsubishi Denki Kabushiki Kaisha | Memory device equipped with a RAS circuit |
US4759019A (en) * | 1986-07-10 | 1988-07-19 | International Business Machines Corporation | Programmable fault injection tool |
US4924465A (en) * | 1988-06-30 | 1990-05-08 | Mitsubishi Denki Kabushiki Kaisha | Memory with function test of error detection/correction device |
US5001712A (en) * | 1988-10-17 | 1991-03-19 | Unisys Corporation | Diagnostic error injection for a synchronous bus system |
US4999837A (en) * | 1989-03-20 | 1991-03-12 | International Business Machines Corporation | Programmable channel error injection |
US5210504A (en) * | 1991-05-23 | 1993-05-11 | Matsushita Electric Industrial Co., Ltd. | Semiconductor device for tv tuner and tv tuner using the same |
US5502732A (en) * | 1993-09-20 | 1996-03-26 | International Business Machines Corporation | Method for testing ECC logic |
US6545728B1 (en) * | 1994-05-04 | 2003-04-08 | Samsung Electronics Co., Ltd. | Digital television receivers that digitize final I-F signals resulting from triple-conversion |
US6282249B1 (en) * | 1996-06-27 | 2001-08-28 | U.S. Philips Corporation | Satellite receiver |
US5668816A (en) * | 1996-08-19 | 1997-09-16 | International Business Machines Corporation | Method and apparatus for injecting errors into an array built-in self-test |
US6397357B1 (en) * | 1996-10-08 | 2002-05-28 | Dell Usa, L.P. | Method of testing detection and correction capabilities of ECC memory controller |
US5958072A (en) * | 1997-01-13 | 1999-09-28 | Hewlett-Packard Company | Computer-system processor-to-memory-bus interface having repeating-test-event generation hardware |
US5872790A (en) * | 1997-02-28 | 1999-02-16 | International Business Machines Corporation | ECC memory multi-bit error generator |
US6031878A (en) * | 1997-02-28 | 2000-02-29 | Maxim Integrated Products, Inc. | Direct-conversion tuner integrated circuit for direct broadcast satellite television |
US6356736B2 (en) * | 1997-02-28 | 2002-03-12 | Maxim Integrated Products, Inc. | Direct-conversion tuner integrated circuit for direct broadcast satellite television |
US5875195A (en) * | 1997-03-31 | 1999-02-23 | International Business Machines Corporation | Method and apparatus for error injection techniques |
US5901184A (en) * | 1997-06-18 | 1999-05-04 | Lsi Logic Corporation | Extended range voltage controlled oscillator for frequency synthesis in a satellite receiver |
US6091931A (en) * | 1997-06-18 | 2000-07-18 | Lsi Logic Corporation | Frequency synthesis architecture in a satellite receiver |
US6148184A (en) * | 1997-08-28 | 2000-11-14 | Mitel Corporation | Radio frequency zero if direct down converter |
US6218972B1 (en) * | 1997-09-11 | 2001-04-17 | Rockwell Science Center, Inc. | Tunable bandpass sigma-delta digital receiver |
US6272312B1 (en) * | 1998-01-12 | 2001-08-07 | Alps Electric Co., Ltd. | Satellite broadcasting receiving tuner which inhibits interference caused by satellite broadcast signals having one octave higher frequency band |
US5982823A (en) * | 1998-03-17 | 1999-11-09 | Northrop Grumman Corp | Direct frequency selection and down-conversion for digital receivers |
US6182248B1 (en) * | 1998-04-07 | 2001-01-30 | International Business Machines Corporation | Method and tool for computer bus fault isolation and recovery design verification |
US6134429A (en) * | 1998-04-10 | 2000-10-17 | Vlsi Technology, Inc. | Direct digital down conversion of a 10.8 MHz intermediate frequency signal in the personal handy phone system |
US6067647A (en) * | 1998-09-02 | 2000-05-23 | Intel Corporation | Method and apparatus for inserting an error signal onto a bidirectional signal line |
US6223309B1 (en) * | 1998-10-02 | 2001-04-24 | International Business Machines Corporation | Method and apparatus for ECC logic test |
US6377315B1 (en) * | 1998-11-12 | 2002-04-23 | Broadcom Corporation | System and method for providing a low power receiver design |
US6237116B1 (en) * | 1998-11-16 | 2001-05-22 | Lockheed Martin Corporation | Testing error correcting code feature in computers that do not have direct hardware features for causing single bit and multi-bit errors |
US6457147B1 (en) * | 1999-06-08 | 2002-09-24 | International Business Machines Corporation | Method and system for run-time logic verification of operations in digital systems in response to a plurality of parameters |
US6590929B1 (en) * | 1999-06-08 | 2003-07-08 | International Business Machines Corporation | Method and system for run-time logic verification of operations in digital systems |
US6618696B1 (en) * | 1999-06-14 | 2003-09-09 | The United States Of America As Represented By The National Security Agency | Method of testing and simulating communication equipment over multiple transmission channels |
US6560725B1 (en) * | 1999-06-18 | 2003-05-06 | Madrone Solutions, Inc. | Method for apparatus for tracking errors in a memory system |
US6539503B1 (en) * | 1999-11-23 | 2003-03-25 | Hewlett-Packard Company | Method and apparatus for testing error detection |
US6892336B1 (en) * | 2000-03-17 | 2005-05-10 | Applied Micro Circuits Corporation | Gigabit ethernet performance monitoring |
US20030054783A1 (en) * | 2001-09-17 | 2003-03-20 | Ralph Mason | Directly tuned filter and method of directly tuning a filter |
US6512472B1 (en) * | 2002-01-15 | 2003-01-28 | Motorola, Inc. | Method and apparatus for optimizing dynamic range of a wideband analog-to-digital converter |
Cited By (21)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20110214012A1 (en) * | 2005-04-05 | 2011-09-01 | Stmicroelectronics Sa | Secured coprocessor comprising an event detection circuit |
US8359481B2 (en) * | 2005-04-05 | 2013-01-22 | Stmicroelectronics S.A. | Secured coprocessor comprising an event detection circuit |
US9185732B1 (en) | 2005-10-04 | 2015-11-10 | Pico Mobile Networks, Inc. | Beacon based proximity services |
US8001450B2 (en) * | 2006-08-07 | 2011-08-16 | Fujitsu Semiconductor Limited | Semiconductor memory device capable of changing ECC code length |
US20080034270A1 (en) * | 2006-08-07 | 2008-02-07 | Fujitsu Limited | Semiconductor memory device capable of changing ECC code length |
US20080140869A1 (en) * | 2006-12-11 | 2008-06-12 | Nam-Phil Jo | Circuits and Methods for Correcting Errors in Downloading Firmware |
US8181100B1 (en) * | 2008-02-07 | 2012-05-15 | Marvell International Ltd. | Memory fault injection |
US9380401B1 (en) | 2010-02-03 | 2016-06-28 | Marvell International Ltd. | Signaling schemes allowing discovery of network devices capable of operating in multiple network modes |
US9166624B2 (en) | 2010-05-11 | 2015-10-20 | Osaka University | Error-correcting code processing method and device |
WO2012073071A1 (en) * | 2010-12-02 | 2012-06-07 | Freescale Semiconductor, Inc. | Error correcting device, method for monitoring an error correcting device and data processing system |
US9246512B2 (en) | 2010-12-02 | 2016-01-26 | Freescale Semiconductor, Inc. | Error correcting device, method for monitoring an error correcting device and data processing system |
US8806295B2 (en) * | 2012-05-24 | 2014-08-12 | International Business Machines Corporation | Mis-correction and no-correction rates for error control |
US20130318423A1 (en) * | 2012-05-24 | 2013-11-28 | International Business Machines Corporation | Mis-correction and no-correction rates for error control |
US8918707B2 (en) | 2012-06-26 | 2014-12-23 | Freescale Semiconductor, Inc. | Codeword error injection via checkbit modification |
CN107430540A (en) * | 2015-04-02 | 2017-12-01 | 密克罗奇普技术公司 | Run time ECC error injecting scheme for hardware verification |
JP2017004588A (en) * | 2015-06-10 | 2017-01-05 | インフィネオン テクノロジーズ アクチエンゲゼルシャフトInfineon Technologies AG | Circuit and method for testing error-correction capability |
US20170286197A1 (en) * | 2016-04-01 | 2017-10-05 | Intel Corporation | Validation of memory on-die error correction code |
US10108512B2 (en) * | 2016-04-01 | 2018-10-23 | Intel Corporation | Validation of memory on-die error correction code |
US10043588B2 (en) | 2016-12-15 | 2018-08-07 | SK Hynix Inc. | Memory device |
US10666294B2 (en) * | 2018-02-28 | 2020-05-26 | Hewlett Packard Enterprise Development Lp | Error correction code words with binomial bit error distribution |
US10706950B1 (en) * | 2018-06-19 | 2020-07-07 | Cadence Design Systems, Inc. | Testing for memory error correction code logic |
Also Published As
Publication number | Publication date |
---|---|
DE60117066D1 (en) | 2006-04-20 |
EP1160987B1 (en) | 2006-02-08 |
DE60117066T2 (en) | 2006-08-24 |
JP2001358702A (en) | 2001-12-26 |
US6799287B1 (en) | 2004-09-28 |
EP1160987A3 (en) | 2003-04-09 |
EP1160987A2 (en) | 2001-12-05 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US6799287B1 (en) | Method and apparatus for verifying error correcting codes | |
US7149947B1 (en) | Method of and system for validating an error correction code and parity information associated with a data word | |
US7797609B2 (en) | Apparatus and method for merging data blocks with error correction code protection | |
US6662333B1 (en) | Shared error correction for memory design | |
US6622268B2 (en) | Method and apparatus for propagating error status over an ECC protected channel | |
US6044483A (en) | Error propagation operating mode for error correcting code retrofit apparatus | |
US5384788A (en) | Apparatus and method for optimal error correcting code to parity conversion | |
US6301680B1 (en) | Technique for correcting single-bit errors and detecting paired double-bit errors | |
EP0186719B1 (en) | Device for correcting errors in memories | |
US11281526B2 (en) | Optimized error-correcting code (ECC) for data protection | |
JPS6041770B2 (en) | Error checking and correction system | |
JPH05108495A (en) | Error correcting and detecting method for data and error detecting circuit for computer memory | |
US5631915A (en) | Method of correcting single errors | |
US8918707B2 (en) | Codeword error injection via checkbit modification | |
US20180039540A1 (en) | Memory system having ecc self-checking function and associated method | |
US6463563B1 (en) | Single symbol correction double symbol detection code employing a modular H-matrix | |
US11069421B1 (en) | Circuitry for checking operation of error correction code (ECC) circuitry | |
US10860415B2 (en) | Memory architecture including response manager for error correction circuit | |
US3891969A (en) | Syndrome logic checker for an error correcting code decoder | |
JP2732862B2 (en) | Data transmission test equipment | |
Asuvaran et al. | Low delay error correction codes to correct stuck-at defects and soft errors | |
US11126500B2 (en) | Error detection and correction with integrity checking | |
US7321996B1 (en) | Digital data error insertion methods and apparatus | |
CN109753369A (en) | The data encoding and method of calibration of sequence array in a kind of register and memory | |
JP4213814B2 (en) | Error correction circuit check method and error correction circuit with check function |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
STCB | Information on status: application discontinuation |
Free format text: ABANDONED -- FAILURE TO PAY ISSUE FEE |