The paper proposes and investigates the automatic synthesis of a throughput logic simulation by Quartus Prime state machine option and VHDL. For the combinational finite state machine, we have only ...

The supervisory control theory of discrete event systems modeled as finite state machines (FSMs) have been studied for many years. However, the problem of state explosion in the exiting theories ...