A method of generating transition delay fault test patterns creates first
and second circuit models of a received circuit model. The second circuit
model is a replication of the first circuit model. Each latch of the first
circuit model is identified. On a sequential basis until the entire
circuit model is transformed, the data input of an identified latch in the
first circuit model is disconnected and the data output of the
corresponding latch in the second circuit model is disconnected. The
driver of the data input of the latch in the first circuit model is
connected to what was driven by the data output of the corresponding latch
in the second circuit model to form a transformed circuit model. Stuck-at
fault testing using conventional ATPG tools is performed on the
transformed circuit model and the resulting test vectors are translated to
generate transition fault test patterns for the original received circuit
model.