hardware-description-language

Star

Verilog is a widely-used hardware description language (HDL) that enables designers to model, simulate, and synthesize digital circuits. It provides a text-based format for specifying the structure and behavior of electronic systems, making it easier to design complex hardware components such as microprocessors, memory, and communication devices.

Here are 164 public repositories matching this topic...

Language:All

Filter by language

All164 Verilog41 VHDL25 Python14 SystemVerilog14 C++9 C7 Assembly6 Hack6 Haskell4 JavaScript4

Sort:Most stars

Sort options

Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

clash-lang /clash-compiler

Star1.6k

Haskell to VHDL/Verilog/SystemVerilog compiler

haskell asic fpga vhdl verilog systemverilog hardware-description-language

UpdatedNov 5, 2025
Haskell

drom /awesome-hdl

Star1.1k

Hardware Description Languages

awesome vhdl verilog awesome-list hdl hacktoberfest hardware-description-language

UpdatedJul 14, 2025

JulianKemmerer /PipelineC

Star681

A C-like hardware description language (HDL) adding high level synthesis(HLS)-like automatic pipelining as a language construct/compiler feature.

python c fpga hls hardware vhdl pipelines open-source-hardware high-level-synthesis hardware-description-language fpga-accelerators fpga-acceleration fpga-programming hardware-description

UpdatedOct 25, 2025
VHDL

WangXuan95 /BSV_Tutorial_cn

Star596

一篇全面的 Bluespec SystemVerilog (BSV) 中文教程，介绍了BSV的调度、FIFO数据流、多态等高级特性，展示了BSV相比于传统Verilog开发的优势。

fpga verilog bluespec hdl bluespec-systemverilog bsv hardware-description-language

UpdatedSep 15, 2023
Bluespec

jofrfu /tinyTPU

Star513

Implementation of a Tensor Processing Unit for embedded systems and the IoT.

linux iot fpga zynq tensorflow assembly vhdl embedded-systems internet-of-things hardware-architectures verilog xilinx vivado tensor hardware-designs hardware-acceleration fpga-accelerator hardware-description-language ip-core tpu

UpdatedJan 5, 2019
VHDL

SystemRDL /systemrdl-compiler

Star263

SystemRDL 2.0 language compiler front-end

asic fpga eda csr registers systemrdl register-descriptions systemrdl-compiler hardware-description-language design-automation register-description-language

UpdatedNov 5, 2025
C++

cucapra /filament

Star183

Fearless hardware design

fpga type-system hardware-description-language hardware-accelerator

UpdatedAug 20, 2025
Verilog

mit-plv /koika

Star164

A core language for rule-based hardware design 🦑

semantics coq programming-languages formal-methods compilation hardware-description-language

UpdatedOct 13, 2025
Rocq Prover

mit-plv /kami

Star163

A Platform for High-Level Parametric Hardware Specification and its Modular Verification

coq proof-assistant bluespec hardware-description-language hardware-verification

UpdatedOct 28, 2025
Rocq Prover

SystemRDL /PeakRDL

Star150

Control and status register code generator toolchain

asic fpga eda verilog csr command-line-tool systemverilog uvm registers axi amba apb register-descriptions systemrdl-compiler hardware-description-language uvm-register-model

UpdatedOct 10, 2025
Python

asyncvlsi /act

Star120

ACT hardware description language and core tools.

language eda circuit-simulator cad dataflow chp dataflow-programming prs hdl vlsi hardware-description-language production-rules design-automation asynchronous-circuits vlsi-cad asynchronous-vlsi communicating-hardware-processes

UpdatedNov 1, 2025
C++

pc2 /sus-compiler

Star116

A new Hardware Design Language that keeps you in the driver's seat

programming-language tree-sitter fpga hdl hardware-description-language fpga-programming

UpdatedNov 5, 2025
Rust

cyber-anubis /The-HACK-General-Purpose-Computer

Star104

Using HDL, from Boolean algebra and elementary logic gates to building a Central Processing Unit, a memory system, and a hardware platform, leading up to a 16-bit general-purpose computer. Then, implementing the modern software hierarchy designed to enable the translation and execution of object-based, high-level languages on a bare-bone compute…

cpu compiler virtual-machine assembler operating-system nand2tetris computer-architecture nand machine-language hardware-description-language arithmetic-logic-unit