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.
http://i.stanford.edu/pub/cstr/reports/csl/tr/94/641/CSL-TR-94-641.pdf