In: Izv. Akad. Nauk SSSR, Tekhn. Kibernet., No. 2, pages 171-190. 1988. In Russian.
Also in: Soviet Journal of Computer and Systems Sciences, Vol. 26, No. 5, pages 61-76. 1989. English translation.
Abstract: A survey of models oriented toward specification of asynchoronous circuits and an investigation of their behavior is presented. Using transition diagrams and systems of Muller's equations as well as signal Petri nets, a comparative analysis is given of available modelling tools and estimation of laboriousness of the analysis procedures. In conclusion, the authors consider a model of the diagram of variations which turns out to be the most efficient, since the algorithms for its analysis possess polynomial bounds on complexity.
Keywords: asynchronous circuit; transition diagram; signal nets; modelling tool; diagram (of) variations.