meta-hdl

This layer contains recipes for Hardware Description Languages (HDL) tools, which includes tools for simulation, synthesis, etc.

Setup information

Git repository

https://github.com/nathanrossi/meta-hdl web repo

Last commit: 3 months ago (master branch)

Maintainer

Dependencies

The meta-hdl layer depends upon:

Recipe name Version Description
arachne-pnr 0+gitX Arachne Place and Route tool for iCE40 FPGAs
boolector 3.2.4+gitX Boolector is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
btor2tools 1.0.0+gitX Btor2tools is a generic parser and tool package for the BTOR2 format.
cryptominisat 5.11.21+gitX CryptoMiniSat is an advanced incremental SAT solver.
fpga-toolkit 1.0 Portable toolkit/SDK for FPGA tools
hdl-build-all 1.0 Build all the meta-hdl recipes for target, native and nativesdk
icarus-verilog 12.0+gitX Icarus Verilog is a Verilog simulaton and synthesis tool
icestorm 0+gitX Project IceStorm aims at reverse engineering, documenting and tools for Lattice iCE40 FPGAs
linux-on-litex-vexriscv 0+gitX Experiments with Linux on LiteX-VexRiscv
linux-versa-ecp5-vexriscv 5.17+X Mainline Linux kernel
litedram 2024.08+master+gitX Small footprint and configurable DRAM core
litedram 2024.08+gitX Small footprint and configurable DRAM core
liteeth 2024.08+master+gitX Small footprint and configurable Ethernet core
liteeth 2024.08+gitX Small footprint and configurable Ethernet core
litehyperbus 2022.04+master+gitX Small footprint and configurable HyperBus core
litehyperbus 2022.04+gitX Small footprint and configurable HyperBus core
liteiclink 2024.08+master+gitX Small footprint and configurable Inter-Chip communication cores
liteiclink 2024.08+gitX Small footprint and configurable Inter-Chip communication cores
litepcie 2024.08+master+gitX Small footprint and configurable PCIe core
litepcie 2024.08+gitX Small footprint and configurable PCIe core
litesata 2024.08+master+gitX Small footprint and configurable SATA core
litesata 2024.08+gitX Small footprint and configurable SATA core
litescope 2024.08+master+gitX Small footprint and configurable embedded FPGA logic analyzer
litescope 2024.08+gitX Small footprint and configurable embedded FPGA logic analyzer
litesdcard 2024.08+master+gitX Small footprint and configurable SDCard core
litesdcard 2024.08+gitX Small footprint and configurable SDCard core
litespi 2024.08+master+gitX Small footprint and configurable SPI core
litespi 2024.08+gitX Small footprint and configurable SPI core
litevideo 2021.08+gitX Small footprint and configurable video cores
litex 2024.08+master+gitX LiteX is a FPGA design/SoC builder that can be used to build cores, create SoCs and full FPGA designs.
litex 2024.08+gitX LiteX is a FPGA design/SoC builder that can be used to build cores, create SoCs and full FPGA designs.
litex-boards 2024.08+master+gitX LiteX boards files
litex-boards 2024.08+gitX LiteX boards files
litex-pythondata-cpu-vexriscv 2024.08+master+gitX LiteX - VexRiscV CPU
litex-pythondata-cpu-vexriscv 2024.08+gitX LiteX - VexRiscV CPU
litex-pythondata-cpu-vexriscv-smp 2024.08+master+gitX LiteX - VexRiscV CPU SMP
litex-pythondata-cpu-vexriscv-smp 2024.08+gitX LiteX - VexRiscV CPU SMP
litex-pythondata-misc-tapcfg 2024.08+gitX LiteX - tapcfg
litex-pythondata-software-compiler-rt 2024.08+gitX LiteX - compiler_rt software
litex-pythondata-software-picolibc 2024.08+gitX LiteX - picolibc
migen 0.9.2+gitX A Python toolbox for building complex digital hardware
netlistsvg 1.0.2 draws an SVG schematic from a JSON netlist
nextpnr-bbasm 0.7+gitX nextpnr, a portable FPGA place and route tool
nextpnr-ecp5 0.7+gitX nextpnr, a portable FPGA place and route tool
nextpnr-ecp5-chipdb 0.7+gitX nextpnr, a portable FPGA place and route tool
nextpnr-ice40 0.7+gitX nextpnr, a portable FPGA place and route tool
nextpnr-ice40-chipdb 0.7+gitX nextpnr, a portable FPGA place and route tool
nextpnr-xilinx 0+gitX nextpnr, a portable FPGA place and route tool
nextpnr-xilinx-chipdb 0+gitX nextpnr, a portable FPGA place and route tool
nextpnr-xilinx-examples-arty-a35 0+gitX nextpnr, a portable FPGA place and route tool
opensbi 1.3.1+litex+gitX RISC-V Open Source Supervisor Binary Interface (OpenSBI)
packagegroup-fpga-tools 1.0 Packages for FPGA tools and synthesis flows
picosoc-hx8k 1.0 PicoSoC - A simple example SoC using PicoRV32
picosoc-icebreaker 1.0 PicoSoC - A simple example SoC using PicoRV32
prjtrellis 1.4+gitX Documenting the Lattice ECP5 bit-stream format.
prjtrellis-db 0+gitX Project Trellis database
prjtrellis-examples-versa5g 1.4+gitX Documenting the Lattice ECP5 bit-stream format.
prjxray 0+gitX Documenting the Xilinx 7-series bit-stream format.
prjxray-db 0+gitX Project X-Ray database
python3-fasm 1.0 FPGA Assembly (FASM) Parser and Generator
python3-intervaltree 3.0.2 Editable interval tree data structure for Python 2 and 3
python3-jsonmerge 1.5.2 Merge a series of JSON documents
python3-pyjson5 1.6.7 JSON5 serializer and parser for Python 3 written in Cython.
python3-textx 2.3.0 Domain-Specific Languages and parsers in Python made easy
python3-xc-fasm 1.0 Library to convert FASM files to bistream
python3-yapf 0.24.0 A formatter for Python files
sby 0+gitX SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
symbiflow-arch-defs 0+gitX FOSS architecture definitions of FPGA hardware useful for doing PnR device generation.
symbiflow-arch-defs-tests 0+gitX FOSS architecture definitions of FPGA hardware useful for doing PnR device generation.
tinyfpga-programmer 1.0 An open source USB bootloader for FPGAs
verilator 5.028+gitX Verilator open-source SystemVerilog simulator and lint system
verilog-to-routing 1.0 The Verilog to Routing (VTR) project provides open-source CAD tools for FPGA architecture and CAD research.
xc3sprog 0.0+svnrX xc3sprog is a suite of utilities for programming Xilinx FPGAs, CPLDs, and EEPROMs
yices2 2.6.5+gitX Yices 2 is a solver for Satisfiability Modulo Theories (SMT) problems.
yosys 0.46+gitX Yosys, a framework for Verilog RTL synthesis
z3 4.13.3+gitX Z3 is a theorem prover from Microsoft Research.
lm32 LaticeMico32 Generic Machine
picosoc picosoc with picorv32 RISC-V processor
versa-ecp5 Lattice Versa ECP5 Evaluation Board