Title :
Speed-independent circuit design using net-theoretic techniques
Author :
Tan, Y.K. ; Lim, Y.C. ; Leong, H.W.
Author_Institution :
Nat. Univ. of Singapore, Singapore
Abstract :
The authors propose the design of an asynchronous circuit using a new Petri net model called the signal transition net (STN) where no structural restriction needs to be imposed. The partial relations used for the specification and the important properties of the STN are described axiomatically and then analyzed based on the new notions of finiteness and completeness of the unfolding (see M. Nielsen et al., 1981) of the STN. Unfolding is a partial order semantic of Petri nets
Keywords :
Petri nets; asynchronous sequential logic; logic design; Petri net model; asynchronous circuit; net-theoretic techniques; partial order semantic; signal transition net; speed-independent circuit design; unfolding; Asynchronous circuits; Circuit synthesis; Clocks; Signal analysis; Signal design; Signal synthesis;
Conference_Titel :
Circuits and Systems, 1992. ISCAS '92. Proceedings., 1992 IEEE International Symposium on
Conference_Location :
San Diego, CA
Print_ISBN :
0-7803-0593-0
DOI :
10.1109/ISCAS.1992.230697
