Asynchronous state machine synthesis using data driven clocks

The author presents a systematic approach to the design of asynchronous state machines with minimum state variables and arbitrary state encoding. Multiple input changes are allowed. Simple latches in master-slave configuration are used as memory elements rendering the method suitable for implementation in SSI or VLSI. This approach avoids the extra delay elements often necessary in self-clocked circuits. The method is illustrated by its application to the design of a VMEbus requester