Verilog problems / Fun & Games
What you must build
Count how many bit positions differ between two 8-bit values — the core distance metric behind error-correcting codes like Hamming(7,4).
Engineers use “Hamming Distance Calculator” as a building block in fun & games. Interviewers ask for the same ports and the same corner cases this judge covers. Completing it in the browser is the same skill as writing synthesizable RTL at work, minus the EDA license.
a^b: diff=a^b; distance=diff[0]+diff[1]+...+diff[7];. Swapping XOR for AND is an easy bitwise mix-up that produces a real (but wrong) number instead of an obvious error — a&b counts bits that are set in both operands, which is an entirely different quantity that happens to equal zero whenever the two values share no 1-bits at all, masking the bug on plenty of otherwise-reasonable test inputs.Port contract
The judge instantiates exactly these ports. Extra ports or a different module name fail to elaborate.
| Name | Dir | Width | Description |
|---|---|---|---|
| a | input | 8 | First value |
| b | input | 8 | Second value |
| distance | output | 4 | Number of bit positions where a and b differ (0-8) |
How to approach this kata
This is an introductory kata. Prefer a clear continuous assignment or a small combinational always block. Name the module top_module and keep the port list identical to the table — the hidden testbench instantiates that name.
Hidden tests instantiate top_module, drive the ports, and compare every sample against a golden model. They do not grade coding style. They do grade X/Z, off-by-one counters, and ignoring enables. Sign in only when you want the run saved on the leaderboard — the specification below is public.
Starter shape
Copy this skeleton into the editor (or press Reset starter). Fill the body; do not rename the module.
module top_module( input [7:0] a, input [7:0] b, output [3:0] distance ); // Your code here — distance = popcount(a ^ b). endmodule
Why this shows up in interviews
Hamming Distance Calculator sits under Fun & Games (combinational, error-correction). Concept: XOR marks exactly the bit positions where two values disagree, so the Hamming distance is simply the popcount of a^b : diff=a^b; distance=diff[0]+diff[1]+...+diff[7]; . Swapping XOR for AND is an easy bitwise mix-up that produces a real (but wrong) number instead of an obvious error — a&b counts bits that are set in both operands, which is an entirely different quantity that happens to equal zero whenever the two values share no 1-bits at all, masking the bug on plenty of otherwise-reasonable test inputs.
A passing solution is synthesizable intent: no delays in the DUT, no initial blocks inside top_module, and no reference to testbench tasks. Use blocking assignments only in combinational always blocks; use non-blocking for registers clocked by clk.
Related problems
- Rock Paper Scissors Lizard Spock — Judge a round of the 5-way expanded rock-paper-scissors from The Big Bang Theory — each move beats exactly two of the other four, so the usual 3-way rule table isn't enough.
- Magic 8-Ball Fortune Teller — Give a "random-feeling" fortune-teller answer on every shake using a self-advancing 3-bit LFSR — a tiny, deterministic taste of pseudo-randomness in hardware.
- Hot Potato Token Passer — Pass a token around a 4-player ring every cycle until a buzzer sounds — whoever's holding it when the music stops loses, and the game freezes there.
- Reaction Game Scorer — Score a simple reflex game: a light comes on, the player presses a button, and the circuit measures how many cycles it took — flagging jumping the gun or dozing off.
FAQ
What does this problem require?
What does the Hamming Distance Calculator problem ask for? Count how many bit positions differ between two 8-bit values — the core distance metric behind error-correcting codes like Hamming(7,4). Implement it as Verilog module top_module with the listed ports.
Combinational or sequential?
Is Hamming Distance Calculator combinational or sequential? Tags: combinational, error-correction. Follow the clock/reset ports if they appear in the table; if there is no clock, use continuous assignment or combinational always @(*).
How does the auto-grader work?
How is Hamming Distance Calculator graded? A hidden SystemVerilog/Verilog testbench in the EcrioniX judge simulates your module in the browser. You pass when every directed vector matches, including the waveform contract shown on this page.