FPGA core registry

Share your core Registry insights → For IP vendors →

A curated directory of open FPGA IP cores, with a quality signal you can trust: many listings carry earned badges from our open toolchain, lints clean, testbench passes, synthesizes, formally proven. Filter by what you actually need.

84 curated open cores across 20 categories. Badges are earned only where LibFPGA has actually run the checks; the rest are marked verification pending. Own a listed repo? Claim it by manifest file or GitHub sign-in.

Want our own building blocks? The libfpga library is a first-party, formally-verified collection listed right here in the registry. Prefer to learn a pattern hands-on first? Try the runnable recipes.

Browse by category

all 84 cpu 15maths 7memory 7retro 6video 6accelerator 5audio 4interconnect 4soc 4usb 4crypto 3debug 3dsp 3networking 3automotive 2camera 2library 2sensor 2example 1motor 1

All cores

clear

Popular: risc-vcpumathsretrorv32chiselsecurityvideowishboneaudiocdcconsoledebugdspgeneratormac

30 of 84 cores

libfpga

Featured stable

Verified reusable Verilog building blocks for FPGA designs.

verilog MIT
✓ Lints clean ✓ Testbench passes ✓ Synthesizes ✓ Formally proven

core_jpeg

stable

A high-throughput JPEG decoder in Verilog.

verilog Apache-2.0
✓ Lints clean ✓ Synthesizes

core_sdram_axi4

stable

An SDRAM controller with a standard AXI4 interface.

verilog GPL-3.0
✓ Lints clean ✓ Synthesizes

FPGA-DDR-SDRAM

stable

A DDR1 controller that gives low-end FPGAs cheap, large memory.

verilog GPL-3.0
✓ Lints clean ✓ Synthesizes

verilog-axi

stable

A comprehensive set of AXI4 infrastructure components for FPGAs.

verilog MIT
✓ Lints clean ✓ Synthesizes

verilog-ethernet

stable

Ethernet MAC and UDP/IP stack components in Verilog.

verilog MIT
✓ Lints clean ✓ Synthesizes

verilog-uart

stable

A simple, widely-used Verilog UART with an AXI-Stream interface.

verilog MIT
✓ Lints clean ✓ Synthesizes

wb2axip

stable

Formally verified Wishbone and AXI bus bridges and utilities.

verilog Apache-2.0
✓ Lints clean ✓ Synthesizes

CTU CAN FD

production

An open, Linux-supported CAN FD controller IP core.

vhdl MIT
★ 63 verification pending

CVA6 (Ariane)

production

A 6-stage 64-bit RISC-V core that boots Linux.

systemverilog Solderpad-0.51
★ 2,995 verification pending

NVDLA

production

NVIDIA's open Deep Learning Accelerator, in RTL.

verilog NVDLA Open License
★ 2,111 verification pending

PicoRV32

production

A size-optimized RISC-V CPU that fits in a corner of your FPGA.

verilog ISC
★ 4,244 verification pending

riscv-dbg

production

The standard open RISC-V debug module and JTAG transport.

systemverilog Solderpad-0.51
★ 314 verification pending

Rocket Chip

production

The Chisel generator behind a whole family of RISC-V SoCs.

chisel Apache-2.0
★ 3,807 verification pending

VexRiscv

production

An FPGA-friendly, highly configurable 32-bit RISC-V, built in SpinalHDL.

spinalhdl MIT
★ 3,181 verification pending

Ara

stable

A 64-bit RISC-V Vector (RVV) unit from PULP.

systemverilog Solderpad-0.51
★ 529 verification pending

biRISC-V

stable

A 32-bit superscalar, dual-issue RISC-V CPU.

verilog Apache-2.0
★ 1,273 verification pending

Corundum

stable

An open-source FPGA-based NIC and platform for in-network compute.

verilog BSD-2-Clause
★ 2,384 verification pending

FPGA-JPEG-LS-encoder

stable

A lossless JPEG-LS image encoder in Verilog.

verilog GPL-3.0
★ 331 verification pending

intfftk

stable

A fully pipelined integer radix-2 FFT / IFFT IP core.

vhdl GPL-3.0
★ 97 verification pending

LiteDRAM

stable

A small-footprint, configurable DRAM controller.

migenpython BSD-2-Clause
★ 521 verification pending

LiteEth

stable

A small-footprint, configurable Ethernet core.

migenpython BSD-2-Clause
★ 286 verification pending

LiteX

stable

Build your hardware easily: a Python-based SoC builder.

pythonmigen BSD-2-Clause
★ 3,975 verification pending

NEORV32

stable

A customizable MCU-class RISC-V SoC in platform-independent VHDL.

vhdl BSD-3-Clause
★ 2,168 verification pending

Nyuzi Processor

stable

An open GPGPU architecture for graphics and parallel compute.

systemverilog Apache-2.0
★ 2,204 verification pending

ultraembedded/riscv

stable

A compact RV32IM RISC-V CPU core in Verilog.

verilog BSD-3-Clause
★ 1,748 verification pending

VeeR EH1

stable

A dual-issue, in-order RISC-V core (formerly SweRV).

systemverilog Apache-2.0
★ 952 verification pending

verilog-pcie

stable

PCI Express interface components for FPGAs, in Verilog.

verilog MIT
★ 1,619 verification pending

vgasim

stable

A video display simulator with real VGA/HDMI generation cores.

verilog GPL-3.0
★ 182 verification pending

ZipCPU

stable

A small, light, pipelined RISC soft-core with a rigorous pedigree.

verilog GPL-3.0
★ 1,558 verification pending