Automatic test pattern generation for synchronous sequential circuits door M. Konijnenburg