Title :
Synthesis of a Petri net based control flow model
Author :
Nishimura, Richard ; Zaky, Safwat G.
Author_Institution :
Dept. of Electr. Eng., Toronto Univ., Ont., Canada
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 that offers descriptive advantages over state diagrams. Local transformations that simplify the model and the resulting circuit are described. The model is partitioned into a set of finite-state machines that are synthesized into circuits using standard techniques. Nodes in the model that are not synthesized as part of a finite-state machine are synthesized directly as asynchronous modules
Keywords :
Petri nets; logic design; sequential circuits; sequential machines; Petri net based control flow model; asynchronous modules; finite-state machines; formal method; local transformations; sequential circuits; sequential machine; standard techniques; Analytical models; Asynchronous circuits; Automata; Circuit simulation; Circuit synthesis; Clocks; Fires; Petri nets; Registers; Sequential circuits;
Conference_Titel :
Circuits and Systems, 1989., IEEE International Symposium on
Conference_Location :
Portland, OR
DOI :
10.1109/ISCAS.1989.100354
