AXI4 Full, Lite, and AxiStream verification components. AXI4 Interface Master, Responder, and Memory verification components. AxiStream transmitter and receiver verification components
-
Updated
Sep 10, 2026 - VHDL
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
SystemVerilog AXI verification library and video-DMA IP: AXI4/Lite/Stream BFMs, triple-buffer VDMA, and multi-tap temporal VDMA with byte-exact real-image round-trip tests. Verilator · Yosys · Docker · CI.
A collection of formal properties for hardware buses, and cores using them.
Verilog image signal processor with AXI4-Stream interfaces — RTL ISP pipeline for FPGA SoC integration.
A 2x2 mesh NoC compatible with AXI streaming interface
Parametrizable UART controller in Verilog with AXI-Stream interface, configurable baud rate, oversampling ratio, parity mode, stop bits, and regression testbench for verification.
Original UVM verification environment for a fictional AXI4-Stream-to-internal-bus bridge IP (StreamBridge) -- tag-indexed scoreboarding, split completer/DMA environments, wide-bus lane checking.
An AXI4/5-Stream PID controller
8 SystemVerilog FIFO designs formally verified (SymbiYosys BMC + k-induction), mutation-tested, FPGA-characterized — green CI
A test IP that receives a packet from the NoC, increments its the payload, and sends the packet back to the source
Parametric FIR filter IP core in SystemVerilog. Transposed direct-form, AXI4-Stream, bit-exact vs scipy.signal.lfilter. For DSP/SDR/audio/ML.
FPGA PL 부분, I2C FSM로직 구현 및 AXI-Lite와 AXI-Stream을 이용해서 DMA구현, AI연산을 DPU로 구현해 AI를 하드웨어로 가속
An AXI4/5-Stream exponential moving average (EMA) filter
FPGA PL 부분, I2C FSM로직 구현 및 AXI-Lite와 AXI-Stream을 이용해서 DMA구현, AI연산을 DPU로 구현해 AI를 하드웨어로 가속
To associate your repository with the axi4-stream topic, visit your repo's landing page and select "manage topics."