Description

In this assignment you will translate a system description into a FSM state diagram and then transform it into a Logisim FSM controller circuit using a truth table and Boolean equations. Please review lecture video 12 (see Module 3 , Chapter 3 Lecture Videos ) on Blackboard on how this process works and what the steps are.

System Description & State Diagram

First task: Transform the following system description into a FSM state diagram (you can use https://www.lucidchart.com to create this diagram). 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). If the state does not change for certain events, make sure to model this behavior with an appropriate transition. The system has three states with the following names: A , B , C

The system has two 1-bit inputs: Forward button (label: Fb ), Reverse button (label: Rb )

The system has one 2-bit output: Content (label: con or con1 and con0 for each individual bit where con1 is the MSB and con0 is the LSB) If the Forward button is pressed, go to the next state (order: A -> B -> C -> A -> ...).

If the Reverse button is pressed, go to the previous state (order: A -> C -> B -> A -> ...).

If no button is pressed, stay in current state.

If both buttons are pressed, go to state A . If the current state is already A , stay in state A .

The output Content of state A is the following 2-bit binary value: 11

The output Content of state B is the following 2-bit binary value: 00

The output Content of state C is the following 2-bit binary value: 10

The output Content of each state is also the binary encoding of the respective state. This encoding is used to represent each state in the truth table, Boolean equation and circuit.

Converting to Circuit

Do 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. Use the given labels. Order multi-bit inputs/outputs from MSB to LSB as columns. 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. Use the same labels as in the truth table. Dont simplify the Boolean equations.

3. Create a working FSM controller circuit in Logisim. Make sure to test it properly and thoroughly to confirm it is working as described in the System Description above. You can use the built-in register component of Logisim for your state register. Deliverables

The following two deliverables must be submitted before the due date:

1. Design document as pdf that includes the state diagram, truth table and Boolean equations of the FSM. Submit the file on BB with the following naming convention: lastname_finalpart1.pdf (6 points)

2. Logisim .circ file of the FSM controller circuit. Submit the file on BB with the following naming convention: lastname_finalpart1.circ (6 points) Important: If the file names deviate from the given naming convention below, you will receive 0 points for this part.