A graph analytical method of analyzing sequential circuits

A method to determine signals in any point of a sequential circuit is proposed. Its analytical and graphical versions are given. The application of the method in diagnosis of the state of discrete units with memory is described. The method is applicable to any faults that can be described by transformations of circuit element equations.