For the soda dispenser exan1ple used throughout Chapter 5:
(a) create a behavioral HDL description of the HLSM,
(b) create a testbench and simulate the system for some sample input sequences and verify correct behavior,
(c) create a structural HDL description for the data path,
(d) create a controller FSM and connect it to the data path.
(e) use the earlier test bench to simulate the controller/data path system to verify correct behavior.