Error diagnosis of sequential circuits using region-based model (2001)

by A L D’Souza, M S Hsiao
Venue:in Proc.of IEEE VLSI Design Conf