Sciweavers

Share
IFIP
1992
Springer

Controller Implementation by Communicating Asynchronous Sequential Circuits Generated from a Petri Net Specification of Required

10 years 3 months ago
Controller Implementation by Communicating Asynchronous Sequential Circuits Generated from a Petri Net Specification of Required
This paper presents a completely systematic design procedure for asynchronous controllers. The initial step is the construction of a signal transition graph (STG, an interpreted Petri net) of the dialog between data path and controller: a formal representation without reference to time or internal states. To implement concurrently operating control structures, and also to reduce design effort and circuit cost, this STG can be decomposed into overlapping subnets. A universal initial solution is then obtained by algorithmically constructing a primitive flow table from each component net. This step links the procedure to classical asynchronous design, in particular to its proven optimization methods, without restricting the set of solutions. In contrast to other approaches, there is no need to extend the original STG intuitively.
Jochen Beister, Ralf Wollowski
Added 10 Aug 2010
Updated 10 Aug 2010
Type Conference
Year 1992
Where IFIP
Authors Jochen Beister, Ralf Wollowski
Comments (0)
books