• DocumentCode
    1149552
  • Title

    Synthesis and Asynchronous Implementation of Algorithms Using a Generalized P-Function Concept

  • Author

    Thayse, André

  • Author_Institution
    Philips Research Laboratory
  • Issue
    10
  • fYear
    1984
  • Firstpage
    861
  • Lastpage
    868
  • 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;
  • fLanguage
    English
  • Journal_Title
    Computers, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0018-9340
  • Type

    jour

  • DOI
    10.1109/TC.1984.1676347
  • Filename
    1676347
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1149552