cocotb_benches.dau_session_gap_tb

Attributes

CAPACITY
_ROWS

Functions

session_gap_matches_golden(dut)
session_gap_boundary_is_exclusive(dut)
session_gap_drain_is_key_sorted(dut)
session_gap_time_order_violation_is_refused(dut)
session_gap_capacity_bounds_distinct_keys(dut)
session_gap_bad_parameters_are_refused(dut)
session_gap_colliding_keys_probe_correctly(dut)
session_gap_is_patient(dut)	The binding LID requirement: random relay-station delays on every
_start(dut) → None
_run(dut, rows, *, gap, granted_keys[, delay_seed])
_send_rows(dut, rows, *[, gap]) → None
_collect_output(dut, *[, stall])
_accept_status(dut)
_signed32(value) → int

Module Contents

cocotb_benches.dau_session_gap_tb.CAPACITY

cocotb_benches.dau_session_gap_tb._ROWS = [(1, 0), (2, 1), (2, 2), (1, 5), (1, 20), (3, 21)]

async cocotb_benches.dau_session_gap_tb.session_gap_matches_golden(dut)

async cocotb_benches.dau_session_gap_tb.session_gap_boundary_is_exclusive(dut)

async cocotb_benches.dau_session_gap_tb.session_gap_drain_is_key_sorted(dut)

async cocotb_benches.dau_session_gap_tb.session_gap_time_order_violation_is_refused(dut)

async cocotb_benches.dau_session_gap_tb.session_gap_capacity_bounds_distinct_keys(dut)

async cocotb_benches.dau_session_gap_tb.session_gap_bad_parameters_are_refused(dut)

async cocotb_benches.dau_session_gap_tb.session_gap_colliding_keys_probe_correctly(dut)

async cocotb_benches.dau_session_gap_tb.session_gap_is_patient(dut)

The binding LID requirement: random relay-station delays on every channel change NOTHING about the emitted sequence. State is fresh per batch, so the same rows replay identically by construction.

async cocotb_benches.dau_session_gap_tb._start(dut) → None

async cocotb_benches.dau_session_gap_tb._run(dut, rows, *, gap, granted_keys, delay_seed=None)

async cocotb_benches.dau_session_gap_tb._send_rows(dut, rows, *, gap=None) → None

async cocotb_benches.dau_session_gap_tb._collect_output(dut, *, stall=None)

async cocotb_benches.dau_session_gap_tb._accept_status(dut)

cocotb_benches.dau_session_gap_tb._signed32(value: int) → int