Inference token buffer: recorded waveforms

Explore 128 consecutive samples from the native simulation dataset, revision 1. They show startup reset, backpressure and simultaneous acceptance and release. The complete measured run performed 34,909 checks across 4,111 cycles with zero errors.

Read a transfer

A token transfers when valid and ready are both high before the clock edge. A stalled output keeps its data while ready is low. Reset clears the stored token. Follow those events in the trace before changing the design.

This Space provides recorded signal playback. Run preview loads the published data; Play, Step, Reset and the slider select samples. To execute the RTL with new stimulus, use the source, independent bench and rerun commands in the dataset.

Sampling

• Displayed cycle 1 corresponds to CSV cycle 0. The excerpt ends at CSV cycle 127.
• Signals are sampled before each active clock edge.
• Reference occupancy comes from the independent scoreboard.
• out_data is meaningful when out_valid is asserted.
• trace-excerpt.csv contains the original header and first 128 rows of trace.csv. The full trace and measured report are included.

Original MIT-licensed design and collateral by snalabothu. These behavioral results do not establish exhaustive formal proof, timing closure or physical signoff.