AXI SystemVerilog synthesizable IP modules and verification infrastructure for high-performance on-chip communication
-
Updated
Dec 9, 2025 - SystemVerilog
AXI SystemVerilog synthesizable IP modules and verification infrastructure for high-performance on-chip communication
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
HLS for Networks-on-Chip
This repository contains the implementation of AXI4-Lite interface protocol on system verilog for FPGA/ASIC communication. Modular codebase with example designs and testbench.
Formal AXI verification properties from the eXpect framework for secure SoC validation
A tutorial on the usage of AXI4-Lite and AXI4-Stream Interfaces on HW Accelerators generated through High-Level Synthesis (HLS)
A collection of formal properties for hardware buses, and cores using them.
OLED driver demo running on ZedBoard
This repo contains an implementation of Axi4 lite interface on system verilog. Verilator and Vivado tools are used .
Introduction in Reconfigurable Computing (using reconfigurable Systems-on-Chip rSoC)
Add a description, image, and links to the axi4-lite topic page so that developers can more easily learn about it.
To associate your repository with the axi4-lite topic, visit your repo's landing page and select "manage topics."