BIB-VERSION:: CS-TR-v2.0
          ID:: STAN//CSL-TR-94-641
       ENTRY:: December 07, 1995
ORGANIZATION:: Stanford University, Computer Systems Laboratory
       TITLE:: Using Checking Experiments to Test Two-State Latches
        TYPE:: Technical Report
      AUTHOR:: Makar, Samy R.
      AUTHOR:: McCluskey, Edward J.
        DATE:: November 1995
       PAGES:: 46
    ABSTRACT:: Necessary and sufficient conditions for an exhaustive
               functional test (checking experiment) of various latches are
               derived. These conditions are used to derive minimum-length
               checking experiments. The checking experiment for the D-latch
               is simulated using an HSpice implementation of the
               transmission gate latch. All detectable stuck-at, stuck-open,
               stuck-on, and bridging faults are detected.
       NOTES:: [Adminitrivia V1/Prg/19951207]
         END:: STAN//CSL-TR-94-641