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

Up/Down Counter: DOWN Mode Counting UP Debug

MediumLogic CircuitDebug

Up/down counters track position in rotary encoders and bi-directional inventory systems.

A 2-bit up/down counter increments its value on the rising clock edge when DOWN=0 and decrements when DOWN=1. An asynchronous reset rst clears the counter to 00.

Expected behavior:

| DOWN | Current Q1 | Current Q0 | Next Q1 | Next Q0 | |--------|--------------|--------------|-----------|-----------| | 0 | 0 | 0 | 0 | 1 | | 0 | 0 | 1 | 1 | 0 | | 0 | 1 | 0 | 1 | 1 | | 0 | 1 | 1 | 0 | 0 | | 1 | 0 | 0 | 1 | 1 | | 1 | 1 | 1 | 1 | 0 | | 1 | 1 | 0 | 0 | 1 | | 1 | 0 | 1 | 0 | 0 |

Simulation shows the counter increments regardless of the DOWN signal. When initialized to 00 with DOWN=1, the next state evaluates to 01 instead of 11. Inspect the circuit and correct the fault.

Constraints

  • Do not modify the clock or reset routing.
  • Preserve the existing flip-flop components.

Topics

debugsequential-logiccounters

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