ABSTRACT
This chapter gives an in-depth overview of formulation of the ASM and realisation of relevant real-time systems. FSM-based Moore and Mealy model design techniques are also detailed. Further, the design of input code classifiers, sequence detectors, code converters, vending machine controllers (VMCs), traffic light controllers (TLCs), escalator controllers, dice games and electronic model train controllers (MTCs) are discussed in detail to tell the reader more about system design with FSM and ASM. The differences between simple gate-level design and FSM/ASM-based design are explained. The reader will find out why we need FSM/ASM-based design. Conversion of one FSM model to another, i.e., Moore to Mealy and vice versa, is also explained, with conversion algorithm and design examples. The improvement of design efficiency when using the FSM is proved using different examples such as a binary-to-BCD code converter, code classifier and sequence recognizer. Electro-mechanical assembly design for a VMC and TLC, their working principles and the design of the FSM needed to control their operation are explained. The simple construction and working principles of an escalator, playing strategy for a dice game and design of a simple MTC are detailed, with necessary sketches and design examples. Finally, the chapter ends with laboratory exercises.
