• DocumentCode
    2762736
  • Title

    Projection: a synthesis technique for concurrent systems

  • Author

    Manohar, Rajit ; Lee, Tak-Kwan ; Martin, Alain J.

  • Author_Institution
    Sch. of Electr. Eng., Cornell Univ., Ithaca, NY, USA
  • fYear
    1999
  • fDate
    1999
  • Firstpage
    125
  • Lastpage
    134
  • Abstract
    We present a process decomposition technique for the design of pipelined asynchronous circuits. The technique is simple to use, and is based on projecting a program on different sets of variables. We provide conditions under which the technique can be applied, and show how it can be used to decompose complex concurrent programs
  • Keywords
    asynchronous circuits; circuit CAD; integrated logic circuits; logic CAD; pipeline processing; complex concurrent program decomposition; concurrent systems; pipelined asynchronous circuits; process decomposition technique; projection method; synthesis technique; Circuit synthesis; Cogeneration; Computer science; Concurrent computing; Microprocessors; Military computing; Monitoring; Pipeline processing; Research and development; Very large scale integration;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Advanced Research in Asynchronous Circuits and Systems, 1999. Proceedings., Fifth International Symposium on
  • Conference_Location
    Barcelona
  • ISSN
    1522-8681
  • Print_ISBN
    0-7695-0031-5
  • Type

    conf

  • DOI
    10.1109/ASYNC.1999.761528
  • Filename
    761528