Learn how to build our own RV32I(M) core, verify it and actually use it. From scratch & with more than 200 pages of detailed tutorial with schemes & explanation.

Python packages providing a library for Verification Stimulus and Coverage

Functional Coverage and Constrained Randomization Extensions for Cocotb

Pre-packaged testbenching tools and reusable bus interfaces for cocotb

Limited python / cocotb interface to Xilinx/AMD Vivado simulator.

A custom AI chip to be taped out soon!

Cocotb AHB Extension - AHB VIP

Examples for using pyuvm

micro version of cocotb, to run on microcontrollers or desktop to get hardware in the loop

Generic testbench for RISC-V CPUs

A cocotb kernel for Jupyter

Interactive GHDL simulation of a VHDL adder using Python, Cocotb, and pygame

Simulation and implementation flow for hardware description languages

Cocotb extension for QSPI verification

A verification library for digital hardware

Library of hardware accelerators for popular cryptographic hash functions in SystemVerilog

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 simulation.

This repository contains the Verilog HDL implementation of a Car Parking System running on an FPGA. The system is designed to manage car entry and exit through two sensors located at the entrance and exit of the car park. It allows registered users to enter the car park by entering their passwords and controls the traffic lights accordingly.

Framework for Context-Aware Verification, Emulation, and Training