AXI4 Full, Lite, and AxiStream verification components. AXI4 Interface Master, Responder, and Memory verification components. AxiStream transmitter and receiver verification components

AXI4 and AXI4-Lite interface definitions

A collection of formal properties for hardware buses, and cores using them.

Convert data signal to axi4-stream signal

A real-time audio visualizer on an FPGA. Receives and transmits audio packets via I2S, and displays the time-domain waveform of the input signal using VGA. Supports changing waveform and background colours via UART.

A test IP that receives a packet from the NoC, increments its the payload, and sends the packet back to the source

Lightweight AXI-Stream debugging probe

A 2x2 mesh NoC compatible with AXI streaming interface