Browse Prior Art Database

Ensuring Data Integrity with Synthesized Logic

IP.com Disclosure Number: IPCOM000112900D
Original Publication Date: 1994-Jun-01
Included in the Prior Art Database: 2005-Mar-27
Document File: 4 page(s) / 80K

Publishing Venue

IBM

Related People

Bergey, AL: AUTHOR [+2]

Abstract

Disclosed is a method for ensuring data integrity with synthesized logic.

This text was extracted from an ASCII text file.
This is the abbreviated version, containing approximately 52% of the total text.

Ensuring Data Integrity with Synthesized Logic

Disclosed is a method for ensuring data integrity with synthesized
logic.

      Ensuring data integrity in a data transfer design requires
careful work.  For every possible single point of failure, the
designer must ensure that no loss of customer data can occur.

      A popular method of ensuring data integrity is the use of CRC
(Cyclical Redundancy Check) over the data transfer path.  From the
point when the CRC is generated until it is checked, the path is well
protected from data integrity failures.  However, special attention
must be exercised for the points when one CRC is checked and another
one is generated, to ensure that no exposures exist at this junction.

      When done properly, as in Fig. 1, the CRC provides seamless
checking of the dataflow.  In this diagram, the checking of one CRC
occurs at the same point in the dataflow as the generating of the
other CRC.

      However, if one CRC is checked before the other CRC is
generated, as in Fig. 2, any logic between them, such as the middle
LOGIC block in this figure, is unchecked.  The designer must ensure
that this does not happen, as a hardware failure in the unchecked
logic may result in loss of data integrity.

      Traditionally, before the advent of synthesized logic, the
designer wired up each gate in the design manually and was able to
ensure that the dataflow looked like Fig. 1, and that no unchecked
logic existed.

      However, when logic is synthesized, the designer specifies the
storage elements (registers and latches) and the logical relationship
between them, but has little or no control...