Digital Logic and State Machine Design