Davis Hall Elevator

FSM of the Davis Hall elevator system at UB. There are 3 inputs and 3 outputs. For my convenience, you can change the clock when you want so you can see the states changing and the reset can be updated for the D-FFs. I have also added buffers to the bottom of the circuit to make it easier for me to get to the D-FF outputs. x is the elevator input in two bits with x1 being the MSB and x0 being the LSB. There are 4 floors designated by: 00 - floor 1 01 - floor 2 10 - floor 3 11 - floor 4 k is the card swipe input. You are only able to get to the forth floor if you have swipe access. 0 is for no access or not accessed and 1 is for access accepted. d is the elevator door's output. 1 is for the door is open and 0 is for the door is closed. f is the current floor of the elevator output. It matches x's setup where f1 is the MSB and f0 is the LSB. The output is designated by: 00 - floor 1 01 - floor 2 10 - floor 3 11 - floor 4