Module unit 

One verify unit: its HBM record reader, its verify core, its verdict writer.

  HBM records{u} ──16-beat bursts──▶ RecordReader ──beats──▶ VerifyCore ──verdicts──▶ VerdictWriter ──▶ HBM verdicts{u}
                                      (64-beat FIFO)            │  ▲                 (64 per beat)
                                                      cert request  answer

• The RecordReader streams the unit’s count × 26 beats from its record buffer in 1 KiB bursts. It asks for a burst only when its FIFO has room for all of it, so it can always take read data (rready high), and it hands out up to one beat per clock.
• The VerdictWriter packs verdict bytes 64 to a beat and writes each beat once it is full (or holds the last verdict), one beat per burst. A run is done only when every beat’s write response came back.

Structs

ReaderInput

Reader inputs.

ReaderOutput

Reader outputs.

RecordReader

The record reader.

UnitInput

Unit inputs.

UnitOutput

Unit outputs.

VerdictWriter

The verdict writer.

VerifyUnit

One verify unit.

WriterInput

Writer inputs.

WriterOutput

Writer outputs.

Constants

BURST_BEATS

Beats per read burst (1 KiB; a 4 KiB-aligned base keeps bursts in a page).

FIFO_BEATS

Beat FIFO capacity.

Functions

record_reader_kernel

The reader’s logic.

verdict_writer_kernel

The writer’s logic.

verify_unit_kernel

The unit’s wiring.