Skip to question

Q039FreeSystemVerilog

Find the unpaired fault ID

Difficulty
Easy
Topic
Streaming RTL
Language
SV
Interview prompt

Question

Read a framed stream of fault IDs and return the ID that appears once. Every other ID appears exactly twice. Assume ID_W >= 1. The producer guarantees these counts, so the unit does not need to validate them.

Candidate starting point

Implementation scaffold

module unpaired_fault_finder #(
  parameter int ID_W = 12
) (
  input  logic            clk,
  input  logic            rst_n,
  input  logic            fault_valid,
  input  logic            fault_last,
  input  logic [ID_W-1:0] fault_id,
  output logic            fault_ready,
  output logic            result_valid,
  input  logic            result_ready,
  output logic [ID_W-1:0] result_id
);
  logic [ID_W-1:0] xor_accum;

  assign fault_ready = !result_valid;

  always_ff @(posedge clk) begin : accumulate_and_publish
    // TODO: Implement accumulate_and_publish using the supplied state and interface.
  end
endmodule
Reviewed example

Trace one case

Input
accepted fault IDs=[5,2,5,2,7], last asserted with 7
Expected output
result_id=7

The two copies of 5 cancel, and the two copies of 2 cancel. Including the final accepted 7 leaves result_id=7, which remains valid until consumed. The same logic also supports an unpaired ID of zero.

What to cover

Requirements

  1. Change the accumulator only when fault_valid and fault_ready are both asserted.
  2. Include the accepted final item in the result when fault_last is asserted.
  3. Support an unpaired ID of zero.
  4. Hold result_id and result_valid stable during result backpressure.
Continue practicing
Q1091 · Bit ManipulationFind the single non-duplicateEasyPQ638 · Bit ManipulationCompute Hamming distanceEasyPQ329 · RTL DesignImplement and verify a two-input XOREasyP