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

63 of 84 cores

libfpga

Featured stable

Verified reusable Verilog building blocks for FPGA designs.

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

fpga-neuron

stable

An educational neural network on an FPGA, from a single neuron to an XOR net.

verilog MIT
✓ Lints clean ✓ Testbench passes ✓ Synthesizes

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

FPGA-SDcard-Reader

stable

An FPGA SD-card reader with a FAT file-system layer.

verilog GPL-3.0
✓ Lints clean ✓ Synthesizes

FPGA-USB-Device

stable

An FPGA-based USB 1.1 full-speed device (no PHY chip).

verilog LGPL-2.1
✓ Lints clean ✓ Synthesizes

sdspi

stable

An SD-card controller supporting SPI, SDIO and eMMC.

verilog GPL-3.0
✓ Lints clean ✓ Synthesizes

secworks/aes

stable

A clean Verilog AES block cipher (128/256-bit).

verilog BSD-2-Clause
✓ Lints clean ✓ Synthesizes

secworks/chacha

stable

A hardware implementation of the ChaCha stream cipher.

verilog BSD-2-Clause
✓ Lints clean ✓ Synthesizes

secworks/sha256

stable

A hardware implementation of the SHA-256 hash function.

verilog BSD-2-Clause
✓ 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

core_usb_cdc

beta

A basic USB-CDC (serial) device core in Verilog.

verilog LGPL-2.1
✓ Lints clean ✓ Synthesizes

core_usb_host

beta

A basic USB 1.1 host controller for small systems.

verilog GPL-3.0
✓ Lints clean ✓ Synthesizes

PDM Microphone Interface

experimental

A PDM MEMS microphone interface (PDM to PCM) for FPGAs.

verilog See repository
✓ Lints clean ✓ Synthesizes

CV32E40P

production

An industrial-grade 32-bit RISC-V embedded core from OpenHW.

systemverilog Solderpad-0.51
★ 1,258 verification pending

CVA6 (Ariane)

production

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

systemverilog Solderpad-0.51
★ 2,995 verification pending

CVFPU (FPnew)

production

A parametric floating-point unit for RISC-V and transprecision.

systemverilog Apache-2.0
★ 621 verification pending

FX68K

production

A cycle-accurate Motorola 68000 CPU core.

systemverilog GPL-3.0
★ 166 verification pending

Hazard3

production

The 3-stage RISC-V core inside the RP2350.

verilog Apache-2.0
★ 1,065 verification pending

Ibex

production

A small, production 32-bit RISC-V core with serious verification behind it.

systemverilog Apache-2.0
★ 1,944 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

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

Caravel

stable

The standard open-silicon SoC harness for chip tapeouts.

verilog Apache-2.0
★ 400 verification pending

core_audio

stable

An audio controller: I2S, S/PDIF and DAC output.

verilog GPL-2.0
★ 100 verification pending

Corundum

stable

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

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

dawsonjon/fpu

stable

A synthesizable IEEE-754 floating-point unit.

verilog MIT
★ 744 verification pending

dblclockfft

stable

A configurable pipelined FFT core generator.

verilog LGPL-3.0
★ 262 verification pending

dspfilters

stable

A collection of demonstration digital filters, done rigorously.

verilog LGPL-3.0
★ 178 verification pending

FPGA-CAN

stable

A lightweight CAN 2.0 bus controller for FPGAs.

verilog GPL-3.0
★ 352 verification pending

FPGA-FOC

stable

FPGA Field-Oriented Control for driving BLDC / PMSM motors.

verilog GPL-3.0
★ 937 verification pending

FPGA-JPEG-LS-encoder

stable

A lossless JPEG-LS image encoder in Verilog.

verilog GPL-3.0
★ 331 verification pending

Genesis (MiSTer)

stable

A Sega Genesis / Mega Drive core for MiSTer.

verilog GPL-3.0
★ 132 verification pending

hdl-util/hdmi

stable

Send true HDMI video and audio from an FPGA, no IP licence.

systemverilog MIT
★ 1,280 verification pending

hdl-util/mipi-csi-2

stable

Capture MIPI CSI-2 video from a Raspberry Pi Camera on an FPGA.

systemverilog MIT
★ 76 verification pending

JTCORES

stable

Jose Tejada's FPGA-accurate arcade sound and system cores.

verilog GPL-3.0
★ 307 verification pending

machdyne/fpga-dac

stable

A sigma-delta audio DAC and PCM player core.

verilog BSD-style
★ 6 verification pending

mipi_csi_receiver_FPGA

stable

A widely-used MIPI CSI-2 camera sensor receiver in Verilog.

verilog Unspecified
★ 478 verification pending

mor1kx

stable

An OpenRISC 1000 processor core.

verilog CERN-OHL-W-2.0
★ 586 verification pending

NES (MiSTer)

stable

A Nintendo Entertainment System core for MiSTer.

systemverilog GPL-3.0
★ 200 verification pending

Nyuzi Processor

stable

An open GPGPU architecture for graphics and parallel compute.

systemverilog Apache-2.0
★ 2,204 verification pending

OpenLogicBit

stable

Open logic-analyzer gateware (SUMP-compatible).

verilog Apache-2.0
★ 174 verification pending

Project F

stable

Exciting open-source FPGA graphics and video designs to build on.

systemverilog MIT
★ 781 verification pending

qspiflash

stable

Wishbone-controlled SPI and QSPI flash controllers.

verilog LGPL-3.0
★ 102 verification pending

SERV

stable

The award-winning bit-serial RISC-V: the world's smallest.

verilog ISC
★ 1,826 verification pending

Sigma-Delta ADC

stable

An analog-to-digital converter built in FPGA fabric.

verilog Unspecified
★ 74 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

ZipCPU CORDIC Generator

stable

Configurable CORDIC core generator for sine, cosine and vector rotation.

verilog LGPL-3.0
★ 125 verification pending

DarkRISCV

beta

A minimal RISC-V core written from scratch in one night.

verilog BSD-3-Clause
★ 2,581 verification pending

OpenTitan

beta

An open-source silicon root of trust (secure element).

systemverilog Apache-2.0
★ 3,507 verification pending

PACoGen

beta

Posit arithmetic core generator: parameterized Verilog adder, multiplier, divider.

verilog BSD-3-Clause
★ 81 verification pending

seldridge Verilog Blocks

beta

Reusable Verilog blocks including pipelined square root and integer divider.

verilog Apache-2.0
★ 626 verification pending

SV_DSM_CORE

beta

A synthesizable delta-sigma modulator IP core.

systemverilog MIT
★ 2 verification pending