Design of synchronous FSM 
In time state machine all inputs are synchronized with
In designing Algorithmic State Machine (ASM) with multiplexers, the registers hold
A state table for a controller is a list of present states and inputs and their corresponding
The logic circuits whose outputs at any instant of time depends only on the present input but also on the past outputs are called