Title :
Synthesis and Asynchronous Implementation of Algorithms Using a Generalized P-Function Concept
Author_Institution :
Philips Research Laboratory
Abstract :
A formalism has been introduced for program description and synthesis, namely the matrix description of instructions. In this paper we put that formalism to work by associating with it computation methods based on a generalized P-function concept. Algorithms are derived for the optimal implementation of programs in asynchronously organized structures.
Keywords :
Algorithmic state machines; P-functions; Petri nets; factorization of Boolean matrices; implementation of algorithms; microprogrammed structures; parallel program schemata; switching theory; Automata; Automatic control; Calculus; Computational modeling; Concurrent computing; Control system synthesis; Digital systems; Hardware; Petri nets; Software algorithms; Algorithmic state machines; P-functions; Petri nets; factorization of Boolean matrices; implementation of algorithms; microprogrammed structures; parallel program schemata; switching theory;
Journal_Title :
Computers, IEEE Transactions on
DOI :
10.1109/TC.1984.1676347
