Design-for-Testability (DFT)

• Goal: To change the shape of the urn such that all black balls (if any) are quickly selected during sampling

• To force Pr[E] and Pr[I|E] and Pr[ P|I] to be 1.0 for all faults

• Ultimately, Big bugs!

Previous slide

Next slide

Back to first slide

View graphic version