README.md

Awesome Hardware Description Languages

A curated list of amazingly awesome hardware description language projects.

Hardware development

HDL doc

• Verilog IEEE Std 1364-2001, Quick Ref Guide, SystemVerilog 3.1a, Synthesizing SystemVerilog Busting the Myth that SystemVerilog is only for Verification
• VHDL standards IEEE Std 1076-2000
• SystemC standards IEEE Std 1666-2011

HDL simulators and compilers

• Verilog
  • Verilator Verilog to C++ transpiler
  • Icarus Verilog - simulator
  • Yosys - RTL synthesis
• VHDL
  • nvc - GPLv3 VHDL compiler and simulator, IEEE 1076-2002, writen in C
  • GHDL - VHDL compiler and simulator, IEEE 1076-2002, writen in ADA
• Lola-2
  • Oberon-2013 - Project Oberon, 2013 Edition, written in Oberon-07 License

Meta HDL and Transpilers

• C++

  • SystemC - an IEEE standard meta-HDL
  • VisualHDL - an integrated development environment (IDE) rapid design for FPGAs

• Dart

  • ROHD - A framework for hardware description and verification, 2021+

• Haskell

  • concat Haskell to hardware, 2016+
  • https://github.com/conal/talk-2015-haskell-to-hardware
  • CλaSH - A functional hardware description language
  • pipelineDSL - A Haskell DSL for describing hardware pipelines
  • Bluespec - Compiler, simulator, and tools for the Bluespec Hardware Description Language.

• Java

  • jhdl ..2006
  • PSHDL

• JavaScript

  • reqack - elastic circuit toolchain
  • hdl-js - Hardware description language (HDL) parser, and Hardware simulator.
  • shdl - Simple Hardware Description Language

• Julia

  • Julia-Verilog - a Verilog-generation DSL for Julia., 2017

• Python

  • HWT Meta HDL, verification env. IP-core generator, analysis tools, HDL glue
  • garnet Coarse-Grained Reconfigurable Architecture generator based on magma, 2018+
  • magma - Meta HDL, 2017+
  • migen - Meta HDL, 2011+
  • MyHDL - Process based HDL, verification framework included, 2004+
  • nMigen - A refreshed Python toolbox for building complex digital hardware, 2018+
  • Pyrope - Python-like language supporting "fluid pipelines" and "live flow", 2017+
  • PyRTL - Meta HDL, simulator suitable for research.
  • PyMTL - Process based HDL, verification framework included, 2014+
  • veriloggen - Python, Verilog centric meta HDL with HLS like features, 2015-?

• Ruby

  • RHDL

• Rust

  • hoodlum - Meta HDL, 2016+
  • kaze - Meta HDL, 2019+
  • calyx - Intermediate Language (IL) for Hardware Accelerator Generators, 2020+

• Scala

  • chisel - Meta HDL, 2012+
  • SpinalHDL - Meta HDL 2012+

• C#

  • Quokka - C# to low-level RTL translator (Verilog, VHDL) and simulation toolkit examples (gates, components, RISC-V, SoC)

HLS

• hlslibs - ac_math, ac_dsp, ac_types
• legup - 2011-2015, LLVM based c->verilog
• bambu - 2003-?, GCC based c->verilog
• augh - c->verilog, DSP support
• https://github.com/utwente-fmt - abstract hls, verification libraries
• Shang - 2012-2014, LLVM based, c->verilog
• xronos - 2012, java, simple HLS
• Potholes - 2012-2014 - polyhedral model preprocessor, Uses Vivado HLS, PET
• hls_recurse - 2015-2016 - conversion of recursive fn. for stackless architectures
• hg_lvl_syn - 2010, ILP, Force Directed scheduler
• abc <2008-?, A System for Sequential Synthesis and Verification
• polyphony - 2015-2017, simple python to hdl
• DelayGraph - 2016, C#, register assignment algorithms
• ahaHLS - 2019, An open source high level synthesis (HLS) tool using LLVM
• combinatorylogic/soc - 2019, An experimental System-on-Chip with a custom compiler toolchain.
• Quokka - C# to HL RTL translator
• Vitis - LLVM based, made by Xilinx. user manual

Other HDL languages

• act - asynchronous circuit/compiler tools
• autopiper
• TL-Verilog - 2015+, Supports "timing-abstract" and "transaction-level design" methodologies; supported by proprietary and open-source tools

Hardware Intermediate Representations

• CIRCT - 2020+, LLVM / MLIR framework "Circuit IR Compilers and Tools"
• coreir - 2016-?, LLVM HW compiler## License
• lgraph - 2017-?, A Multi-Language Synthesis and Simulation IR for Hardware Design
• firrtl - 2016-?, Flexible Intermediate Representation for RTL
• LLHD - Low Level Hardware Description — A foundation for building hardware design tools

Synthesis tools

• vtr-verilog-to-routing
• yosys - RTL synthesis framework

Visualization and Documentation generators

• bitfield - Javascript bit field diagram renderer
• d3-wave - Javascript wave graph visualizer for RTL simulations
• d3-hwschematic - Javascript hierarchycal schematic visualizer for HDLs
• wavedrom - Javascript wave graph visualizer for documentations and sim.
• netlistsvg - Javascript schematic visualizer
• sphinx-hwt - Plugin for sphinx documentation generator which adds shematic into html documentaion.

HDL parsers

• hdlConvertor - Fast (System) Verilog/VHDL parser writen as C++ extension for Python
• pyVHDLParser - VHDL parser written in Python
• rust_hdl - VHDL parser and language server written in Rust
• sv-parser - IEEE 1800-2017 System Verilog Parser written in Rust
• verible - Verible provides a SystemVerilog parser, style-linter, and formatter.

Other Simulation tools

• midas - FPGA-Accelerated Simulation Framework Automatically Transforming Arbitrary RTL
• cocotb - A coroutine based cosimulation library for writing VHDL and Verilog testbenches in Python

Other Design Automation tools

• RgGen - Code generator tool to generate RTL, UVM RAL models and Wiki documents from CSR specifications
• sv-tests - Test suite designed to check compliance with the SystemVerilog standard

License

To the extent possible under law, Aliaksei Chapyzhenka has waived all copyright and related or neighboring rights to this work.