This module deals with testability measures and Automated Test Pattern Generation (ATPG) for combinational circuits. It starts with the definition and purpose of testability. Thereafter, the Sandia Controllability and Observability Analysis Program (SCOAP) is introduced together with some definitions and calculations. Both combinational and sequential SCOAP measures are elaborated. It is also explained that SCOAP can be used to predict the length of test vector sets.

Corresponding to material treated in this module come the following textbook chapters: Chapter 6.