Identification of structured automata for test evaluation
K.El. Maadani, Jean‐Claude Geffroy · 2002
Presents an original approach to the evaluation of test sequences applied to sequential circuits represented by structured-functional models; the method is based on formal identification of the internal modules of the circuit studied. A prototype software tool has been implemented in PROLOG in order to validate the approach.>