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

Starred repositories

64 results for source starred repositories written in Verilog
Clear filter

PicoRV32 - A Size-Optimized RISC-V CPU

Verilog 3,930 892 Updated Jun 27, 2024

OpenROAD's unified application implementing an RTL-to-GDS Flow. Documentation at https://openroad.readthedocs.io/en/latest/

Verilog 2,413 780 Updated Feb 6, 2026

RTL, Cmodel, and testbench for NVDLA

Verilog 2,016 631 Updated Mar 2, 2022

IC design and development should be faster,simpler and more reliable

Verilog 1,986 590 Updated Dec 31, 2021

Verilog AXI components for FPGA implementation

Verilog 1,951 523 Updated Feb 27, 2025
Verilog 1,883 434 Updated Feb 6, 2026

RISC-V CPU Core (RV32IM)

Verilog 1,633 277 Updated Sep 18, 2021

A small, light weight, RISC CPU soft core

Verilog 1,504 176 Updated Dec 8, 2025

OpenXuantie - OpenC910 Core

Verilog 1,387 370 Updated Jun 28, 2024

Bus bridges and other odds and ends

Verilog 632 122 Updated Apr 14, 2025

RISC-V Formal Verification Framework

Verilog 623 104 Updated Apr 6, 2022

mor1kx - an OpenRISC 1000 processor IP core

Verilog 573 155 Updated Aug 21, 2025

Opensource DDR3 Controller

Verilog 415 62 Updated Jan 18, 2026

Some Hardware Architectures for GEMM

Verilog 288 6 Updated May 22, 2025

SystemVerilog synthesis tool

Verilog 227 28 Updated Mar 10, 2025

EPFL logic synthesis benchmarks

Verilog 227 43 Updated Nov 18, 2025

Fearless hardware design

Verilog 194 11 Updated Aug 20, 2025

RISC-V Formal Verification Framework

Verilog 178 43 Updated Jan 19, 2026

Architecture and Verilog Implementation of 8-bits RISC CPU based on FSM. 基于有限状态机的8位RISC(精简指令集)CPU(中央处理器)简单结构和Verilog实现。

Verilog 162 42 Updated Jan 20, 2019

An open-source benchmark for generating design RTL with natural language

Verilog 155 37 Updated Nov 8, 2024

Pano Logic G2 Reverse Engineering Project

Verilog 146 21 Updated May 13, 2021

OpenABC-D is a large-scale labeled dataset generated by synthesizing open source hardware IPs. This dataset can be used for various graph level prediction problems in chip design.

Verilog 141 22 Updated Jul 23, 2025

IDEA project source files

Verilog 111 39 Updated Oct 15, 2025

Multiply-Accumulate and Rectified-Linear Accelerator for Neural Networks

Verilog 92 18 Updated Jul 3, 2019

Atalanta is a modified ATPG (Automatic Test Pattern Generation) tool and fault simulator, orginally from VirginiaTech University.

Verilog 87 37 Updated May 7, 2024

Plugins for Yosys developed as part of the F4PGA project.

Verilog 83 48 Updated May 14, 2024

MasterRTL: A Pre-Synthesis PPA Estimation Framework for Any RTL Design

Verilog 66 13 Updated May 29, 2025

Show the time on a VGA monitor. Submitted for the Google MPW1 ASIC shuttle.

Verilog 62 12 Updated Nov 5, 2021

A collection of big designs to run post-synthesis simulations with yosys

Verilog 51 16 Updated Oct 27, 2015

Parameterized Booth Multiplier in Verilog 2001

Verilog 51 20 Updated Oct 30, 2022
Next