On the specification and synthesis of hazard-free asynchronous control circuits
T.-A. Chu · 1993 IEEE International Symposium on Circuits and Systems · 2002
Two related approaches to the specification and synthesis of hazard-free asynchronous control circuits are described. The first approach is based on signal transition graphs (STGs), a type of interpreted Petri nets. The second is based on a subclass of state machines called asynchronous finite state machines (AFSMs).>