Tag: Synchronous Sequential Logic Design and State Machines