Neural Models and Algorithms for Digital Testing

References . . . . . . . . . . . . . . . . . . . . . 2 Notation and Tenninology . 3 Minimization Technique . 4 An Example . 1 Transitive Oosure . 3 Path Sensitization . 100 References . 1 Background . 6 Summary 119 References . 2 Contribution of the Present Work . 139 References . 3 Logic Circuit Modeling . 1 Modelfor a Boolean Gate .