Description In this assignment you will translate a system description into a FSM state diagram and then transform it into a FSM controller circuit in Logisim by utilizing a truth table and Boolean equations. System Description & State Diagram First task: Transform the following system description into a FSM state diagram (you can use any tool to create this diagram, which allows you to draw circles and connect arrows between them; hand-drawn diagrams will not be accepted). Make sure you are using the correct notation for the state diagram. Use the given labels for everything, dont pick your own labels. Everything is defined and you dont have to choose your own labels at any point during this assignment. Use minterms for every transition event in the state diagram (each event must be a specific configuration of all inputs) to avoid incomplete and non-exclusive transitions. If the state does not change for certain events, make sure to model this behavior with an appropriate transition. The system represents a simplified home security system, which has two inputs: One indicates if all doors and windows of the house are closed, the other indicates if the correct code combination has been entered. Multiple outputs inform the user about the state of the alarm: Lights indicate if the system has been armed or if the alarm has been tripped. Other outputs will turn on an audible alarm or notify the police. The code combination allows the user to arm and disarm the system and the alarm is triggered by doors/windows being opened. If the alarm is triggered and the incorrect code is entered, the police will be notified. Below is the detailed system description, which will be used to create the state diagram of this system. The system has two 1-bit inputs: All Doors / Windows Closed (label: d), Entered Correct Combination (label: e) The system has 4 1-bit outputs: 1. Red Light (label: R), which will be 1 when the system is activated or the alarm has been tripped (i.e., a door / window being opened after the system being armed), and will turn on a red visual indicator. 2. Green Light (label: G) which will be 1 when the system is not activated or has been successfully disarmed, and will turn on a green visual indicator.

3. Audible Alarm (label: A), which will cause an audible alarm if this output is 1 and indicates the home has been entered after the system has been activated. 4. Notify Police (label: P), which will notify police if this output is 1 and indi- cates that the home has been breached without the correct combination being provided. The system has 4 states: 1. Alarm Not Set means the security system is not active or has just been de- activated. Here, the green light is active, neither the red light nor alarm are active, and the police are not notified. 2. Alarm Set means the security system is set and the home is secure. Here, the red light is active, the green light and alarm are both inactive, and the police are not notified. 3. Home Entered means that a door or window has been opened after the security system has been set. The red light is active, the green light is not active, the audible alarm is active, at this point the police has not been notified. 4. Home Breached means that a door or window has been opened after the security system is set, and that the correct combination has not been entered. Here, the red light and audible alarm are both active, and the police are notified. The green light is not active. The binary encoding of the states is as follows: Alarm Not Set: 00 Alarm Set: 01 Home Entered: 10 Home Breached: 11 If the system is in the Alarm Not Set state, it will stay in this state until the correct combination has been entered while all doors and windows are also closed, in which case it will transition into Alarm Set. The state will remain Alarm Not Set for any other combination of inputs. If the system is in the Alarm Set state, it will transition into the Alarm Not Set state if a correct combination is entered, regardless of the other inputs value. It will transition into Home Entered if a door or window is opened without a correct combination being entered. The system will stay in the Alarm Set state as long as all doors / windows remain closed and a correct combination is not entered. If the system is in the Home Entered state, the next state will depend solely on whether the correct combination has been entered (i.e., in the Home Entered state it is irrelevant whether all doors / windows continue to remain open or closed). If the correct combination is entered, the system will transition into the Alarm Not

Set state, but if the correct combination is not entered, the system will transition into the Home Breached state. If the system is in the Home Breached state, it will remain in this state regardless of future inputs. Converting to Circuit Perform the following tasks after you transformed the previous system description into a state diagram: 1. Create the truth table to describe the complete behavior of the state diagram (all possible input combinations for all existing states must be covered). Use the given labels. Order columns for multi-bit inputs/outputs from MSB to LSB. Indicate which are inputs and which are outputs. Do not simplify the truth table with dont care-symbols. For the current state use label c (add index if multi-bit: c0 for LSB, c1, etc.) and for the next state use label n (add index if multi-bit: n0 for LSB, n1, etc.). 2. Derive the Boolean equations from the truth table for all outputs (next state and all system outputs). Use the same labels as in the truth table. Dont simplify the Boolean equations. 3. Create a working FSM controller circuit in Logisim. You can use the built-in register component of Logisim for your state register. Rename the "main" circuit to "HomeSecurity". Notes: Make sure to test it properly and thoroughly to confirm it is working as described in the System Description above. To test the FSM, it is recommended to manually toggle the clock. This way you are able to see each state change clearly. If your system reaches the Home Breached state, you will not be able to leave this state (as intended). To continue testing, you have to reset the Logisim simulation (Simulate -> Reset Simulation). In this system, not all system outputs are equal to an existing signal in the system. There are two possible approaches to generate system outputs: Cre- ate a combinational circuit based on the derived Boolean equations for the respective system outputs, or use a multiplexer to map the current state to the correct system outputs using the constant component of Logisim. For the next state bits, you must include all system inputs including the current state. For the system outputs, since they only depend on the current state, you can derive these equations by just using the current state bits and can omit the system inputs