Modelling delay in symbolic test for data paths with partial scan

The problem of handling (pipeline) delay in data paths using a symbolic test methodology is addressed. The authors show that the delay in the incomplete scan path architecture, where only a subset of the registers is included in the scan path in order to eliminate the feedback loops, can be easily modelled and taken into account in the (combinational) symbolic test pattern generator. The pith of the methodology is formed by novel controllability and observability descriptions.<
>