Outline
??Background:
??Role of Don't-Cares in Logic Synthesis
??Controllability & Observability
??Optimality, Redundancy & Testability
??The Sequential Test Problem
??Synthesis-Directed Sequential Test
??Two Approaches to Full Testability
??Effectiveness and Limitations so far