One of the green parking lots has only one entrance gate and can accommodate only 10 cars. Only one car can pass through the entrance gate (either exit or enter) at a time.

Two light sensors, separated by 1 meter, detect whether the car is entering or leaving.

During entrance, there will be a sign with FULL or FREE.

a. Derive the state diagram for the problem.

b. Using Xilinx ISE, write and simulate a VHDL/Verilog description to correctly command the lights according to the occupancy of the parking lot.

c. Write a test bench to simulate the above operation.

d. Provide synthesis report.