• DocumentCode
    813863
  • Title

    Communicating processes in designing asynchronous circuits

  • Author

    Rahardjo, E. ; Peters, J.F. ; McLeod, R.D.

  • Author_Institution
    Dept. of Electr. & Comput. Eng., Manitoba Univ., Winnipeg, Man., Canada
  • Volume
    10
  • Issue
    7
  • fYear
    1995
  • fDate
    7/1/1995 12:00:00 AM
  • Firstpage
    8
  • Lastpage
    11
  • Abstract
    Asynchronous circuits are circuits that operate without a common global clock. They are potentially suitable for low-power devices. This paper describes an approach to verify speed-independent asynchronous circuits by using a protocol validation tool.<>
  • Keywords
    asynchronous circuits; hazards and race conditions; logic CAD; logic design; protocols; PROMELA model; SPIN; asynchronous circuit design; communicating processes; erroneous C-element; hazards; low-power devices; protocol validation tool; races; speed-independent asynchronous circuits; Aerospace testing; Asynchronous circuits; Clocks; Electronic equipment testing; Hardware; Hazards; Process design; Protocols; Satellites; Signal design;
  • fLanguage
    English
  • Journal_Title
    Aerospace and Electronic Systems Magazine, IEEE
  • Publisher
    ieee
  • ISSN
    0885-8985
  • Type

    jour

  • DOI
    10.1109/62.400971
  • Filename
    400971
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=813863