cocotb_benches.dau_keyed_state_tb

Attributes

CAPACITY
_ROWS

Functions

keyed_state_add_matches_golden(dut)
keyed_state_every_op_matches_golden(dut)
keyed_state_batches_are_independent(dut)
keyed_state_grant_exceeded_preserves_prefix(dut)
keyed_state_bad_grant_is_refused(dut)
keyed_state_wraps_in_the_int32_domain(dut)
keyed_state_colliding_keys_probe_correctly(dut)
keyed_state_is_patient(dut)	The binding LID requirement (STORAGE_AND_NOC.md backpressure rule 1):
_start(dut) → None
_run(dut, rows, *, op, granted_keys[, initial, delay_seed])
_send_rows(dut, rows, *[, gap]) → None
_collect_output(dut, *[, stall])
_accept_status(dut)
_signed32(value) → int

Module Contents

cocotb_benches.dau_keyed_state_tb.CAPACITY

cocotb_benches.dau_keyed_state_tb._ROWS

async cocotb_benches.dau_keyed_state_tb.keyed_state_add_matches_golden(dut)

async cocotb_benches.dau_keyed_state_tb.keyed_state_every_op_matches_golden(dut)

async cocotb_benches.dau_keyed_state_tb.keyed_state_batches_are_independent(dut)

async cocotb_benches.dau_keyed_state_tb.keyed_state_grant_exceeded_preserves_prefix(dut)

async cocotb_benches.dau_keyed_state_tb.keyed_state_bad_grant_is_refused(dut)

async cocotb_benches.dau_keyed_state_tb.keyed_state_wraps_in_the_int32_domain(dut)

async cocotb_benches.dau_keyed_state_tb.keyed_state_colliding_keys_probe_correctly(dut)

async cocotb_benches.dau_keyed_state_tb.keyed_state_is_patient(dut)

The binding LID requirement (STORAGE_AND_NOC.md backpressure rule 1): random relay-station delays on every channel change NOTHING about the emitted sequence. No write-prefix is needed here — state is fresh per batch, so the same rows replay identically by construction.

async cocotb_benches.dau_keyed_state_tb._start(dut) → None

async cocotb_benches.dau_keyed_state_tb._run(dut, rows, *, op, granted_keys, initial=0, delay_seed=None)

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

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

async cocotb_benches.dau_keyed_state_tb._accept_status(dut)

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