Coherent design of asynchronous circuits

A design procedure for asynchronous sequential circuits is presented, which is based on a nonambiguous tree representation of the circuit´s behaviour, this representation eliminating both the need for merging a flow table as well as that of encoding internal states. No critical races occur. It is still a drawback of the method that it does not always lead to the minimum number of internal states.