In: Technical Report, No. CS0959, pages 1-7. CS Dept, Technion, Haifa, Israel, January 2000.
Abstract: In this paper we illustrate the applicability of the Petri-net oriented tool `Petrify' to the semi-automated verification of asynchronous circuits, by means of three rather simple case studies.