A procedure for generating test sequences to detect sequential circuit failures