Skip to content
View lee-man's full-sized avatar
🏠
Production-Ready Verification Researching
🏠
Production-Ready Verification Researching

Highlights

  • Pro

Block or report lee-man

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Stars

EDA

eda infra.
18 repositories

EDA wiki

Shell 135 28 Updated Nov 3, 2025

SystemVerilog compiler and language services

C++ 899 190 Updated Dec 18, 2025

Verilator open-source SystemVerilog simulator and lint system

SystemVerilog 3,243 728 Updated Dec 20, 2025

Chisel: A Modern Hardware Design Language

Scala 4,511 642 Updated Dec 20, 2025

Python-based Hardware Design Processing Toolkit for Verilog HDL

Python 761 208 Updated Jun 15, 2024

XLS: Accelerated HW Synthesis

C++ 1,396 218 Updated Dec 20, 2025

(WIP) Open-source Rust gate-level EDA infrastructure: parsers and databases

Rust 15 Updated Mar 19, 2025

Circuit IR Compilers and Tools

C++ 1,982 402 Updated Dec 21, 2025

Yosys Open SYnthesis Suite

C++ 4,190 1,018 Updated Dec 19, 2025

Intermediate Language (IL) for Hardware Accelerator Generators

Rust 570 61 Updated Dec 18, 2025

Icarus Verilog

C++ 3,256 581 Updated Dec 17, 2025
Rust 8 1 Updated Dec 15, 2025

A hardware compiler based on LLHD and CIRCT

Rust 264 34 Updated Jun 30, 2025

Low Level Hardware Description — A foundation for building hardware design tools.

Rust 424 30 Updated Apr 20, 2022

Test suite designed to check compliance with the SystemVerilog standard.

SystemVerilog 352 83 Updated Dec 19, 2025

A modern hardware definition language and toolchain based on Python

Python 1,863 184 Updated Dec 20, 2025

An awesome list of e-graph resources

272 16 Updated Dec 16, 2025