Q1 (2 pts) Design a 1-bit memory of a full-adder.
The following sequential circuit includes a full-adder (described in the previous question). Inputs are X, Y and carry-in, and outputs are the next state of S and Q.
Implement the sequential circuit in Logisim simulator.
Through the Logisim simulation of this sequential circuit, complete the following truth table for this 1-bit memory of a full-adder: Note that the Carry out signal is output, not the input. The carry in signal is the same as the Q. You can change the Carry-in bit by clicking the D-FF.
X |
Y |
Carry-in (or Q before clock) |
S (before clock) |
Carry-out (before clock) |
S (after clock) |
Carry-out (after clock) |
0 |
0 |
0 |
||||
0 |
0 |
1 |
||||
0 |
1 |
0 |
||||
0 |
1 |
1 |
||||
1 |
0 |
0 |
||||
1 |
0 |
1 |
||||
1 |
1 |
0 |
||||
1 |
1 |
1 |
For Q1, attach your truth table to your submission. No need to submit .circ file for this 1-bit memory of a full-adder.
Q2. (4 pts) Design a sequential circuit.
A sequential circuit has one D flip-flop and one JK-flip-flop, two inputs x and y, and one output z. A and B are the outputs of each D flip-flop, and JK-flip-flop, respectively. The flip-flop input equations and the circuit output are as follows. Here DA is the D input of the D-flip flop of A, and JB, KB is the J and K input of the JK-flip flop of B.
DA = ~xy + yB
JB = ~xB + xy
KB = yB + ~xA
z = y+x~y
Q2-1. (1pt) Draw the logic diagram of the circuit and test it with Logisim. Please attach the circuit image only, (i.e., capture the circuit image and attach it to your submission file. No need to include .circ.)
Attach the circuit image here.
Q2-2. Construct a state transition table as well as a state diagram of this circuit. Note that you don’t have to simplify states. (1pt)
X |
Y |
A( t ) |
B ( t ) |
A(t + 1) |
B(t + 1) |
Z |
0 |
0 |
0 |
0 |
|||
0 |
0 |
0 |
1 |
|||
0 |
0 |
1 |
0 |
|||
0 |
0 |
1 |
1 |
|||
0 |
1 |
0 |
0 |
|||
0 |
1 |
0 |
1 |
|||
0 |
1 |
1 |
0 |
|||
0 |
1 |
1 |
1 |
|||
1 |
0 |
0 |
0 |
|||
1 |
0 |
0 |
1 |
|||
1 |
0 |
1 |
0 |
|||
1 |
0 |
1 |
1 |
|||
1 |
1 |
0 |
0 |
|||
1 |
1 |
0 |
1 |
|||
1 |
1 |
1 |
0 |
|||
1 |
1 |
1 |
1 |
Attach a state diagram here. (2pts)
Q3. (14pts) Design a sequential system by simplifying the states.
Q3-1. Draw the corresponding state transition table with 7 states (i.e., S0-S6) and simplify it to the one with 4 states. (Refer to pages 9 and 10 of Lecture Note: 12.SeqCircuit.pptx).
Hint: focus on a pair of S0 and S5; a pair of S1 and S4; and a pair of S2 and S6
The original state transition table
Input X = 0 |
Input X = 1 |
|||
Current State |
Next State |
Output Z |
Next State |
Output Z |
S0 |
||||
S1 |
||||
S2 |
||||
S3 |
||||
S4 |
||||
S5 |
||||
S6 |
A simplified state transition table
Input X = 0 |
Input X = 1 |
|||
Current State |
Next State |
Output Z |
Next State |
Output Z |
S05 |
||||
S3 |
||||
S14 |
||||
S26 |
Q3-2. Allocate 2 JK flip-flops (A and B) to this simplified state transition diagram as following page 11 of 12.SeqCircuit.pptx.
Q(t) |
Q(t+1) |
J |
K |
0 |
0 |
0 |
* |
0 |
1 |
1 |
* |
1 |
0 |
* |
1 |
1 |
1 |
* |
0 |
input X=0 |
input X=1 |
input X=0 |
input X=1 |
input X=0 |
input X=1 |
|||||||
Current State |
Next State |
Output Z |
Next State |
Output Z |
JK Flip-Flop A |
JK Flip-Flop B |
||||||
AB |
AB |
Z |
AB |
Z |
Ja |
Ka |
Ja |
Ka |
Jb |
Kb |
Jb |
Kb |
S05=00 |
||||||||||||
S3 = 01 |
||||||||||||
S14=11 |
||||||||||||
S26=10 |
Q3-3. Determine and simplify Boolean equations to these two JK flip-flops’ inputs, (i.e., Ja/Ka, and Jb/Kb) using K-maps, as following page 12 of 12.SeqCircuit.pptx.
Ja =
AB X |
00 |
01 |
11 |
10 |
0 |
||||
1 |
Ka =
AB X |
00 |
01 |
11 |
10 |
0 |
||||
1 |
Jb =
AB X |
00 |
01 |
11 |
10 |
0 |
||||
1 |
Kb =
AB X |
00 |
01 |
11 |
10 |
0 |
||||
1 |
Q3-4. Determine and simplify a Boolean equation to represent the output Z.
Z =
AB X |
00 |
01 |
11 |
10 |
0 |
||||
1 |
Q3-5. Draw the corresponding sequential circuit, using Logisim.
Capture the circuit image to your submission. No .circ file needed.
Attach the circuit image here.