Finite State Machine A secure lab facility would like to implement a simple security system intended to ensure that the door to a high-security area isn't accidentally left open. The door is equipped with a single door- open sensor, which produces a logic 'l' if the door has been left open, and a logic 'O' otherwise. The lab would like to produce a circuit that sounds an alarm if the door has been left open ("been '1'") for four or more clock cycles of the system clock. Your system should sound ALARM whenever the door has been AJAR for four or more clock cycles. When the door closes (i.e. AJAR returns to '0'), the ALARM should turn off until the next time the door has been open for a prolonged period. Direction Name Description Input AJAR The output of the door-open sensor, which is 'l' when the door is currently open, and 'o' otherwise. Output A signal which should be high when an alarm should be sounded (eg. ALARM when AJAR has been 'l'for four or more consecutive rising edges of the system clock), and should be 'o' otherwise. What to turn in (zipped together or in a .docx): 1. State Transition Diagram 2. State Transition Table 3. State Transition Table with encoded states 4. The next state logic (SO' = ... S1' = ..., etc.), the output logic (Output = ...) Finite State Machine A secure lab facility would like to implement a simple security system intended to ensure that the door to a high-security area isn't accidentally left open. The door is equipped with a single door- open sensor, which produces a logic 'l' if the door has been left open, and a logic 'O' otherwise. The lab would like to produce a circuit that sounds an alarm if the door has been left open ("been '1'") for four or more clock cycles of the system clock. Your system should sound ALARM whenever the door has been AJAR for four or more clock cycles. When the door closes (i.e. AJAR returns to '0'), the ALARM should turn off until the next time the door has been open for a prolonged period. Direction Name Description Input AJAR The output of the door-open sensor, which is 'l' when the door is currently open, and 'o' otherwise. Output A signal which should be high when an alarm should be sounded (eg. ALARM when AJAR has been 'l'for four or more consecutive rising edges of the system clock), and should be 'o' otherwise. What to turn in (zipped together or in a .docx): 1. State Transition Diagram 2. State Transition Table 3. State Transition Table with encoded states 4. The next state logic (SO' = ... S1' = ..., etc.), the output logic (Output = ...)