The name is absent



an Mine (forward line), bf-pairs are determined such that necessary conditions
for transition propagation in b-line and f-line contradict. Thus, a testable path
can not contain any bf-pair. If a path contains at least one bf-pair, it is not
testable; otherwise, the path is
potentially testable.

To determine if a potentially testable path is testable or not, we can use any
ATPG tool to generate input vectors that test the path. In the simulations, we
have used TranGen [77] for the test generation. It is a fast ATPG algorithm
based on the SAT solvers.

4.5.2 Basis path set

In path selection, it is also important to select independent paths. Consider
following four paths in the circuit shown in Figure 4.7.

Pi- c-j-gι-e-g3-h-34-k

P5: b-gι-e-g3-h-g4-k

Pf>- c-j-gι-d-g2-3-g4-k

P7: b-gι-d-g2-3-g4-k

For the circuit, it is not hard to verify

dr(P4) + dr(P7) = dr(P5) + dr(Pg).

Thus, these four paths are not independent. Knowing delay of each three of them
leads to the delay of the fourth one.

57



More intriguing information

1. The name is absent
2. Computing optimal sampling designs for two-stage studies
3. An Empirical Analysis of the Curvature Factor of the Term Structure of Interest Rates
4. Nonparametric cointegration analysis
5. Ein pragmatisierter Kalkul des naturlichen Schlieβens nebst Metatheorie
6. The name is absent
7. LOCAL CONTROL AND IMPROVEMENT OF COMMUNITY SERVICE
8. Top-Down Mass Analysis of Protein Tyrosine Nitration: Comparison of Electron Capture Dissociation with “Slow-Heating” Tandem Mass Spectrometry Methods
9. The name is absent
10. Passing the burden: corporate tax incidence in open economies