Abstract:
The article describes an expanded realization of a newly developed functional method of self-timed electronic circuits analysis. Indication properties of signals used in the method allow to determine delay independence of analyzed circuit and also get the necessary information on indication of both internal and external circuit signals. In the expanded realization, in addition to analysis itself one calculates the parameters needed and sufficient for applying the circuit in a higher level of hierarchy without circuit disclosing. The expanded tasks are realized in analysis program FAZAN that is characterized, as the previous realization, by polynomial complexity of calculations for the number of circuit signals.