AXI SystemVerilog synthesizable IP modules and verification infrastructure for high-performance on-chip communication
-
Updated
Nov 21, 2025 - SystemVerilog
AXI SystemVerilog synthesizable IP modules and verification infrastructure for high-performance on-chip communication
AXI4 and AXI4-Lite interface definitions
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
This repo contains an implementation of Axi4 lite interface on system verilog. Verilator and Vivado tools are used .
AXI4-Lite compatible Driver module for use with Verilator and other DPI-C compatible simulators.
A UVM-based verification environment for a multi-core, write-back L2 cache on 32-bit RISC-V, enforcing MESI coherence with L1 caches and interfacing to DRAM over AXI4-Lite.
This repo is based on the implementation of different peripherals and protocols like Axi4-lite , i2c and spi.
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."