Lightweight and highly scalable Python register abstraction layer

A type-safe, formally verifiable HDL compiler in Lean 4. Inspired by Clash, built for high-assurance hardware synthesis.

An analog simulator bridge for cocotb — open-source mixed-signal co-simulation

Provides a stub implementation of (System)Verilog VPI functions for SystemC

A Pythonic implementation of SystemVerilog-style Interface, Modport, and Clocking Block for cocotb. Bridge the gap between hardware verification concepts and Python with race-free, timing-accurate …

NVIDIA Holoscan Sensor Bridge - Bring Your Own Sensor (BYOS) over Ethernet

Framework providing operating system abstractions and a range of shared networking and memory services for common modern heterogeneous platforms.

This repository explores writing cocotb-style tests in modern C++, using coroutines and strong typing, with the goal of maintaining a Python-like test style while potentially improving simulation p…

Coverview

LLM-based transistor sizing for AMS circuits

55nm CMOS Open Source PDK by ICsprout Integrated Circuit Co., Ltd.

Staging area for new features of cocotb

Generate Python Register Access Layer (RAL) from SystemRDL

Apheleia Verification Library - AMBA Advanced Peripheral Bus verification component

Seamless integration between Python and SystemVerilog

A truly opensource camera serial interface. No frills. No backdoors that compromise security. Outstanding signal integrity. Hi-rez video pipeline with remote connectivity. For Sony, Series7 & open …

This project contains Verilog designs and a PCB for the implementation of CSI-2 camera interface to HDMI bridge on a Gatemate FPGA from Cologne Chip

The HW-CBMC and EBMC Model Checkers for Verilog

Cocotb v2 Code Migration Helper

SpiceBind – spice inside HDL simulator

Open-source repository for a standard-cell library characterizer using complete open-source tools

An FPGA-based GZIP (Deflate algorithm) compressor, which inputs raw data and outputs standard GZIP format (as known as .gz file format). 基于FPGA的GZIP压缩器。输入原始数据，输出标准的GZIP格式，即常见的 .gz / .tar.gz 文件的格式。

An FPGA-based JPEG-LS encoder, which provides lossless and near-lossless image compression with high compression ratios. 基于FPGA的JPEG-LS编码器，可实现高压缩率的无损/近无损图像压缩。

Tranining Completion Project : : Verification of AXI Direct Memory Access (DMA) using UVM

Open-source RTL logic simulator with CUDA acceleration