Digital System Design using FSMs