Think of a digital system application that utilizes the principle of Finite State Machine (FSM). (Example: Traffic light controller)
Describe in detail the application in term of its operational characteristics until the logic circuitry. Your explanation should include the following:
1. Explanation on the application and how it works (operation).
2. Functional state diagram
3. Truth table
4. Logic circuit
5. Verification of the system using Xilinx simulation.