• DocumentCode
    2037693
  • Title

    Synthesis-for-initializability of asynchronous sequential machines

  • Author

    Singh, Montek ; Nowick, Steven M.

  • Author_Institution
    Dept. of Comput. Sci., Columbia Univ., New York, NY, USA
  • fYear
    1996
  • fDate
    20-25 Oct 1996
  • Firstpage
    232
  • Lastpage
    241
  • Abstract
    We present a new method for the synthesis-for initializability of asynchronous state machines. Unlike existing approaches, our method incorporates a state assignment step. State assignment is critical, since initializability may be precluded by poor choice of state assignment. Also, we present precise conditions on hazard-free logic, to insure that the circuits are physically initializable
  • Keywords
    asynchronous sequential logic; logic design; state assignment; asynchronous sequential machines; asynchronous state machines; hazard-free logic; initializability; multi-hop transitions; single-hop transitions; state assignment; state assignment step; Circuit synthesis; Circuit testing; Clocks; Computer science; Distributed computing; Hazards; Logic circuits; Logic design; Synchronization; Timing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Test Conference, 1996. Proceedings., International
  • Conference_Location
    Washington, DC
  • ISSN
    1089-3539
  • Print_ISBN
    0-7803-3541-4
  • Type

    conf

  • DOI
    10.1109/TEST.1996.556966
  • Filename
    556966
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2037693