AXI4 Full, Lite, and AxiStream verification components. AXI4 Interface Master, Responder, and Memory verification components. AxiStream transmitter and receiver verification components
-
Updated
Jun 21, 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.
An AXI4/5-Stream exponential moving average (EMA) filter
An AXI4/5-Stream PID controller
FPGA PL 부분, I2C FSM로직 구현 및 AXI-Lite와 AXI-Stream을 이용해서 DMA구현, AI연산을 DPU로 구현해 AI를 하드웨어로 가속
A test IP that receives a packet from the NoC, increments its the payload, and sends the packet back to the source
Zynq UltraScale+ MPSoC 환경에서 고속으로 입력되는 이미지 데이터를 실시간으로 처리하기 위한 FPGA 기반 IP 코어를 설계하고 검증한 프로젝트이다.
FPGA PL 부분, I2C FSM로직 구현 및 AXI-Lite와 AXI-Stream을 이용해서 DMA구현, AI연산을 DPU로 구현해 AI를 하드웨어로 가속
This repository will host slides and support code for the webinar "Latency Insensitive Design: Theoretical and Practical Considerations".
8 SystemVerilog FIFO designs formally verified (SymbiYosys BMC + k-induction), mutation-tested, FPGA-characterized — green CI
Add a description, image, and links to the axi4-stream topic page so that developers can more easily learn about it.
To associate your repository with the axi4-stream topic, visit your repo's landing page and select "manage topics."