On processing order for obtaining implication relations in static learning

Static learning is a procedure to extract implication relations of a logic circuit. In this paper we point out that the number of the extracted implic ation relations by static learning depends on the order of signal lines pro cessed. Also, we show four procedures for ordering signal lines processed a nd the effectiveness of the ordering procedures by experiments.