We want to design a simple elevator controller, which is going to control an elevator that goes between just two floors. There is a request “button” for each floor. As we all know with elevators, when...

We want to design a simple elevator controller, which is going to control an elevator that goes between just two floors. There is a request “button” for each floor. As we all know with elevators, when such a button is pressed, it illuminates until the elevator arrives, at which point the light in the button goes out. We are going to model this by having a request signal associated with each button. The request signal will stay asserted until it gets reset. The controller has the following inputs, in addition to a clock: Two request inputs, one for each floor, to indicate that someone wants the elevator to move to that floor Two position inputs, one for each floor, to indicate that the Elevator is physically at the floor A“ doorclosed ”input, to indicate that the elevator dooris Closed To control the elevator, the state machine we are going to specify will have the following outputs: A “dooropen” signal, which causes the door too penand keeps it open as long as it’s asserted Upand down controls for the motor, which(as you might suspect) cause the elevator to move “up” from floor 1 to floor 2, or “down” from floor 2 to floor 1 Tworesetoutputs, toclearthecorrespondingrequests The behavior we want is the following: Whentheelevatorreachesaflooritopensthedoorand keeps it open until it receives a request to move Theelevatorcannotmoveuntilitknowsthedoorisclosed. We’re assuming the door doesn’t close immediately, but starts to close when the “door open” control signal deasserts Itmovestheelevatorinthecorrectdirection Itkeepstheelevatormovinguntilitknowsthatithasreached the floor it is attempting to reach. The elevator stops moving when neither ofthe up and down control signals is asserted. Whenitreachesitsdestination,itresetstherequestthat caused it to move.Create an SM chart to specify the functionality that we need for this elevator controller, given the above description of inputs, outputs, and desired behavior.Write the always @(*) procedure that would implement the output and next state logic for this state machine.