11 repos
clash-lang/clash-compiler
Haskell to VHDL/Verilog/SystemVerilog compiler
1,615
6,188 commits
rggen/rggen
Code generation tool for control and status registers
469
421 commits
olofk/serv
SERV - The SErial RISC-V CPU
1,884
490 commits
boldaxolotl/booley
The open-source agentic RTL IDE
8
1,580 commits
openhwgroup/cva6
The CORE-V CVA6 is a highly configurable, 6-stage RISC-V core for both application and embedded…
3,120
6,544 commits
logisim-evolution/logisim-evolution
Digital logic design tool and simulator
7,593
6,587 commits
pulp-platform/axi
AXI SystemVerilog synthesizable IP modules and verification infrastructure for high-performance…
1,701
1,236 commits
keplertech/kepler-formal
Digital Design Equivalence Checking
109
911 commits
suoto/hdl_checker
Repurposing existing HDL tools to help writing better code
227
366 commits
cocotb/cocotb
cocotb: Python-based chip (RTL) verification
2,505
5,249 commits
DegateCommunity/Degate
A modern and open-source cross-platform software for chips reverse engineering.
292
1,107 commits