Model of asynchronous finite state machines and their pipelined structures

The design of asynchronous finite state machines (AFSMs) has been limited because multiple-input changes are disallowed. A new architecture for designing AFSMs with completion signals, in which the completion signal is generated whenever both outputs and internal states stabilize, is presented. Results show that the proposed design allows multiple-input changes and is free of races and hazards. Based on the proposed architecture, a pipelined AFSM structure is presented.<
>