Module card 

UbftCard: the uBFT service with its probe, as one card kernel for measurement.

  host ── AXI-Lite ──▶ front: 0x000..0x7ff ──▶ UbftEngine registers
                             0x800..0xfff ──▶ probe registers (below)
  UbftProbe ◀── four streams ──▶ UbftEngine
  UbftProbe ── frames ──▶ HbmWriter ── m_axi_frames ──▶ HBM

ap_start goes to the engine; the run is done when the engine is (set its sign_count and verify_count to the probe’s count). The probe starts once its go argument is set and the engine accepts requests.

Probe registers

Offset	Name	Access
0x800	arg probe_count	W
0x804	arg probe_gap: idle cycles between requests	W
0x808	arg probe_slot: key slot of the verify requests	W
0x80c	arg probe_tamper: tamper every n-th (0 never)	W
0x810	arg probe_go	W
0x814	arg probe_announce: feed the signer’s certificate announce back into the verifier (as a peer’s)	W
0x818	arg frames (u64): HBM address of frame 0 (2 KiB stride)	W
0x840	PROBE_DONE: verdicts received	R
0x844	PROBE_MATCHED	R
0x848	PROBE_MISMATCHED	R
0x84c/0x850	PROBE_FIRST_BAD lo/hi: first mismatching verdict word	R
0x854	FRAMES_WRITTEN: frames acknowledged by HBM	R
0x858	WRITE_ERROR	R

Structs

CardInput

Card kernel inputs.

CardOutput

Card kernel outputs.

UbftCard

The card kernel.

Constants

ARG_FRAMES

frames (u64).

ARG_PROBE_ANNOUNCE

probe_announce.

ARG_PROBE_COUNT

Offset of arg probe_count.

ARG_PROBE_GAP

probe_gap.

ARG_PROBE_GO

probe_go.

ARG_PROBE_SLOT

probe_slot.

ARG_PROBE_TAMPER

probe_tamper.

REG_FRAMES_WRITTEN

FRAMES_WRITTEN.

REG_PROBE_DONE

PROBE_DONE.

REG_PROBE_FIRST_BAD

PROBE_FIRST_BAD lo.

REG_PROBE_MATCHED

PROBE_MATCHED.

REG_PROBE_MISMATCHED

PROBE_MISMATCHED.

REG_WRITE_ERROR

WRITE_ERROR.

Functions

ubft_card_kernel

The card’s logic.