A Characterization of Some Asynchronous Sequential Networks and State Assignments

Larry L. Kinney

Research output: Contribution to journalArticlepeer-review

1 Scopus citations

Abstract

An asynchronous sequential network is an interconnection of several asynchronous sequential circuits. Asynchronous networks are classified according to the relative time delay of the individual circuit's feedback signals and input signals. They are also classified by the manner in which the circuits interact. In addition, another network model uses duplicate paths for the feedback signals and the input signals of a circuit where the duplicate paths have differing delays. The partition theory of Hartmanis and Stearns [5] is used for characterizing some of the network types in a manner analogous to the characterization of synchronous sequential networks. The special case where each circuit in the network has only two states is equivalent to specifying a state assignment for the overall network and this leads to a characterization of some state assignments for asynchronous circuits. In particular, any arbitrary state assignment for the network which has duplicate paths and delays is shown to be free of critical races, and another network model leads to a variation of the minimum transition-time state assignments which in certain cases may require fewer state variables.

Original languageEnglish (US)
Pages (from-to)426-436
Number of pages11
JournalIEEE Transactions on Computers
VolumeC-20
Issue number4
DOIs
StatePublished - Apr 1971
Externally publishedYes

Keywords

  • Asynchronous circuits
  • decompositions
  • partition theory
  • state assignments

Fingerprint

Dive into the research topics of 'A Characterization of Some Asynchronous Sequential Networks and State Assignments'. Together they form a unique fingerprint.

Cite this