Inference token buffer: simulation evidence

A one-entry, 32-bit ready/valid buffer by snalabothu, with MIT-licensed RTL and an independent C++ deque scoreboard. This small queue carries commands or data between stages of an inference system.

The native run completed 34,909 checks across 4,111 cycles with zero errors, including 4,096 fixed-seed random cycles and directed reset, backpressure and simultaneous-transfer cases. The report records source hashes, tool version and measured results.

Explore and reproduce

Read trace.csv to follow each transfer, scoreboard.json for the checks, and verification-report.json for provenance. Download the nine files and restore this layout before following the commands in README.md:

• rtl/inference_token_buffer.sv
• tests/token_buffer_tb.cpp
• README.md and LICENSE at the project root
• evidence/verification-report.json
• evidence/scoreboard.json
• evidence/trace.csv
• evidence/simulation.log
• evidence/tool-version.txt

The README provides a bounded native rerun using an installed simulator and a fresh output directory. Preserve the published bytes and compare their hashes with the report.

Understand the samples

Each row records signals before the active clock edge. occupancy_before belongs to the independent reference queue. out_data is meaningful when out_valid is asserted. Reset clears the stored token and suppresses transfers. The scoreboard checks data, order and conservation, including tokens discarded by reset.

This is a bounded behavioral regression of one component. It does not establish exhaustive formal proof, timing closure, physical signoff or complete-model inference performance.

Inspect the reusable IP