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

Counter: Maximal Valid Sequence Design (15 of 16 States)

HardLogic CircuitBuild

Modulo-N counters frequently align to non-power-of-two boundaries in timing circuits and frequency dividers. A modulo-15 counter maximizes the state utilization of a 4-bit register while reserving a single state for error detection or synchronization.

The circuit must implement the combinational next-state logic for a 4-bit synchronous up-counter. The current state is provided via inputs Q3, Q2, Q1, and Q0. The circuit must generate the next state on outputs D3, D2, D1, and D0. The counter increments by one for all states from 0 to 13. State 14 transitions to state 0. If the counter enters the invalid state 15, it must recover by transitioning directly to state 0.

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

Constraints

  • Implement only the combinational next-state logic.
  • Do not use any sequential elements like flip-flops or latches.
  • Handle the invalid state 15 explicitly: it must route to state 0.

Topics

Sequential LogicCountersState Machines

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