Lab 6
Lab 6
Note that the binary states ‘0’, ‘6’ and ‘7’ are not used. The counter must be self-starting; that is,
if the circuit starts on any of the invalid states (‘0’, ‘6’ or ‘7’), the counter must move on to any
valid state on the next pulse and continue to work correctly. Not specifying any particular next
valid state gives some flexibility in our design, allowing for the use of don’t care conditions and
further reduce the circuit size. However, there is a possibility of instability. The design should
resemble an FSM without inputs or outputs, using D flip-flops. The counter is controlled only
by the clock.
Input: 0 1 1 0 1 1 0 1 0 0 1 0
Output: 0 0 0 0 1 0 0 1 0 0 0 0
Note how one bit can be common between two detected sequences. The design should
resemble a Moore FSM, using D flip-flops. You can use don’t care in case there are unused
states to simplify the combinational circuit.
1.2 Design procedure
Derive the following design data about the system:
1. Complete problem description (similar to the lecture).
2. State diagram,
3. State table,
4. FF-input equations,
5. A complete circuit schematic.
Pre-labs must be submitted on Brightspace before the start of the lab and by the
deadline posted on Brightspace.
2. Use the clock input from the wiring library. For help with the clock input, please refer to
(http://www.cburch.com/logisim/docs/2.7/en/html/libs/wiring/clock.html).
3. To check operation of the counter, use the 7-seg decoder display designed in previous
labs.
4. Enable logging to ‘Lab6_Ex1_log.txt’, and use the poke tool ( ) to change values of the
input Clk. Notice and record the output 7-seg display.
5. To check operation of the counter during the invalid states, please use the preset/clear
inputs of the D flip-flop to initialize the counter to each of the invalid states (‘0’, ‘6’ and ‘7’).
Then, proceed with the clock to ensure correct transition to ant valid state.
Note: Version 1.3, This manual was revised by Dr. Rose Gomar in June 2024.