For the purposes of testing, a complex device can be viewed as many combinational blocks between simple controllable and observable sequential elements. Automatic test pattern generation (ATPG) tools ...