CodiodeCodiode
Home
Problem Solving
Skill Tracks
My Assignments
Contests
Leaderboard
Community
Settings
Codiode/Problems/Sequential Logic

Counter: Wrong Sequence Diagnosis

HardLogic CircuitDebug

A 3-bit synchronous up-counter iterates through the binary sequence from 0 to 7 on each clock cycle. The next-state logic block computes the subsequent state D2, D1, D0 based on the current state Q2, Q1, Q0.

Expected behavior:

| Q2 | Q1 | Q0 | D2 | D1 | D0 | |------|------|------|------|------|------| | 0 | 0 | 0 | 0 | 0 | 1 | | 0 | 0 | 1 | 0 | 1 | 0 | | 0 | 1 | 0 | 0 | 1 | 1 | | 0 | 1 | 1 | 1 | 0 | 0 | | 1 | 0 | 0 | 1 | 0 | 1 | | 1 | 0 | 1 | 1 | 1 | 0 | | 1 | 1 | 0 | 1 | 1 | 1 | | 1 | 1 | 1 | 0 | 0 | 0 |

Simulation of the complete counter yields the sequence 0, 1, 2, 3, 5, 4, 7, 6, 0. The overall period is correct but the sequence is invalid. State 3 (Q2=0, Q1=1, Q0=1) incorrectly evaluates to next state 5 (D2=1, D1=0, D0=1) instead of 4 (D2=1, D1=0, D0=0). The least significant bit D0 evaluates incorrectly for this specific state transition.

Inspect the next-state logic circuit and correct the fault.

Constraints

  • Do not alter the functional logic of D2 or D1 which are evaluating correctly for state 3.
  • The final circuit must use standard logic gates to implement the correct excitation equations.

Topics

debuggingsequential-logiccountersnext-state-logic

Solve this problem

Place the gates, wire them up and watch the signals settle. Every submission runs on the same simulation engine that grades it.

This problem is part of Codiode Pro. The statement above is free to read.

Sign in to solveSee what Pro unlocks

The circuit builder and code editor need a desktop screen. On a phone, read the problem here and open it on a laptop to solve.

Related problems

  • 3-bit Ripple Counter from Toggle Flip-FlopsEasy
  • D Latch from a 2:1 MUXEasy
  • 2-bit Ring CounterEasy
  • T Flip-Flop from a D Flip-FlopEasy
  • Handshake Deadlock Due to Early ResetHard
  • Reconvergence of Individually Synchronized BitsHard
  • Debug: Asynchronous Clear GlitchHard
  • Clock Gate Enable Crossing DomainsHard

Browse all problems · Learning tracks