Corrective control of asynchronous sequential machines (ASMs) represents a critical advancement in the design and operation of digital systems where state transitions occur without synchronous timing.

Are your sequences state based? Is there a finite set of conditions that drives your control sequences? If not, you may be missing out on one of the most intuitive ways to write control sequences.