Report Number: CSL-TR-94-641
Institution: Stanford University, Computer Systems Laboratory
Title: Using Checking Experiments to Test Two-State Latches
Author: Makar, Samy R.
Author: McCluskey, Edward J.
Date: November 1995
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.