Issue No. 10 - October (1984 vol. 33)
A. Thayse , Philips Research Laboratory
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.
switching theory, Algorithmic state machines, factorization of Boolean matrices, implementation of algorithms, microprogrammed structures, parallel program schemata, Petri nets, P-functions
A. Thayse, "Synthesis and Asynchronous Implementation of Algorithms Using a Generalized P-Function Concept," in IEEE Transactions on Computers, vol. 33, no. , pp. 861-868, 1984.