CASCADE: A Tool Kernel Supporting a Comprehensive Design Method for Asynchronous Controllers

Improved Decomposition of STGs

“…[6]) and CASCADE [2], which in many cases can synthesize a circuit from an STG. Transitions are labelled with rising and falling edges of input and output sig-nals; the latter are considered to be controlled by the circuit, the former by its environment.…”