Browse Prior Art Database

Calculate Error Detection Effectiveness From High Level Language

IP.com Disclosure Number: IPCOM000100596D
Original Publication Date: 1990-May-01
Included in the Prior Art Database: 2005-Mar-15
Document File: 2 page(s) / 63K

Publishing Venue

IBM

Related People

Arthur, TL: AUTHOR [+6]

Abstract

This article describes a technique to calculate logic error detection (ED) effectiveness in a computer system directly from the high level language of the hardware.

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

Calculate Error Detection Effectiveness From High Level Language

       This article describes a technique to calculate logic
error detection (ED) effectiveness in a computer system directly from
the high level language of the hardware.

      Conventionally, two methods are used for obtaining error
detection effectiveness from hardware:
     Reliability, availability and serviceability (RAS)

      design system (RDS)
     Diagnostic development system (DDS)

      Described herein is how the hardware logic error detection
effectiveness is calculated directly from the high level language
that is used in the design phase.  A program is utilized that will
search the logic design which is in a high level language.  Then it
will generate subsets of the logic that will consist of the domains
associated with each checker.  Each domain will be submitted into a
synthesizer that will generate a cell count for each domain.  The
cell count will be used as a weighting factor to calculate the error
detection effectiveness for the logic.

      The assumptions used for this program are:
     The logic will be designed in a high level language
     The domain of the checker will be marked with a flag in the
comment field prior to the program utility interrogating it.
     The synthesizer used to generate the cell count is capable of
determining the cell count.

      The program utility will read the high level language data set
to search...