A Functional Fault Model with Implicit Fault Effect Propagation Requirements

We define a functional fault model that does not include explicit fault effect propagation requirements. Test generation for this functional fault model is done considering only a fault free circuit. This simplifies the functional test generation process. We demonstrate through experimental results that functional test sequences generated based on this model are effective in providing very high gate-level stuck-at fault coverage.