cocotb_benches.dau_scratchpad_tb

Attributes

CAPACITY
_ROWS

Functions

scratchpad_matches_golden(dut)
scratchpad_overflow_closes_out_and_preserves_prefix(dut)
scratchpad_negative_address_is_never_in_grant(dut)
scratchpad_bad_grant_is_refused(dut)
scratchpad_is_patient(dut)	The binding LID requirement (STORAGE_AND_NOC.md backpressure rule 1):
scratchpad_torn_row_reports_stream_error(dut)
_start(dut) → None
_run(dut, rows, *, granted_words[, delay_seed])
_send_rows(dut, rows, *[, gap]) → None
_collect_output(dut, *[, stall])
_accept_status(dut)
_signed32(value) → int

Module Contents

cocotb_benches.dau_scratchpad_tb.CAPACITY

cocotb_benches.dau_scratchpad_tb._ROWS

async cocotb_benches.dau_scratchpad_tb.scratchpad_matches_golden(dut)

async cocotb_benches.dau_scratchpad_tb.scratchpad_overflow_closes_out_and_preserves_prefix(dut)

async cocotb_benches.dau_scratchpad_tb.scratchpad_negative_address_is_never_in_grant(dut)

async cocotb_benches.dau_scratchpad_tb.scratchpad_bad_grant_is_refused(dut)

async cocotb_benches.dau_scratchpad_tb.scratchpad_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.

async cocotb_benches.dau_scratchpad_tb.scratchpad_torn_row_reports_stream_error(dut)

async cocotb_benches.dau_scratchpad_tb._start(dut) → None

async cocotb_benches.dau_scratchpad_tb._run(dut, rows, *, granted_words, delay_seed=None)

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

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

async cocotb_benches.dau_scratchpad_tb._accept_status(dut)

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