In: Proceedings of the IEEE International Symposium on Circuits and Systems, 1989, Portland, OR, USA; Vol. 1, pages 313-318. New York, NY, USA: IEEE, 1989.
Abstract: A formal method is presented to synthesize a sequential machine as a set of sequential circuits and asynchronous modules. The sequential machine is described using a graphical Petri-net-based model. Local transformations that simplify the model and the resulting circuit are described.
Keywords: synthesis (of) control flow.