The application of differential logic to test vector generation for diagnosis

The author describes the use of differential logic as a theoretical basis for test vector generation for the diagnosis of digital logic. In particular, he focuses on methods of formulating test requirements into a set of equations which can either be solved to obtain test vector solutions or can provide constraints for the solution search in underconstrained cases. The method is based on a formalism called differential logic. The theory for differential logic was developed in modeling behavior and detection of the variation due to changes in parameters or structures during the process of analogical reasoning