A SAT-based diagnosis pattern generation method for timing faults in scan chains.

Da Wang, Lunkai Zhang, Weizhi Xu, Dongrui Fan, Fei Wang

Browse the full ISCAS paper archive.